Export 4 results:
Filters: Author is Zhong Shao  [Clear All Filters]
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.
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.
Yu D, Shao Z, Trifonov V.  2002.  Supporting Binary Compatibility with Static Compilation. 2nd Java Virtual Machine Research and Technology Symposium (Java {VM} 02).
Shao Z.  1997.  Typed Common Intermediate Format. Conference on Domain-Specific Languages ({DSL} 97).