Shuanglong Kan

According to our database, Shuanglong Kan authored at least 21 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Certified Symbolic Transducer with Applications in String Solving.

Shuanglong Kan

CoRR, April, 2025

Debug, Execute, Verify! Development-Verification Co-Design Made Practical.

Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2024

Formally understanding Rust's ownership and borrowing system at the memory level.

Shuanglong Kan, Zhe Chen, David Sanán, Yang Liu

Formal Methods Syst. Des., December, 2024

2022

SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.

Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang

Softw. Pract. Exp., 2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables.

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2022

CertiStr: a certified string solver.

Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

CertiStr: A Certified String Solver (technical report).

Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader

CoRR, 2021

A security type verifier for smart contracts.

Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao

Comput. Secur., 2021

2020

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Detecting memory errors at runtime with source-level instrumentation.

Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

A Formally Verified Buddy Memory Allocation Model.

Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Detecting safety-related components in statecharts through traceability and model slicing.

Shuanglong Kan, Zhiqiu Huang

Softw. Pract. Exp., 2018

K-Rust: An Executable Formal Semantics for Rust.

Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu

CoRR, 2018

Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

CoRR, 2018

Partial Order Reduction for the full Class of State/Event Linear Temporal Logic.

Shuanglong Kan, Zhiqiu Huang

Comput. J., 2018

2017

Partial order reduction for checking LTL formulae with the next-time operator.

Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang

J. Log. Comput., 2017

A Better Translation From LTL to Transition-Based Generalized Büchi Automata.

Weiwei Li, Shuanglong Kan, Zhiqiu Huang

IEEE Access, 2017

A refinement-based compiler development for synchronous languages.

Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333).

Guangying Chen, Zhiqiu Huang, Zhe Chen, Shuanglong Kan

计算机科学, 2016

Partial Order Reduction for State/Event Systems.

Shuanglong Kan, Zhiqiu Huang, Zhe Chen

Proceedings of the Formal Methods and Software Engineering, 2016

2014

Traceability and model checking to support safety requirement verification.

Shuanglong Kan

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014