Zhong Shao - POPL 2020

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 2020	Session Chair of Concurrency and linearity (part of CPP 2020)
POPL 2020	Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation
Show activities from other conferences