Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kunjian Song
conf.researchr.org general profile
ICSE 2022 profile
POPL 2024 profile
Registered user since Mon 31 Jan 2022
Name:
Kunjian Song
Affiliation:
The University of Manchester
Research interests:
Formal verification
Contributions
2024
POCL
Author of ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC within the POCL 2024-track
2022
ICSE
Author of ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts within the DEMO - Demonstrations-track
Share
x
Wed 20 Nov 09:41