Zhong Shao

Registered user since Tue 17 Feb 2015

Name: Zhong Shao

Affiliation: Yale University

Personal website: http://www.cs.yale.edu/homes/shao/

Contributions

CPP 2021 Steering Committee Chair in Steering Committee within the CPP 2021-track
POPL 2021 Committee Member in Program Committee within the POPL-track
SPLASH 2020 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
CPP 2020 Session Chair of Concurrency and linearity (part of CPP 2020)
DeepSpec 2019 Presenter of Project Updates from Participating Sites within the DeepSpec 2019-track
Committee Member in Organizing Committee within the DeepSpec 2019-track
Session Chair of Verifying All the Things (part of DeepSpec 2019)
Session Chair of Compiler Verification (part of DeepSpec 2019)
POPL 2020 Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track
APLAS 2019 Committee Member in Steering Committee
SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the Posters-track
Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track
CPP 2019 Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP 2019)
DeepSpec 2018 Speaker of Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels within the DeepSpec 2018-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
Session Chair of Security and Incremental Computation (part of ESOP 2019)
POPL 2019 Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track
CPP 2018 Session Chair of Trusted Verification Frameworks and Systems (part of CPP 2018)
DSW 2017 Author of CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems within the DSW 2017-track
Session Chair of Academic crypto projects; industry perspective on formal-methods integration (part of DSW 2017)
PLDI 2018 Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
POPL 2018 Session Chair of Verification I (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PLDI 2017 Committee Member in External Program Committee
PLDI 2016 Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track
Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
ESOP 2015 Author of Automatic Static Cost Analysis for Parallel Programs within the ESOP-track
Committee Member in Steering Committee
PLDI 2015 Author of Compositional Certified Resource Bounds within the Research Papers-track