Yongjian Li -

Registered user since Fri 20 Oct 2023

Name:Yongjian Li

Affiliation:Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China

Personal website: http://lcs.ios.ac.cn/~lyj238/index_e.html

Research interests:Formal methods

Contributions

2024

SPLASH

Author of Mechanizing the CMP Abstraction for Parameterized Verification within the OOPSLA 2024-track

Internetware

Author of Murphi2Chisel: A Protocol Compiler from Murphi to Chisel within the Research Track-track