| 2026 | CPP | Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis. | Shuanglong Kan, Anthony W. Lin |
| 2025 | PLOS | Debug, Execute, Verify! Development-Verification Co-Design Made Practical. | Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel |
| 2022 | CPP | CertiStr: a certified string solver. | Shuanglong Kan, Anthony Widjaja Lin, Philipp Rmmer, Micha Schrader |
| 2020 | SP | Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. | Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sann, Yang Liu, Jun Sun |
| 2019 | ICECCS | A Formally Verified Buddy Memory Allocation Model. | Ke Jiang, David Sann, Yongwang Zhao, Shuanglong Kan, Yang Liu |
| 2019 | ISSTA | Detecting memory errors at runtime with source-level instrumentation. | Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue |
| 2017 | MEMOCODE | A refinement-based compiler development for synchronous languages. | Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
| 2016 | ICFEM | Partial Order Reduction for State/Event Systems. | Shuanglong Kan, Zhiqiu Huang, Zhe Chen |