Get started
Author

Shuanglong Kan

Observed name: Kan, Shuanglong
ORCID: 0000-0002-4132-2626
Observed ORCID: 0000-0002-4132-2626
OpenAlex ID: A5089219448
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
2020 · Jiao Jiao, Shuanglong Kan, et al. · IEEE Symposium on Security and Privacy (S&P) · 111
PDF
Solving string constraints with Regex-dependent functions through transducers with priorities and variables
2022 · Taolue Chen, Alejandro Flores-Lamas, et al. · Proceedings of the ACM on Programming Languages · 64
PDF
CertiStr: a certified string solver
2022 · Shuanglong Kan, Anthony Widjaja Lin, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 26
PDF
A security type verifier for smart contracts
2021 · Xinwen Hu, Yi Zhuang, et al. · Computers & Security · 18
Executable Operational Semantics of Solidity
2018 · Jiao, Jiao, Kan, Shuanglong, et al. · arXiv (Cornell University) · 16
PDF
An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
2018 · Kan, Shuanglong, Chen, Zhe, et al. · arXiv (Cornell University) · 11
PDF
K-Rust: An Executable Formal Semantics for Rust
2018 · Shuanglong Kan, David Sanán, et al. · 9
Harnessing Code Agents for Automatic Software Verification
2026 · Kan, Shuangxiang, Kan, Shuanglong, et al. · arXiv (Cornell University) · 3
PDF
A Formally Verified Buddy Memory Allocation Model
2019 · Ke Jiang, David Sanan, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 3
String solver and benchmarks from 'Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables'
2022 · Taolue Chen, Alejandro Flores-Lamas, et al. · Artifact Digital Object Group · 2
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
2026 · Kan, Shuanglong, Ertel, Sebastian · arXiv (Cornell University) · 1
PDF
Formally understanding Rust’s ownership and borrowing system at the memory level
2024 · Shuanglong Kan, Zhe Chen, et al. · Formal Methods in System Design · 1
Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
2026 · Shuanglong Kan, Anthony W. Lin · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
PDF
Debug, Execute, Verify! Development-Verification Co-Design Made Practical
2025 · František Farka, Carmine Abate, et al. · Workshop on Programming Languages and Operating Systems (PLOS)
Works count: 15
Citation count: 265
H-index: 7
I10-index: 6
Year
Topic
Type