It is a more developed version of the paper below. This paper appeared in the First Conference on Domain-specific Languages in 1997. For an abstract, click here . This is the best exokernel paper ever written. It has real application performance and a cool use of deterministic turing machines that lets an exokernel trust applications to track what they own without understanding how they do so.
Slides are available here .
It is the most detailed description of what an exokernel is and has the most recent numbers. It is also rather dense. This is a flamy paper describing the philosophical underpinnings of the exokernel approach. The following papers discuss three dynamic code generation systems. This paper appeared in PLDI '96.