Senior Principal Researcher
Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
Distinguished Artifact Award
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno
2024 Symposium on Operating Systems Principles | November 2024
Distinguished Artifact Award
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Operating Systems Design and Implementation (OSDI) | July 2023
Andrea Lattuada, Travis Hance, Chanhee Cho, M. Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | March 2023
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | April 2022
Distinguished Paper Award
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
ESOP 2019 | April 2019
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages (POPL 2019) | January 2019
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
26th ACM Symposium on Operating Systems Principles | October 2017
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
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
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
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
Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
Computer Aided Verification (CAV) | July 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Chris Hawblitzel, , Shaz Qadeer, Serdar Tasiran
MSR-TR-2015-8 | February 2015
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
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
2014 Conference on Timely Results in Operating Systems (TRIOS '14) | October 2014
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Ross Tate, Juan Chen, Chris Hawblitzel
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) | June 2010
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI)
Jean Yang, Chris Hawblitzel
PLDI | June 2010
Best Paper
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
POPL 09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2009
Ross Tate, Juan Chen, Chris Hawblitzel
MSR-TR-2008-184 | December 2008
Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee
ACM Conference on Programming Language Design and Implementation (PLDI 08) | June 2008
Kevin Bierhoff, Chris Hawblitzel
PLOS 07: 4th workshop on Programming languages and operating systems | October 2007
PLOS 07: 4th workshop on Programming languages and operating systems
Frances Perry, Chris Hawblitzel, Juan Chen
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07) | July 2007
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen
MSR-TR-2006-169 | January 2007
ACM Workshop on Types in Language Design and Implementation (TLDI 07)
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
MSR-TR-2005-141 | October 2005
Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
Distinguished Artifact Award
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno
2024 Symposium on Operating Systems Principles | November 2024
Distinguished Artifact Award
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Andrea Lattuada, Travis Hance, Chanhee Cho, M. Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | March 2023
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | April 2022
Distinguished Paper Award
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
ESOP 2019 | April 2019
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages (POPL 2019) | January 2019
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
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
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
Computer Aided Verification (CAV) | July 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
Chris Hawblitzel, , Shaz Qadeer, Serdar Tasiran
MSR-TR-2015-8 | February 2015
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
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Jean Yang, Chris Hawblitzel
PLDI | June 2010
Best Paper
Ross Tate, Juan Chen, Chris Hawblitzel
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) | June 2010
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI)
POPL 09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2009
Ross Tate, Juan Chen, Chris Hawblitzel
MSR-TR-2008-184 | December 2008
Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee
ACM Conference on Programming Language Design and Implementation (PLDI 08) | June 2008
Kevin Bierhoff, Chris Hawblitzel
PLOS 07: 4th workshop on Programming languages and operating systems | October 2007
PLOS 07: 4th workshop on Programming languages and operating systems
Frances Perry, Chris Hawblitzel, Juan Chen
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07) | July 2007
Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen
MSR-TR-2006-169 | January 2007
ACM Workshop on Types in Language Design and Implementation (TLDI 07)
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
Distinguished Artifact Award
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno
2024 Symposium on Operating Systems Principles | November 2024
Distinguished Artifact Award
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Operating Systems Design and Implementation (OSDI) | July 2023
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November 2020
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages (POPL 2019) | January 2019
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
26th ACM Symposium on Operating Systems Principles | October 2017
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
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
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
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
2014 Conference on Timely Results in Operating Systems (TRIOS '14) | October 2014
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
MSR-TR-2005-141 | October 2005
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages (POPL 2019) | January 2019
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
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
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
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
MSR-TR-2005-141 | October 2005
Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025
Distinguished Artifact Award
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno
2024 Symposium on Operating Systems Principles | November 2024
Distinguished Artifact Award
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Operating Systems Design and Implementation (OSDI) | July 2023
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | April 2022
Distinguished Paper Award
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
ESOP 2019 | April 2019
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages (POPL 2019) | January 2019
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
26th ACM Symposium on Operating Systems Principles | October 2017
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
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
Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
Computer Aided Verification (CAV) | July 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
Computer Aided Verification (CAV'15) | July 2015
Computer Aided Verification (CAV'15)
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
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
2014 Conference on Timely Results in Operating Systems (TRIOS '14) | October 2014
Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Foundations of Software Engineering (FSE'13) | August 2013
Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
Foundations of Software Engineering (FSE'13) | August 2013
Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo
International Conference on Automated Deduction (CADE '13) | June 2013
International Conference on Automated Deduction (CADE '13)
Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo
Computer Aided Verification (CAV '12) (Tool description) | July 2012
Jean Yang, Chris Hawblitzel
PLDI | June 2010
Best Paper
Ross Tate, Juan Chen, Chris Hawblitzel
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) | June 2010
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI)
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
POPL 09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2009
Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee
ACM Conference on Programming Language Design and Implementation (PLDI 08) | June 2008
Kevin Bierhoff, Chris Hawblitzel
PLOS 07: 4th workshop on Programming languages and operating systems | October 2007
PLOS 07: 4th workshop on Programming languages and operating systems
Frances Perry, Chris Hawblitzel, Juan Chen
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07) | July 2007
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Andrea Lattuada, Travis Hance, Chanhee Cho, M. Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA (in Proceedings of the ACM on Programming Languages) | March 2023
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
Chris Hawblitzel, , Shaz Qadeer, Serdar Tasiran
MSR-TR-2015-8 | February 2015
Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
MSR-TR-2014-11 | February 2014
Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
MSR-TR-2013-34 | March 2013
Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo, Chris Hawblitzel
MSR-TR-2011-112 | October 2011
The set of benchmarks used in this paper, along with the proof (in text format).
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
MSR-TR-2011-78 | August 2011
Informal proceedings of BOOGIE 2011 workshop
Ross Tate, Juan Chen, Chris Hawblitzel
MSR-TR-2008-184 | December 2008
Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen
MSR-TR-2006-169 | January 2007
ACM Workshop on Types in Language Design and Implementation (TLDI 07)
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
MSR-TR-2005-141 | October 2005
