Shuanglong Kan

23 papers A* 1A 1B 3C 2Journal 14Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis. CPP Shuanglong Kan, Anthony W. Lin
2025	J	`jnl`	Certified Symbolic Transducer with Applications in String Solving. CoRR Shuanglong Kan
2025	—	`conf`	Debug, Execute, Verify! Development-Verification Co-Design Made Practical. PLOS@SOSP Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel
2024	J	`jnl`	Formally understanding Rust's ownership and borrowing system at the memory level. Formal Methods Syst. Des. Shuanglong Kan, Zhe Chen, David Sanán, Yang Liu
2022	B	`conf`	CertiStr: a certified string solver. CPP Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
2022	J	`jnl`	SafeOSL: Ensuring memory safety of C via ownership-based intermediate language. Softw. Pract. Exp. Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang
2022	J	`jnl`	Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2021	J	`jnl`	A security type verifier for smart contracts. Comput. Secur. Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
2021	J	`jnl`	CertiStr: A Certified String Solver (technical report). CoRR Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
2021	J	`jnl`	Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	A*	`conf`	Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2019	B	`conf`	A Formally Verified Buddy Memory Allocation Model. ICECCS Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu
2019	A	`conf`	Detecting memory errors at runtime with source-level instrumentation. ISSTA Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue
2018	J	`jnl`	Detecting safety-related components in statecharts through traceability and model slicing. Softw. Pract. Exp. Shuanglong Kan, Zhiqiu Huang
2018	J	`jnl`	Executable Operational Semantics of Solidity. CoRR Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2018	J	`jnl`	K-Rust: An Executable Formal Semantics for Rust. CoRR Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu
2018	J	`jnl`	Partial Order Reduction for the full Class of State/Event Linear Temporal Logic. Comput. J. Shuanglong Kan, Zhiqiu Huang
2017	J	`jnl`	A Better Translation From LTL to Transition-Based Generalized Büchi Automata. IEEE Access Weiwei Li, Shuanglong Kan, Zhiqiu Huang
2017	C	`conf`	A refinement-based compiler development for synchronous languages. MEMOCODE Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan
2017	J	`jnl`	Partial order reduction for checking LTL formulae with the next-time operator. J. Log. Comput. Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang
2016	C	`conf`	Partial Order Reduction for State/Event Systems. ICFEM Shuanglong Kan, Zhiqiu Huang, Zhe Chen
2016	J	`jnl`	面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333). 计算机科学 Guangying Chen, Zhiqiu Huang, Zhe Chen, Shuanglong Kan
2014	—	`conf`	Traceability and model checking to support safety requirement verification. SIGSOFT FSE Shuanglong Kan