Biblio

Export 4 results:
Filters: Author is Zhong Shao  [Clear All Filters]
2021
Yoon M-K, Liu M, Chen H, Kim J-E, Shao Z.  2021.  Blinder: Partition-Oblivious Hierarchical Scheduling. 30th USENIX Security Symposium (USENIX Security 21). :2417--2434.
2016
Gu R, Shao Z, Chen H, Wu X, Kim J, Sjöberg V, Costanzo D.  2016.  CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :653--669.
2002
Yu D, Shao Z, Trifonov V.  2002.  Supporting Binary Compatibility with Static Compilation. 2nd Java Virtual Machine Research and Technology Symposium (Java VM 02).
1997
Shao Z.  1997.  Typed Common Intermediate Format. Conference on Domain-Specific Languages (DSL 97).