\begin{thebibliography}{1}

\bibitem{Back+:osdi00}
Godmar Back, Wilson~C. Hsieh, and Jay Lepreau.
\newblock Processes in {KaffeOS}: Isolation, resource management, and sharing
  in {Java}.
\newblock In {\em Proceedings of the Fourth Symposium on Operating Systems
  Design and Implementation}, pages 333--346, San~Diego, {CA}, October 2000.
  {USENIX} {Association}.

\bibitem{Back+:usenix00}
Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson~C. Hsieh, and Jay Lepreau.
\newblock Techniques for the design of {Java} operating systems.
\newblock In {\em Proceedings of the {USENIX} 2000 Annual Technical
  Conference}, pages 197--210, San Diego, {CA}, June 2000. {USENIX}
  {Association}.

\bibitem{migr-usenix}
Bryan Ford and Jay Lepreau.
\newblock Evolving {M}ach 3.0 to a migrating thread model.
\newblock In {\em Proc.\ of the Winter 1994 {USENIX} Conf.}, pages 97--114,
  January 1994.

\bibitem{Tullmann:ms99}
Patrick~A. Tullmann.
\newblock The {Alta} operating system.
\newblock Master's thesis, University of Utah, 1999.
\newblock 104 pages. Also available at
  http://\-www.cs.utah.edu/\-flux/\-papers/\-tullmann-thesis-base.html.

\bibitem{Kaffe:URL}
Tim~J. Wilkinson.
\newblock {Kaffe}---a virtual machine to compile and interpret {Java}
  bytecodes.
\newblock \url{http://www.kaffe.org/}.

\end{thebibliography}
