Shuanglong Kan
where else to find them
what they talk about
where they keep going back
- CPP2 editions2022–2026
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis | CPP 2026 | 2026-01-12 |
First formalization of symbolic finite transducers and core algorithms in Isabelle/HOL, using an abstract Boolean-algebra label layer plus refinement to… | ||
| CertiStr: A Certified String Solver | CPP 2022 | 2022-01-17 |
CertiStr is a certified solver for strings with concatenation and regular constraints, proven correct in Isabelle/HOL-certified OCaml extraction and… | ||
| Solving String Constraints with Regex-Dependent Functions through Transducers wi | POPL 2022 | 2022-01-16 |
Introduces a new automata model, prioritized streaming string transducers, that encodes JavaScript-style regex features (greedy/lazy star, capturing groups… | ||
| nothing matches | ||