Publications

If you need a paper made available in PDF form in order to read it, email us.

The papers are divided into the following rough categories. Note that many papers belong in more than one category, but are only listed once.

• Distributed Systems and Networking
• Primarily OS-related
• Compilers, Languages, and Components

Distributed Systems and Networking

• Trusted Disk Loading in the Emulab Network Testbed. Cody Cutler, Mike Hibler, Eric Eide, and Robert Ricci. In Proc. of the Third Workshop on Cyber Security Experimentation and Test (CSET), Washington, DC, August 2010.
• Toward Replayable Research in Networking and Systems. Eric Eide. Position paper presented at Archive '10, the NSF Workshop on Archiving Experiments to Raise Scientific Standards, Salt Lake City, UT, May 2010.
• Modeling and Emulation of Internet Paths. Pramod Sanaga, Jonathon Duerig, Robert Ricci, and Jay Lepreau. In Proc. of the Sixth USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 199–212, Boston, MA, April 2009.
• Transparent Checkpoints of Closed Distributed Systems in Emulab. Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, and Jay Lepreau. In Proc. of the Fourth ACM European Conference on Computer Systems, pages 173–186, Nuremberg, Germany, April 2009.
• Stateful-Swapping in the Emulab Network Testbed. Prashanth Radhakrishnan. Master's Thesis, University of Utah, August 2008.
• Securing the Frisbee Multicast Disk Loader. Robert Ricci and Jonathon Duerig. In Proc. of the 2008 Workshop on Cyber Security Experimentation and Test, San Jose, CA, July 2008.
• Large-scale Virtualization in the Emulab Network Testbed. Mike Hibler, Robert Ricci, Leigh Stoller, Jonathon Duerig, Shashi Guruprasad, Tim Stack, Kirk Webb, and Jay Lepreau. In Proc. of the 2008 USENIX Annual Technical Conference, Boston, MA, June 2008.
• Towards a High Quality Path-oriented Network Measurement and Storage System. David Johnson, Daniel Gebhardt, and Jay Lepreau. In Proc. of the Ninth Passive and Active Measurement Conference (PAM 2008), Cleveland, OH, April 2008.
• The Flexlab Approach to Realistic Evaluation of Networked Systems. Robert Ricci, Jonathon Duerig, Pramod Sanaga, Daniel Gebhardt, Mike Hibler, Kevin Atkinson, Junxing Zhang, Sneha Kasera, and Jay Lepreau. In Proc. of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007), pages 201–214, Cambridge, MA, April 2007.
• An Experimentation Workbench for Replayable Networking Research. Eric Eide, Leigh Stoller, and Jay Lepreau. In Proc. of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007), pages 215–228, Cambridge, MA, April 2007. Supercedes an earlier version.
• Remote Low Frequency State Feedback Kinematic Motion Control for Mobile Robot Trajectory Tracking. Daniel Montrallo Flickinger and Mark A. Minor. In Proc. of the 2007 IEEE International Conference on Robotics and Automation (ICRA 2007), pages 3502–3507, Rome, Italy, April 2007.
• An Experimentation Workbench for Replayable Networking Research. Eric Eide, Leigh Stoller, and Jay Lepreau. Flux Technical Note FTN-2006-03, University of Utah, December 2006. A revised version of this report was published at NSDI 2007; please read and cite that paper instead.
• Flexlab: A Realistic, Controlled, and Friendly Environment for Evaluating Networked Systems. Jonathon Duerig, Robert Ricci, Junxing Zhang, Daniel Gebhardt, Sneha Kasera, and Jay Lepreau. Fifth Workshop on Hot Topics in Networks (HotNets-V) Irvine, CA, November 2006.
• Towards Fingerpointing in the Emulab Dynamic Distributed System. Michael P. Kasick, Priya Narasimhan, Kevin Atkinson, and Jay Lepreau. Third USENIX Workshop on Real, Large Distributed Systems (WORLDS 2006), Seattle, WA, November 2006.
• Automatic Online Validation of Network Configuration in the Emulab Network Testbed. David S. Anderson, Leigh Stoller, Mike Hibler, Tim Stack, and Jay Lepreau. Third IEEE International Conference on Autonomic Computing (ICAC 2006), Dublin, Ireland, June 2006.
• Integrated Scientific Workflow Management for the Emulab Network Testbed. Eric Eide, Leigh Stoller, Tim Stack, Juliana Freire, and Jay Lepreau. In Proc. of the 2006 USENIX Annual Technical Conference, pages 363–368, Boston, MA, May–June 2006. Short paper. Supercedes an earlier version.
• Mobile Emulab: A Robotic Wireless and Sensor Network Testbed. David Johnson, Tim Stack, Russ Fish, Daniel Montrallo Flickinger, Leigh Stoller, Robert Ricci, and Jay Lepreau. In Proc. of IEEE INFOCOM 2006, Barcelona, Spain, April 2006.
• Automatic IP Address Assignment on Network Topologies. Jonathon Duerig, Robert Ricci, John Byers, and Jay Lepreau. Flux Technical Note FTN–2006–02, University of Utah, February 2006. Supercedes FTN–2005–04.
• Lessons from Resource Allocators for Large-Scale Multiuser Testbeds. Robert Ricci, David Oppenheimer, Jay Lepreau, and Amin Vahdat. In ACM SIGOPS Operating Systems Review, 40(1), pp. 25–32, January 2006.
• Issues in Integrated Network Experimentation using Simulation and Emulation. Shashikiran B. Guruprasad. Master's Thesis, University of Utah, August 2005.
• Optimizing IP Address Assignment on Network Topologies. Jonathon Duerig, Robert Ricci, John Byers, and Jay Lepreau. Flux Technical Note FTN–2005–04, University of Utah, July 2005. Superceded by FTN–2006–02.
• TrueMobile: A Mobile Robotic Wireless and Sensor Network Testbed. David Johnson, Tim Stack, Russ Fish, Dan Flickinger, Rob Ricci, and Jay Lepreau. Flux Technical Note FTN–2005–02, University of Utah, April 2005. A revised version was published in INFOCOM 2006; please read and cite that paper instead.
• Integrated Network Experimentation using Simulation and Emulation. Shashi Guruprasad, Rob Ricci, and Jay Lepreau. In First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (Tridentcom 2005), Trento, Italy, February 2005.
• Implementing the Emulab-PlanetLab Portal: Experiences and Lessons Learned. Kirk Webb, Mike Hibler, Robert Ricci, Austin Clements, and Jay Lepreau. In Proc. of the First Workshop on Real, Large Distributed Systems (WORLDS 2004), San Francisco, CA, December 2004.
• Feedback-directed Virtualization Techniques for Scalable Network Experimentation. Mike Hibler, Robert Ricci, Leigh Stoller, Jonathon Duerig, Shashi Guruprasad, Tim Stack, Kirk Webb, and Jay Lepreau. Flux Technical Note FTN–2004–02, University of Utah, May 2004.
• Upgrading Transport Protocols using Untrusted Mobile Code. Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, and Tim Stack. In Proc. of the 19th ACM Symposium on Operating System Principles (SOSP 2003), Bolton Landing, NY, October 2003.
• TCP Meets Mobile Code. Parveen Patel, David Wetherall, Jay Lepreau, and Andrew Whitaker. Presented at and appears in Proc. of the Ninth Workshop on Hot Topics in Operating Systems (HotOS IX), Lihue, Hawaii, May 2003.
• A Solver for the Network Testbed Mapping Problem. Robert Ricci, Chris Alfeld, and Jay Lepreau. ACM SIGCOMM Computer Communication Review, 32(2):65-81, April 2003.
• Bees: A Secure, Resource-Controlled, Java-Based Execution Environment. Tim Stack, Eric Eide, and Jay Lepreau. In Proc. of the Sixth IEEE Conference on Open Architectures and Network Programming (OPENARCH 2003), pages 97-106, San Francisco, CA, April 2003.
• Hybrid Resource Control of Active Extensions. Parveen Patel and Jay Lepreau. In Proc. of the Sixth IEEE Conference on Open Architectures and Network Programming (OPENARCH 2003), pages 23-31, San Francisco, CA, April 2003.
• A Solver for the Network Testbed Mapping Problem. Robert Ricci, Chris Alfeld, Jay Lepreau. Flux Group Technical Note 2002-05, December 2002. A revised version of this report was published in SIGCOMM CCR, April 2003; please read and cite that paper instead.
• An Integrated Experimental Environment for Distributed Systems and Networks. White, Lepreau, Stoller, Ricci, Guruprasad, Newbold, Hibler, Barb, Joglekar. In Proc. of the Fifth Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002.
• Lowering the Barrier to Wireless and Mobile Experimentation. Brian White, Jay Lepreau, and Shashi Guruprasad. In Proc. of the First ACM Workshop on Hot Topics in Networks (HotNets-I), Princeton, NJ, October 2002.
• Agile Protocols: an Application of Active Networking to Censor-Resistant Publishing Networks. Robert Ricci. Bachelor's Thesis, University of Utah, August 2001.

