PLDI 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
PLDI 2018 (series) / Zhong Shao
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

DeepSpec 2018Speaker of Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels within the DeepSpec 2018-track
PLDI 2018Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2018-profile
View general profile