中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Admission Information
Student Information
My Album
Blog
Personal Information
VIEW MORE
Home
>
Scientific Research
Research Field
No content
Paper Publications
MORE+
Verified compilation of C programs with a nominal memory model.Proceedings of the ACM on Programming Languages.2022
Automatic Generation and Validation of Instruction Encoders and Decoders.COMPUTER AIDED VERIFICATION, PT II, CAV 2021.2021
CompCertELF: verified separate compilation of C programs into ELF object files.Proceedings of the ACM on Programming Languages.2020
An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code.Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).2019
Schematic Polymorphism in the Abella Proof Assistant.Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP).2018
Patents
No content
Published Books
No content
Research Projects
MORE+
CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法-2024-09-01
基于通用开放语义的可组合编译器验证研究-2027-12-01
系统软件平台端到端正确性的验证方法研究-2023-12-01
Formal End-to-End Verification of Information-Flow Security for Complex Systems-2020-12-01
A Higher-Order Framework for Meta-Theoretic Reasoning-2020-12-01
