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.

• Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers (pdf), 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# (pdf), Kevin Bierhoff and Chris Hawblitzel. In PLOS 2007.
• Simple and Flexible Stack Types (pdf), Frances Perry, Chris Hawblitzel, and Juan Chen. In IWACO 2007.
• A Garbage-Collecting Typed Assembly Language (pdf), Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen. In TLDI 2007. (associated proofs and code are here, extended technical report is here).
• Linear Types for Aliased Resources (extended version) (pdf), Chris Hawblitzel. Oct 2005. (associated proofs are here). Short paper (pdf) in SPACE 2006.

More papers are available on the Singularity page.

You can find online copies of the publications below at this link.

• Composing a Well-Typed Region, Chris Hawblitzel, Heng Huang, and Lea Wittie. Oct 2004.
• 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.
• Tasks and Revocation for Java (or, Hey! You got your Operating System in my Language!). Chris Hawblitzel and Thorsten von Eicken. November 13, 1999.
• Type System Support for Dynamic Revocation. Chris Hawblitzel and Thorsten von Eicken. In ACM SIGPLAN Workshop on Compiler Support for System Software, May 1999.
• A Case for Language-Based Protection. Chris Hawblitzel and Thorsten von Eicken. Department of Computer Science, Cornell University, Technical Report TR98-1670, March 1998.
• Implementing Multiple Protection Domains in Java. C. Hawblitzel, C-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. USENIX Annual Technical Conference, June 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), November 1996.

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

Operating Systems Group's home page.