Fluorescence: Detecting Kernel-Resident Malware in Clouds
Cai (Richard) Li, Min Du, David Johnson, Robert Ricci, Jacobus (Kobus) Van der Merwe, and Eric Eide
In RAID 2019 [ pdf :: slides :: bibtex ]

Rocksteady: Fast Migration for Low-latency In-memory Storage
Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, and Ryan Stutsman
In SOSP 2017 [ pdf :: slides :: bibtex ]

A Wingman for Virtual Appliances
Prashanth Nayak, Mike Hibler, David Johnson, and Eric Eide
In RV 2017 [ pdf :: bibtex ]

Lightweight Capability Domains: Toward Decomposing the Linux Kernel
Charles Jacobsen
Masters Thesis, University of Utah 2016 [ pdf :: bibtex ]

To Copy or Not to Copy: Making In-Memory Databases Fast on Modern NICs
Aniraj Kesavan, Robert Ricci, and Ryan Stutsman
In IMDM 2016 [ pdf :: slides :: bibtex ]

Extensions to Barrelfish Asynchronous C
Michael Quigley
MS Project Report 2016 [ pdf :: bibtex ]

Fip-see: A Low Latency, High Throughput IPC Mechanism
Scotty Bauer
MS Project Report 2016 [ pdf :: bibtex ]

kIDL: Interface Definition Language for the Kernel
Sarah Spall
MS Project Report 2016 [ pdf :: bibtex ]

On-demand secure service with virtual machines
Myungho Jung
In 2016 [ pdf :: bibtex ]

Lightweight Capability Domains: Towards Decomposing the Linux Kernel
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, and Anton Burtsev
In PLOS 2015 [ pdf :: bibtex ]

Apt: A Platform for Repeatable Research in Computer Science
Robert Ricci, Gary Wong, Leigh Stoller, Kirk Webb, Jonathon Duerig, Keith Downie, and Mike Hibler
In OSR 49(1), January 2015 [ pdf :: bibtex ]

Detecting and Mitigating Malware in Virtual Appliances
Prashanth Nayak
Masters Thesis, University of Utah 2014 [ pdf :: bibtex ]

Harnessing GPU Computing in System-Level Software
Weibin Sun
PhD Dissertation, University of Utah 2014 [ pdf :: slides :: bibtex ]

Composable Multi-Level Debugging with Stackdb
David Johnson, Mike Hibler, and Eric Eide
In VEE 2014 [ pdf :: slides :: bibtex ]

Xen-Cap: A Capability Framework for Xen
Yathindra Naik
Flux Technical Note FTN–2013–04 2013 [ pdf :: slides :: bibtex ]

Software Variability Mechanisms for Improving Run-Time Performance
Eric Eide
PhD Dissertation, University of Utah 2012 [ pdf :: bibtex ]

Harnessing GPU Computing for Storage Systems in the OS Kernel
Weibin Sun, Robert Ricci, and Matthew J. Curry
In SYSTOR 2012 [ pdf :: slides :: bibtex ]

Towards Fair Sharing of Block Storage in a Multi-tenant Cloud
Xing Lin, Yun Mao, Feifei Li, and Robert Ricci
In HotCloud 2012 [ pdf :: slides :: bibtex ]

Summary of PLOS 2011: The Sixth Workshop on Programming Languages and Operating Systems
Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, and Olaf Spinczyk
In OSR 45(3), December 2011 [ pdf :: bibtex ]

Augmenting Operating Systems With the GPU
Weibin Sun and Robert Ricci
Flux Technical Note FTN-2011-02 2011 [ pdf :: bibtex ]

PLOS 2009: Fifth Workshop on Programming Languages and Operating Systems: Workshop Overview
Eric Eide, Gilles Muller, and Olaf Spinczyk
In OSR 43(4), December 2009 [ pdf :: bibtex ]

Transparent Checkpoints of Closed Distributed Systems in Emulab
Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, and Jay Lepreau
In EuroSys 2009 [ pdf :: bibtex ]

Fido: fast inter-virtual-machine communication for enterprise appliances
Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Lakshmi N. Bairavasundaram, Kaladhar Voruganti, and Garth R. Goodson
In USENIX ATC 2009 [ pdf :: slides :: bibtex ]

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 USENIX ATC 2008 [ pdf :: bibtex ]

Efficient Memory Safety for TinyOS
Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr
In SenSys 2007 [ bibtex ]

Resource Management Aspects for Sensor Network Software
Sean Walton and Eric Eide
In PLOS 2007 [ pdf :: slides :: bibtex ]

