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/


CPP 2020Session Chair of Concurrency and linearity (part of CPP 2020)
DeepSpec 2019Presenter 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 2020Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track
APLAS 2019Committee Member in Steering Committee
SPLASH 2019Author 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 2019Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP 2019)
DeepSpec 2018Speaker of Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels within the DeepSpec 2018-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
Session Chair of Security and Incremental Computation (part of ESOP 2019)
POPL 2019Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track
CPP 2018Session Chair of Trusted Verification Frameworks and Systems (part of CPP 2018)
DSW 2017Author 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 2018Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
POPL 2018Session Chair of Verification I (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PLDI 2017Committee Member in External Program Committee
PLDI 2016Author 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 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
ESOP 2015Author of Automatic Static Cost Analysis for Parallel Programs within the ESOP-track
Committee Member in Steering Committee
PLDI 2015Author of Compositional Certified Resource Bounds within the Research Papers-track