I am a member of the Singularity Project at Microsoft Research. My interests include programming languages, operating systems, and security. I am particularly interested in the use of safe programming languages as operating systems, and I have worked to integrate features traditionally associated with operating systems into safe programming language environments.

 Publications

• Automated Verification of Practical Garbage Collectors, Chris Hawblitzel and Erez Petrank. In POPL 2009. (pptx slides)
• Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers, Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis. In PLDI 2008.
• Checking the Hardware-Software Interface in Spec#, Kevin Bierhoff and Chris Hawblitzel. In PLOS 2007.
• Simple and Flexible Stack Types, Frances Perry, Chris Hawblitzel, and Juan Chen. In IWACO 2007.
• Sealing OS Processes to Improve Dependability and Safety, Galen Hunt, Chris Hawblitzel, Orion Hodson, James Larus, Bjarne Steensgaard, and Ted Wobber.  In EuroSys 2007.
• A Garbage-Collecting Typed Assembly Language, Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen. In TLDI 2007. (associated proofs and code are here, extended technical report is here).
• Deconstructing Process Isolation, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen Hunt, and James R. Larus. In MSPC 2006.
• Language Support for Fast and Reliable Message-based Communication in Singularity OS, Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, and Steven Levi. In EuroSys 2006.
• Linear types for aliased resources (extended technical report), Chris Hawblitzel. Oct. 2005. (associated proofs are here). Short paper (pdf) in SPACE 2006.
• Low-Level Linear Memory Management. Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, and Lea Wittie. In SPACE 2004.
• Luna: a Flexible Java Protection System. Chris Hawblitzel and Thorsten von Eicken. In OSDI, 2002.
• Adding Operating System Structure to Language-Based Protection. Chris Hawblitzel (Ph.D. thesis, Cornell University). June 30, 2000.
• Type System Support for Dynamic Revocation. Chris Hawblitzel and Thorsten von Eicken. In WCSSS 1999.
• Implementing Multiple Protection Domains in Java. C. Hawblitzel, C-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. USENIX Annual Technical Conference, 1998.
• Low Latency Communication on the IBM RS/6000 SP. C-C. Chang, G. Czajkowski, C. Hawblitzel, and T. von Eicken. ACM/IEEE Supercomputing (SC96), 1996.

Contact Information

phone: 425-707-7398
e-mail: x.y@z.com
 where x = Chris
   and y = Hawblitzel
   and z = microsoft