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

CPP 2024	Steering Committee Member in Steering Committee within the CPP 2024-track
POPL 2023	Author of A Compositional Theory of Linearizability within the POPL-track
CPP 2023	Committee Member in Steering Committee within the CPP 2023-track
SPLASH 2022	Author of Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track Session Chair of Blockchain (part of OOPSLA) Session Chair of Types (part of OOPSLA)
PLDI 2022	Author of Adore: Atomic Distributed Objects with Certified Reconfiguration within the PLDI-track
POPL 2022	Author of Verified Compilation of C Programs with a Nominal Memory Model within the POPL-track Panelist of Panel 1: proof assistants for PL and math within the Virtual Workshop-track Author of Layered and Object-Based Game Semantics within the POPL-track
CPP 2022	Committee Member in Steering Committee within the CPP 2022-track
PriSC 2022	Committee Member in Program Committee within the PriSC 2022-track
SPLASH 2021	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
PLDI 2021	Author of CompCertO: Compiling Certified Open C Components within the PLDI-track
POPL 2021	Committee Member in Program Committee within the POPL-track
CPP 2021	Steering Committee Chair in Steering Committee within the CPP 2021-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)
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
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)
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 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
PLDI 2018	Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
CPP 2018	Session Chair of Trusted Verification Frameworks and Systems (part of CPP 2018)
POPL 2018	Session Chair of Verification I (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
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 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
PLDI 2015	Author of Compositional Certified Resource Bounds within the Research Papers-track
ESOP 2015	Author of Automatic Static Cost Analysis for Parallel Programs within the ESOP-track Committee Member in Steering Committee