Chris Hawblitzel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
11
Active years
1996–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. | Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram |
| 2024 | OSDI | VeriSMo: A Verified Security Module for Confidential VMs. | Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | OSDI | Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. | Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno |
| 2020 | OSDI | Storage Systems are Distributed Systems (So Verify Them That Way!). | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2017 | SOSP | Komodo: Using verification to disentangle secure-enclave hardware from software. | Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
| 2015 | CAV | Automated and Modular Refinement Reasoning for Concurrent Programs. | Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran |
| 2015 | CAV | Automatic Rootcausing for Program Equivalence Failures in Binaries. | Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel |
| 2015 | SOSP | IronFleet: proving practical distributed systems correct. | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2014 | OSDI | Cosh: Clear OS Data Sharing In An Incoherent World. | Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe |
| 2014 | OSDI | Ironclad Apps: End-to-End Security via Automated Full-System Verification. | Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill |
| 2013 | CADE | Towards Modularly Comparing Programs Using Automated Theorem Provers. | Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Reblo |
| 2012 | CAV | SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. | Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Reblo |
| 2010 | PLDI | Inferable object-oriented typed assembly language. | Ross Tate, Juan Chen, Chris Hawblitzel |
| 2010 | PLDI | Safe to the last instruction: automated verification of a type-safe operating system. | Jean Yang, Chris Hawblitzel |
| 2009 | POPL | Automated verification of practical garbage collectors. | Chris Hawblitzel, Erez Petrank |
| 2009 | SOSP | Helios: heterogeneous multiprocessing with satellite kernels. | Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt |
| 2008 | PLDI | Type-preserving compilation for large-scale optimizing object-oriented compilers. | Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis |
| 2007 | EuroSys | Sealing OS processes to improve dependability and safety. | Galen C. Hunt, Mark Aiken, Manuel Fhndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber |
| 2007 | SOSP | Checking the hardware-software interface in spec#. | Kevin Bierhoff, Chris Hawblitzel |
| 2006 | EuroSys | Language support for fast and reliable message-based communication in singularity OS. | Manuel Fhndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi |
| 2002 | OSDI | Luna: A Flexible Java Protection System. | Chris Hawblitzel, Thorsten von Eicken |
| 1998 | USENIX | Implementing Multiple Protection Domains in Java. | Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken |
| 1996 | SC | Low-Latency Communication on the IBM RISC System/6000 SP. | Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Thorsten von Eicken |