• Active Protocols for Agile Censor-Resistant Networks. Robert Ricci and Jay Lepreau. In Proc. of the Eighth IEEE Workshop on Hot Topics in Operating Systems (HotOS VIII), Schloss Elmau, Germany, May 2001.

• A Reliable Multicast Webcast Protocol for Multimedia Collaboration and Caching. L. Kristin Wright, Steven McCanne, and Jay Lepreau. In Proc. of the The Eighth ACM Multimedia Conference (MM2000), November 2000.

• Experience Using a Globally Shared State Abstraction to Support Distributed Applications. Sai Susarla, Anand Ranganathan, and John Carter. UUCS-98-016, August 1998. (Abstract)

• Khazana: An Infrastructure for Building Distributed Services. John Carter, Anand Ranganathan, and Sai Susarla. In Proc. of the International Conference on Distributed Computing Systems, May 1998. (Abstract)

• Making Distributed Shared Memory Simple, Yet Efficient. Mark Swanson, Leigh Stoller, and John Carter. In Proc. of the Third International Workshop on High-Level Parallel Programming Models and Supportive Environments, IEEE Computer Society, March 1998. (Abstract)

• Distributed Shared Memory: Where We Are and Where We Should Be Headed. John B. Carter, Dilip Khandekar, and Linus Kamb. In Proc. of the 5th IEEE Workshop on Hot Topics in Operating Systems, May 1995. (Abstract)

