Shuanglong Kan -

Registered user since Mon 29 Nov 2021

Name:Shuanglong Kan

Country:Germany

Affiliation:Barkhausen Institute, Dresden

Personal website: https://github.com/ShlKan

GitHub: https://github.com/ShlKan

Research interests:String Solvers, Formal Methods, Isabelle/HOL, Programming Languages

Contributions

2026

CPP

Author of Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis within the CPP 2026-track

2022

POPL

Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track

CPP

Author of CertiStr: A Certified String Solver within the CPP 2022-track

2019

ISSTA

Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track