Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
International Conference on Programming Language Design and Implementation (PLDI) | June 2020
Distinguished Paper Award
Publication
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Communications of the ACM |
July 2017, Vol 60
CACM Research Highlight
Publication
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015
Publication
Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014
Publication
Github
Project