conf.researchr.org / Zhong Shao
Registered user since Tue 17 Feb 2015
Name:Zhong Shao
Country:United States
Affiliation:Yale University
Personal website: http://www.cs.yale.edu/homes/shao/
Contributions
2025
POPL
2024
SPLASH
2023
APLAS
2022
SPLASH
PLDI
POPL
2021
SPLASH
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the Posters-track
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the OOPSLA-track
2020
SPLASH
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA-track
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the OOPSLA Artifacts-track
- Author of CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files within the Posters-track