Bibliography

HHW04

Chris Hawblitzel, Heng Huang, and Lea Wittie.
Composing a well-typed region.
Technical Report TR2004-521, Dartmouth College, October 19, 2004.

HvE02

Chris Hawblitzel and Thorsten von Eicken.
Luna: a flexible Java protection system.
In Operating Systems Design and Implementation (OSDI), pages 391-403. ACM Press, 2002.

HWH+04

Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, and Lea Wittie.
Low-level linear memory management.
In Workshop on Semantics, Program Analysis, and Computing Environments For Memory Management, 2004.

Wit04

Lea Wittie.
Type-Safe Operating System Abstractions.
PhD thesis, Dartmouth College, 2004.
Available as Technical Report TR2004-526.