• An Argument for Simple COMA. A. Saulsbury, T. Wilkinson, J. Carter, and A. Landin. In Future Generations Computer Systems Journal, Number 11, January 1995. (Abstract)

• Design of the Munin Distributed Shared Memory System. John B. Carter. In Journal of Parallel and Distributed Computing, September 1995. (Abstract)

• Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems. John B. Carter, University of Utah; John K. Bennett and Willy Zwaenepoel, Rice University. A version of this paper appears in TOCS August '95. Earlier work in this area appeared in 13th SOSP '91. (Abstract)

Primarily OS-related

• HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems. John Regehr and Alastair Reid. In Proc. of the Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Boston, MA, October 2004.

• High Capacity Network Link Emulation Using Network Processors. Abhijeet A. Joglekar. Master's Thesis, University of Utah, May 2004.

• Dynamic CPU Management for Real-Time, Middleware-Based Systems. Eric Eide, Tim Stack, John Regehr, and Jay Lepreau. In Proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), pages 286-295, Toronto, ON, May 2004.
• Dynamic CPU Management for Real-Time, Middleware-Based Systems. Eric Eide, Tim Stack, John Regehr, and Jay Lepreau. Technical Report UUCS-04-004, University of Utah, January 30, 2004. A revised version of this report was published at RTAS 2004; please read and cite that paper instead.

• Evolving real-time systems using hierarchical scheduling and concurrency analysis. John Regehr, Alastair Reid, Kirk Webb, Michael Parker, and Jay Lepreau. Proc. of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), December 3-5 2003.
• Hybrid Resource Control for Fast-Path Active Extensions. Parveen K Patel. Master's Thesis, December 2003.

• Fast, Scalable Disk Imaging with Frisbee. Mike Hibler, Leigh Stoller, Jay Lepreau, Robert Ricci, Chad Barb. In Proc. of the 2003 USENIX Annual Technical Conference, June 2003.
• Lock inference for systems software. John Regehr and Alastair Reid. In Proc. of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Boston, MA, March 2003.
• How to Rapidly Prototype a Real-Time Scheduler. Luca Abeni and John Regehr. Presented as a Work in Progress at the 23rd IEEE Real-Time Systems Symposium (RTSS 2002), December 2002.
• Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. John Regehr. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS 2002), December 2002.

