@inproceedings {271357, author = {Godmar Back and Patrick Tullmann and Leigh Stoller and Wilson C. Hsieh and Jay Lepreau}, title = {Techniques for the Design of Java Operating Systems}, booktitle = {2000 USENIX Annual Technical Conference (USENIX ATC 00)}, year = {2000}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/2000-usenix-annual-technical-conference/techniques-design-java-operating-systems}, publisher = {USENIX Association}, month = jun } @inproceedings {271781, author = {Bryan Ford and Mike Hibler and Jay Lepreau and Roland McGrath and Patrick Tullmann}, title = {Interface and Execution Models in the Fluke Kernel}, booktitle = {3rd Symposium on Operating Systems Design and Implementation (OSDI 99)}, year = {1999}, address = {New Orleans, LA}, url = {https://www.usenix.org/conference/osdi-99/interface-and-execution-models-fluke-kernel}, publisher = {USENIX Association}, month = feb }