| USENIX Security '96 | NetKuang--A Multi-Host Configuration Vulnerability Checker | Dan Zerkle, Karl Levitt |
| COOTS '95 | Generic Containers for a Distributed Object Store | Carsten Weich |
| USENIX ATC '07 | Events Can Make Sense | Maxwell Krohn, Eddie Kohler, M. Frans Kaashoek |
| USENIX ATC '05 | Using Valgrind to Detect Undefined Value Errors with Bit-Precision | Julian Seward, Nicholas Nethercote |
| Java VM '02 | Stress-testing Control Structures for Dynamic Dispatch in Java | Olivier Zendra, Karel Driesen |
| USENIX ATC '02 | SWILL: A Simple Embedded Web Server Library | Sotiria Lampoudi, David M. Beazley |
| ALS '01 | Chimera: Affordable Desktop Molecular Modeling on Linux Workstations | David Konerding, Conrad Huang, Thomas Ferrin |
| USENIX ATC '01 | A Toolkit for User-Level File Systems | David Mazières |
| COOTS '01 | Multi-Dispatch in the Java Virtual Machine: Design and Implementation | Christopher Dutchyn, Paul Lu |
| USENIX ATC '00 | An Operating System in Java for the Lego Mindstorms RCX Microcontroller | Pekka Nikander |
| 6th Annual Tcl/Tk Conference | NBC's GEnesis Broadcast Automation System: From Prototype to Production | S. J. Angelovich, Kevin B. Kenny, B. D. Sarachan |
| 2nd USENIX Windows NT Symposium | Win32 API Emulation on UNIX for Software DSM | Sven M. Paas, Thomas Bemmerl, Karsten Scholtyssik |
| COOTS '98 | The Design and Performance of MedJava | Prashant Jain, Seth Widoff, Douglas C. Schmidt |
| USITS '97 | Salamander: A Push-Based Distribution Substrate for Internet Applications | G. Robert Malan, Farnam Jahanian, Sushila Subramanian |
| USENIX ATC '96 | Solaris MC: A Multi Computer OS | Yousef A. Khalidi, Jose M. Bernabeu, Vlada Matena, Ken Shirriff, Moti Thadani |
| COOTS '95 | Object-Oriented Components for High-speed Network Programming | Douglas C. Schmidt, Tim Harrison |
| USENIX 1994 UNIX Applications Development Symposium | Dagger: A Tool to Generate Program Graphs | Yih-Farn (Robin) Chen |
| USENIX Microkernels and Other Architectures Symposium | Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel | Kevin Murray, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul Kelly |
| USENIX Mach III Symposium | MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel | Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Sousa |
| USENIX Summer 1992 Technical Conference | Incl: A Tool to Analyze Include Files | Kiem-Phong Vo, Yih-Farn Chen |
| OSDI '02 | CMC: A Pragmatic Approach to Model Checking Real Code | Madanlal Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, David L. Dill |
| COOTS '99 | Address Translation Strategies in the Texas Persistent Store | Sheetal V. Kakkad, Paul R. Wilson |
