Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Zhong Shao
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 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

POPL 2020-profile
View general profile