Chris Hawblitzel
This is my personal web page. My Microsoft page has more up-to-date research publications.
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
-
Linear Types for Aliased Resources (extended version), Chris Hawblitzel. Oct 2005. Paper and proofs at this link.
-
Composing a Well-Typed Region, Chris Hawblitzel, Heng Huang, and Lea Wittie.
Submitted for publication. Draft: Oct 21, 2004, pdf.
Extended version (Dartmouth CS Technical Report TR2004-521): Oct 21, 2004, pdf.
-
Low-Level Linear Memory Management.
Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, and Lea Wittie.
In SPACE 2004 (Jan 2004, pdf).
Earlier draft: (Dec 2002, ps).
Associated proofs are in this report (Aug 8, 2003, postscript).
Associated software (for Unix) is in this tar file (July 2003)
(older release is here (Nov 2002)).
Information about the mark-sweep
collector is here.
-
Luna: a Flexible Java Protection System.
Chris Hawblitzel and Thorsten von Eicken. In OSDI, 2002.
Revised version (Nov 3, 2002): html,
postscript
- Adding Operating System Structure to Language-Based
Protection. Chris Hawblitzel (Ph.D. thesis, Cornell
University). June 30, 2000.
html,
pdf,
word
-
Tasks and Revocation for Java (or, Hey! You got your Operating System
in my Language!). Chris Hawblitzel and Thorsten von Eicken. November
13, 1999 Draft, superseded by OSDI02 publication. postscript
-
Type System Support for Dynamic Revocation. Chris Hawblitzel and
Thorsten von Eicken. In ACM SIGPLAN Workshop on Compiler Support for System
Software, May 1999. postscript
-
A Case for Language-Based Protection. Chris Hawblitzel and Thorsten
von Eicken. Department of Computer Science, Cornell University, Technical
Report TR98-1670, March 1998. postscript
-
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. html,
postscript
-
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. html,
postscript
Teaching
Computer Science 68,
Principles of Programming Languages, Winter 2004.
Computer Science 37,
Computer Architecture, Summer 2003.
Computer Science 37,
Computer Architecture, Spring 2003.
Computer Science 68,
Principles of Programming Languages, Winter 2003.
I taught Computer Science 88/188 in Fall 2002:
"Types, proofs, and secure systems."
This course examines the role of programming language and operating system technology
in building flexible and secure systems. Topics will include software verification,
buffer overflow prevention, information flow control, capabilities, and typed
low-level languages such as Java bytecode, Microsoft CLR, proof-carrying code,
and typed assembly language.
Computer Science 37,
Computer Architecture, Spring 2002.
Computer Science 68,
Principles of Programming Languages, Winter 2002.
Computer Science 37,
Computer Architecture, Spring 2001.
Computer Science 68,
Principles of Programming Languages, Winter 2001.
I taught Computer Science 88/188 in Fall 2000:
"Programming language and operating system support for secure systems."
As commercial companies deploy services on the internet, concerns about
the security of these services are growing, frequently reaching the front
pages of major newspapers and magazines. This course examines the
impact of increased security concerns on the design of operating systems
and programming languages, focusing on recent "hot topics" in conferences
and journals. Topics will include capability systems, information
flow control, denial of service attacks, firewalls, Java operating systems,
proof carrying code, typed assembly language, agents, applets, and active
networks.
Random Fun Topics
Why do things fall down? (An informal glimpse of Einstein's theory of gravity)