@inproceedings {263864,
	author = {Man-Ki Yoon and Mengqi Liu and Hao Chen and Jung-Eun Kim and Zhong Shao},
	title = {Blinder: {Partition-Oblivious} Hierarchical Scheduling},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {2417--2434},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/yoon},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {199344,
	author = {Ronghui Gu and Zhong Shao and Hao Chen and Xiongnan (Newman) Wu and Jieung Kim and Vilhelm Sj{\"o}berg and David Costanzo},
	title = {{CertiKOS}: An Extensible Architecture for Building Certified Concurrent {OS} Kernels},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {653--669},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {270587,
	author = {Dachuan Yu and Zhong Shao and Valery Trifonov},
	title = {Supporting Binary Compatibility with Static Compilation},
	booktitle = {2nd Java Virtual Machine Research and Technology Symposium (Java VM 02)},
	year = {2002},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/java-vm-02/supporting-binary-compatibility-static-compilation},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {260985,
	author = {Zhong Shao},
	title = {Typed Common Intermediate Format},
	booktitle = {Conference on Domain-Specific Languages (DSL 97)},
	year = {1997},
	address = {Santa Barbara, CA },
	url = {https://www.usenix.org/conference/dsl-97/typed-common-intermediate-format},
	publisher = {USENIX Association},
	month = oct
}