Efficient Type and Memory Safety for Tiny Embedded Systems
John Regehr, Nathan Cooprider, Will Archer, and Eric Eide
In PLOS 2006 [ bibtex ]

Memory Safety and Untrusted Extensions for TinyOS
John Regehr, Nathan Cooprider, Will Archer, and Eric Eide
Technical Report UUCS–06–007 2006 [ bibtex ]

Eliminating stack overflow by abstract interpretation
John Regehr, Alastair Reid, and Kirk Webb
In ACM Trans. Embed. Comput. Syst. 4(4), November 2005 [ bibtex ]

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services
Richard West and Gary Wong
In PLC 2005 [ pdf :: bibtex ]

Dynamic CPU Management for Real-Time, Middleware-Based Systems
Eric Eide, Tim Stack, John Regehr, and Jay Lepreau
In RTAS 2004 [ bibtex ]

Dynamic CPU Management for Real-Time, Middleware-Based Systems
Eric Eide, Tim Stack, John Regehr, and Jay Lepreau
Technical Report UUCS-04-004 2004 [ bibtex ]

Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Mike Parker, and Jay Lepreau
In RTSS 2003 [ bibtex ]

Static and Dynamic Structure in Design Patterns
Eric Eide, Alastair Reid, John Regehr, and Jay Lepreau
In ICSE 2002 [ bibtex ]

An OS Interface for Active Routers
Larry Peterson, Yitzchak Gottlieb, Mike Hibler, Patrick Tullmann, Jay Lepreau, Stephen Schwab, Hrishikesh Dandekar, Andrew Purtell, and John Hartman
In JSAC 19(3), March 2001 [ pdf :: bibtex ]

Janos: A Java-Oriented OS for Active Network Nodes
Patrick Tullmann, Mike Hibler, and Jay Lepreau
In JSAC 19(3), March 2001 [ pdf :: bibtex ]

Knit: Component Composition for Systems Software
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide
In OSDI 2000 [ bibtex ]

Session Summaries from the 17th Symposium on Operating Systems Principles (SOSP '99)
Jay Lepreau and Eric Eide
In OSR 34(2), April 2000 [ bibtex ]

Survivability through Customization and Adaptability: the Cactus Approach
Matti Hiltunen, Richard Schlichting, Carlos Ugarte, and Gary Wong
In DISCEX 2000 [ pdf :: bibtex ]

The Flask Security Architecture: System Support for Diverse Security Policies
Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen, and Jay Lepreau
In USENIX Security 1999 [ pdf :: bibtex ]

Implementing Integrated Fine-grain Customizable QoS Using Cactus
Matti Hiltunen, Richard Schlichting, and Gary Wong
In FTC 1999 [ bibtex ]

Interface and Execution Models in the Fluke Kernel
Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann
In OSDI 1999 [ pdf :: bibtex ]

The Flux OSKit: A Substrate for OS and Language Research
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers
In SOSP16 1997 [ bibtex ]

The Flux OS Toolkit: Reusable Components for OS Implementation
Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson, and Jeff Turner
In HOTOS6 1997 [ bibtex ]

User-level Checkpointing Through Exportable Kernel State
Patrick Tullmann, Jay Lepreau, Bryan Ford, and Mike Hibler
In IWOOOS 1996 [ pdf :: bibtex ]

Microkernels Meet Recursive Virtual Machines
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson
In OSDI 1996 [ pdf :: bibtex ]

The Persistent Relevance of the Local Operating System to Worldwide Applications
Jay Lepreau, Bryan Ford, and Mike Hibler
In Proceedings of the 7th ACM SIGOPS European Workshop 1996 [ pdf :: bibtex ]

Using Annotated Interface Definitions to Optimize RPC
Bryan Ford, Mike Hibler, and Jay Lepreau
Technical Report UUCS-95-014 1995 [ bibtex ]

Extending the RPC Abstraction: Separating Presentation from Interface
Bryan Ford, Mike Hibler, and Jay Lepreau
Technical Report UUCS-94-032 1994 [ bibtex ]

FLEX: A Tool for Building Efficient and Flexible Systems
John B Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeff Law, Jay Lepreau, Douglas B. Orr, Leigh Stoller, and Mark Swanson
In WWOS 1993 [ bibtex ]

Notes on Thread Models in Mach 3.0
Bryan Ford, Mike Hibler, and Jay Lepreau
Technical Report UUCS-93-012 1993 [ bibtex ]

In-Kernel Servers on Mach 3.0: Implementation and Performance
Jay Lepreau, Mike Hibler, Bryan Ford, Jeff Law, and Douglas B. Orr
In MACHNIX 1993 [ pdf :: bibtex ]