• Inferring Scheduling Behavior with Hourglass. John Regehr. In Proceedings of the USENIX 2002 Annual Technical Conference FREENIX track, Monterey, CA, June 2002.
• Isolation, Resource Management and Sharing in the KaffeOS Java Runtime System. Godmar Back. Doctoral Dissertation, May 2002. Winner of the 2003 ACM SIGPLAN Doctoral Dissertation Award.

• Composable Execution Environments. John Regehr, Alastair Reid, Kirk Webb, and Jay Lepreau. Flux Group Technical Note 2002-02, May 2002. This paper could just as well be filed under "components."
• HLS: A Framework for Composing Soft Real-Time Schedulers . John Regehr and John A. Stankovic. In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), pages 3-14, London, UK, December 3-6 2001.
• Some Guidelines for Proportional Share CPU Scheduling in General-Purpose Operating Systems. John Regehr. Presented as a work in progress at the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, December 3-6 2001.
• The Case for Using Middleware to Manage Diverse Soft Real-Time Schedulers . John Regehr and Jay Lepreau. In Proceedings of the International Workshop on Multimedia Middleware (M3W '01), pages 23-27, Ottawa, Canada, October 2001.
• Janos: A Java-oriented OS for Active Networks . Patrick Tullmann, Mike Hibler, and Jay Lepreau. In IEEE Journal on Selected Areas of Communication, March 2001.

• An OS Interface for Active Routers . Larry Peterson, Yitzchak Gottlieb (Princeton University), Mike Hibler, Patrick Tullmann, Jay Lepreau (University of Utah), Stephen Schwab, Hrishikesh Dandekar, Andrew Purtell (NAI Labs, Network Associates), John Hartman (University of Arizona). In IEEE Journal on Selected Areas of Communication, March 2001.

• Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. Godmar Back, Wilson C. Hsieh, Jay Lepreau. In Proc. of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), October 2000.

• The Fluke Device Driver Framework. Kevin T. Van Maren. Master's Thesis, September/December 1999. By running drivers as user-mode servers, this work resolves a fundamental execution environment mismatch between legacy (e.g., Linux) device drivers and the Fluke kernel.

• The Alta Operating System. Patrick Alexander Tullmann. Master's Thesis, July/December 1999. Alta implements the Fluke operating system's nested process model within a Java virtual machine.

• Processes in Kaffeos: Isolation, Resource Management, and Sharing in Java. Godmar Back, Wilson C. Hsieh, Jay Lepreau. UUCS-00-010, April 2000. (Superceded by above published paper.)

• Techniques for the Design of Java Operating Systems. Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau. In Proc. of the 2000 USENIX Annual Technical Conference, San Diego, CA, June 2000.

• The Flask Security Architecture: System Support for Diverse Security Policies. Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen, Jay Lepreau. In Proc. of the Eighth USENIX Security Symposium, August 1999.

• Drawing the Red Line in Java. Godmar Back and Wilson Hsieh. Presented at and appears in Proc. of the Seventh IEEE Workshop on Hot Topics in Operating Systems, March 1999. (Download: .ps, .ps.gz, .pdf, html abstract)

