2009 |
11 | EE | Chris Hawblitzel,
Erez Petrank:
Automated verification of practical garbage collectors.
POPL 2009: 441-453 |
2008 |
10 | EE | Juan Chen,
Chris Hawblitzel,
Frances Perry,
Mike Emmi,
Jeremy Condit,
Derrick Coetzee,
Polyvios Pratikaki:
Type-preserving compilation for large-scale optimizing object-oriented compilers.
PLDI 2008: 183-192 |
2007 |
9 | EE | Galen C. Hunt,
Mark Aiken,
Manuel Fähndrich,
Chris Hawblitzel,
Orion Hodson,
James R. Larus,
Steven Levi,
Bjarne Steensgaard,
David Tarditi,
Ted Wobber:
Sealing OS processes to improve dependability and safety.
EuroSys 2007: 341-354 |
8 | EE | Chris Hawblitzel,
Heng Huang,
Lea Wittie,
Juan Chen:
A garbage-collecting typed assembly language.
TLDI 2007: 41-52 |
2006 |
7 | EE | Manuel Fähndrich,
Mark Aiken,
Chris Hawblitzel,
Orion Hodson,
Galen C. Hunt,
James R. Larus,
Steven Levi:
Language support for fast and reliable message-based communication in singularity OS.
EuroSys 2006: 177-190 |
6 | EE | Mark Aiken,
Manuel Fähndrich,
Chris Hawblitzel,
Galen C. Hunt,
James R. Larus:
Deconstructing process isolation.
Memory System Performance and Correctness 2006: 1-10 |
2002 |
5 | EE | Chris Hawblitzel,
Thorsten von Eicken:
Luna: A Flexible Java Protection System.
OSDI 2002 |
1999 |
4 | | Thorsten von Eicken,
Chi-Chao Chang,
Grzegorz Czajkowski,
Chris Hawblitzel,
Deyu Hu,
Dan Spoonhower:
J-Kernel: A Capability-Based Operating System for Java.
Secure Internet Programming 1999: 369-393 |
1998 |
3 | EE | Chi-Chao Chang,
Grzegorz Czajkowski,
Chris Hawblitzel,
Deyu Hu,
Thorsten von Eicken:
Security versus performance tradeoffs in RPC implementations for safe language systems.
ACM SIGOPS European Workshop 1998: 158-161 |
2 | EE | Grzegorz Czajkowski,
Chi-Chao Chang,
Chris Hawblitzel,
Deyu Hu,
Thorsten von Eicken:
Resource management for extensible Internet servers.
ACM SIGOPS European Workshop 1998: 33-39 |
1 | EE | Nikos Chrisochoides,
Kevin Barker,
Démian Nave,
Chris Hawblitzel:
The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations.
ISCOPE 1998: 71-82 |