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).