• Interface and Execution Models in the Fluke Kernel. Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, Patrick Tullmann. In Proc. of the Third Symposium on Operating Systems Design and Implementation (OSDI'99), February 1999. (Abstract)

• Extending Fluke IPC for Transparent Remote Communication. Linus Peter Kamb. Master's Thesis, November/December 1998. (Abstract)

• Java Operating Systems: Design and Implementation. Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, and Jay Lepreau. UUCS-98-015, August 1998. (Abstract)

• Implementing Mandatory Network Security in a Policy-flexible System. Ajaya Chitturi. Master's Thesis, April/June 1998. (Abstract)

• Nested Java Processes: OS Structure for Mobile Code. Patrick Tullmann and Jay Lepreau. Presented at and appears in Proc. of the Eighth ACM SIGOPS European Workshop, September 1998. (Abstract, .ps.gz, PDF)

• The Flux OSKit: A Substrate for OS and Language Research. Bryan Ford, Godmar Back, Greg Benson (U.C. Davis), Jay Lepreau, Albert Lin (MIT), Olin Shivers (MIT). In Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint-Malo, France, October 1997. (Abstract) This paper is also related to components.

• The Flux OS Toolkit: Reusable Components for OS Implementation. Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson, Jeff Turner. In Proc. of the Sixth IEEE Workshop on Hot Topics in Operating Systems, May 1997. (Abstract) This paper is also related to components.

• Microkernels Meet Recursive Virtual Machines. Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson. In Proc. of the Second Symposium on Operating Systems Design and Implementation (OSDI'96), October 1996. (Abstract)

• CPU Inheritance Scheduling. Bryan Ford, Sai Susarla. In Proc. of the Second Symposium on Operating Systems Design and Implementation (OSDI'96), October 1996. (Abstract)

• User-level Checkpointing through Exportable Kernel State. Patrick Tullmann, Jay Lepreau, Bryan Ford, Mike Hibler. Presented at and appears in Proc. of the Fifth IEEE International Workshop on Object-Orientation in Operating Systems, October 1996. (Abstract), (Slides)

• Implementation and Evaluation of Data Breakpoint Schemes in an Interactive Debugger. Paul E. Roberts. Master's Thesis, June/December 1996. (Abstract)

• The Persistent Relevance of the Local Operating System to Global Applications. Jay Lepreau, Bryan Ford, Mike Hibler. Presented at and appears in Proc. of the Seventh ACM SIGOPS European Workshop, September 1996. (Abstract)

• Using Annotated Interface Definitions to Optimize RPC. Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-95-014, March 1995. This is also related to module and interface management. (Abstract)

• Separating Presentation from Interface in RPC and IDLs. Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-95-018, December 1994. Related to the above paper, but shorter, less clear, and with broader claims. (Abstract)

• Evolving Mach 3.0 to a Migrating Thread Model. Bryan Ford, Jay Lepreau. In Proc. of the Winter Usenix Conference, January 1994. (Abstract)

• Microkernels Should Support Passive Objects. Bryan Ford, Jay Lepreau. In Proc. of I-WOOOS '93, December 1993. (Abstract)

• In-Kernel Servers on Mach 3.0: Implementation and Performance. Jay Lepreau, Mike Hibler, Bryan Ford, Jeff Law. In Proc. of the Third Usenix Mach Symposium, Santa Fe, NM, April 1993. (Abstract)

• Notes on Thread Models in Mach 3.0. Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-93-012, April 1993. (Abstract)

Compilers, Languages, and Components

• ABI Compatibility Through a Customizable Language. Kevin Atkinson, Matthew Flatt, and Gary Lindstrom. In Proc. of the Ninth International Conference on Generative Programming and Component Engineering (GPCE), pages 147–156, Eindhoven, The Netherlands, October 2010.
• A Comparison of Jiazzi and AspectJ for Feature-wise Decomposition. Bin Xin, Sean McDirmid, Eric Eide, and Wilson C. Hsieh. Technical Report UUCS-04-001, University of Utah, March 23, 2004.
• Eliminating stack overflow by abstract interpretation. John Regehr, Alastair Reid, Kirk Webb. Proc. of the Third International Conference on Embedded Software (EMSOFT 2003) , October 15-17 2003.
• Static and Dynamic Structure in Design Patterns. Eric Eide, Alastair Reid, John Regehr, and Jay Lepreau. In Proc. of the 24th Intl. Conf. on Software Engineering (ICSE 2002), pages 208-218, Orlando, FL, May 2002.

• Maya: Multiple-Dispatch Syntax Extension in Java. Jason Baker and Wilson C. Hsieh. In Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2002), June 2002. A previous version of this paper is available as a tech report.

• Static and Dynamic Structure in Design Patterns. Eric Eide, Alastair Reid, John Regehr, and Jay Lepreau. Technical Report UUCS-01-014, University of Utah, November 1, 2001. A revised version of this report was published at ICSE 2002; please read and cite that paper instead.

• Runtime Aspect Weaving Through Metaprogramming. Jason Baker and Wilson Hsieh. In the 1st International Conference on Aspect-Oriented Software Development.

• Aspect Weaving as Component Knitting: Separating Concerns with Knit. Eric Eide, Alastair Reid, Matthew Flatt, and Jay Lepreau. In the Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, May 2001. Position paper.

• Knit: Component Composition for Systems Software. Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide. In Proc. of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), October 2000.

• Flexible IDL Compilation for Complex Communication Patterns. Eric Eide, James L. Simister, Tim Stack, and Jay Lepreau. Scientific Programming, 7(3,4):275-287, 1999. (Abstract)

• The Need for Predictable Garbage Collection Alastair Reid, John McCorquodale, Jason Baker, Wilson Hsieh, Joseph Zachary. Presented at and appears in Proceedings of the ACM SIGPLAN Workshop on Compiler Support for System Software (WCSSS'99), May 1, 1999. (Abstract)

• Supporting Persistent C++ Objects in a Distributed Storage System. Anand Ranganathan, Yury Izrailevsky, Sai Susarla, John Carter, and Gary Lindstrom. Presented at and appears in Proceedings of the ACM SIGPLAN Workshop on Compiler Support for System Software (WCSSS'99), May 1, 1999. This is also related to distributed systems and global memory management. (Abstract)

• Flexible and Optimized IDL Compilation for Distributed Applications. Eric Eide, Jay Lepreau, and James L. Simister. In David O'Hallaron, editor, Languages, Compilers, and Run-Time Systems for Scalable Computers (LCR '98), volume 1511 of Lecture Notes in Computer Science, pages 288-302. Springer, May 1998. © Springer-Verlag. (Abstract)

• Formal Methods: A Practical Tool for OS Implementors. Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back. In Proc. of the Sixth IEEE Workshop on Hot Topics in Operating Systems, May 1997. This is also related to operating systems. (Abstract)

• Flick: A Flexible, Optimizing IDL Compiler. Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, and Gary Lindstrom. In Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation ( PLDI '97), pages 44-56, Las Vegas, NV, June 1997. (Abstract)

• An Application Framework for Module Composition Tools. Guruduth Banavar, Gary Lindstrom. Presented at and appears in ECOOP'96. (Abstract)

• An Application Framework for Compositional Modularity. Guruduth S. Banavar. Doctoral Dissertation, August/December 1995. (Abstract)

• Layered, Server-based Support for Object-Oriented Application Development. Guruduth Banavar, Douglas Orr, Gary Lindstrom. Appears as "Best Paper" in Proc. of the Fourth Int'l Workshop on Object Orientation in Operating Systems, Lund, Sweden, August 1995. (Abstract)

• Application of Meta-protocols to Improve OS Services. Douglas B. Orr. In Proc. of the 5th IEEE Workshop on Hot Topics in Operating Systems, May 1995. (Abstract)

• Program Specialization Using the OMOS System. Douglas B. Orr, Jay Lepreau, Jeffrey Law. UUCS-95-016, March 1995. (Abstract)

• Type-safe Composition of Object Modules. Guruduth Banavar, Gary Lindstrom, Douglas Orr. In Computer Systems and Education, Tata McGraw Hill Publishing Company, Limited, Bangalore India, June, 1994. (Abstract)

• A Dossier Driven Persistent Objects Facility. Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih. In Proc. of the 1994 Usenix C++ Conference, April 1994. (Abstract)

• Dynamic Program Monitoring and Transformation Using the OMOS Object Server. Doug Orr, Robert Mecklenburg, Peter Hoogenboom, Jay Lepreau. In the book The Interaction of Compilation Technology and Computer Architecture, February 1994, Kluwer Academic Publishers; edited by Lilja and Bird. (Abstract)

• FLEX: A Tool for Building Efficient and Flexible Systems. John Carter, Bryan Ford, Mike Hibler, Ravi Kuramkote, Jeff Law, Jay Lepreau, Douglas Orr, Leigh Stoller, Mark Swanson. In Proc. of the 4th Workshop on Workstation Operating Systems, October 1993. (This paper is misleading, in that our emphasis and approach have evolved since it was written.) (Abstract)

• Fast and Flexible Shared Libraries. Doug Orr, John Bonn, Jay Lepreau, Robert Mecklenburg. In Proc. of the Summer 1993 USENIX Conference, Cincinnati, OH, June 1993. (Abstract)

• OMOS - an Object Server for Program Execution. Doug Orr, Robert Mecklenburg. In I-WOOOS '92. (Abstract)