Biblio

Export 5 results:
Filters: Author is Godmar Back  [Clear All Filters]
2006
Kremenek T, Twohey P, Back G, Ng A.  2006.  From Uncertainty to Belief: Inferring the Specification Within. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2001
Hsieh W, Engler D, Back G.  2001.  Reverse-Engineering Instruction Encodings. 2001 USENIX Annual Technical Conference (USENIX ATC 01).
2000
Back G, Hsieh WH, Lepreau J.  2000.  Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Back G, Tullmann P, Stoller L, Hsieh WC, Lepreau J.  2000.  Techniques for the Design of Java Operating Systems. 2000 USENIX Annual Technical Conference (USENIX ATC 00).
1996
Ford B, Hibler M, Lepreau J, Tullman P, Back G, Clawson S.  1996.  Microkernels Meet Recursive Virtual Machines. USENIX 2nd Symposium on OS Design and Implementation (OSDI 96).