@inproceedings {268819,
	author = {Ted Kremenek and Paul Twohey and Godmar Back and Andrew Ng},
	title = {From Uncertainty to Belief: Inferring the Specification Within},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/uncertainty-belief-inferring-specification-within},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {270963,
	author = {Wilson Hsieh and Dawson Engler and Godmar Back},
	title = {{Reverse-Engineering} Instruction Encodings},
	booktitle = {2001 USENIX Annual Technical Conference (USENIX ATC 01)},
	year = {2001},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/2001-usenix-annual-technical-conference/reverse-engineering-instruction-encodings},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {271128,
	author = {Godmar Back and Wilson H. Hsieh and Jay Lepreau},
	title = {Processes in {KaffeOS}: Isolation, Resource Management, and Sharing in Java},
	booktitle = {Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000)},
	year = {2000},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/osdi-2000/processes-kaffeos-isolation-resource-management-and-sharing-java},
	publisher = {USENIX Association},
	month = oct
}
@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 {260694,
	author = {Bryan Ford and Mike Hibler and Jay Lepreau and Patrick Tullman and Godmar Back and Steven Clawson},
	title = {Microkernels Meet Recursive Virtual Machines},
	booktitle = {USENIX 2nd Symposium on OS Design and Implementation (OSDI 96)},
	year = {1996},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-96/microkernels-meet-recursive-virtual-machines},
	publisher = {USENIX Association},
	month = oct
}
