Shuanglong Kan

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 18

Top Topics

Operational Semantics

Linear Temporal Logic

Cardinality Constraints

Boolean Variables

Top Venues

Softw. Pract. Exp.

IEEE Symposium on Security and Privacy

Publications

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