A Workflow-based Notebook Interface for Experiments in CloudLab and POWDER
Axe Tang
Bachelors Thesis 2024 [ pdf :: bibtex ]

Random Testing of the WebAssembly System Interface
Ethan Stanley
Honors Bachelors Thesis 2024 [ pdf :: bibtex ]

Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
In GPCE 2023 [ bibtex ]

Random Testing of WebAssembly Implementations Using Semantically Valid Programs
Guy Watson
Masters Thesis, University of Utah 2023 [ pdf :: bibtex ]

Implementation, Integration, and Application of Embedded Domain-Specific Languages
William Gallard Hatch
PhD Dissertation, University of Utah 2021 [ bibtex ]

Clotho: A Racket Library for Parametric Randomness
Pierce Darragh, William Gallard Hatch, and Eric Eide
In Scheme 2020 [ pdf :: bibtex ]

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

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

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

Weir: A Streaming Language for Performance Analysis
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, and Robert Ricci
In PLOS 2013 [ pdf :: bibtex ]

Taming Compiler Fuzzers
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, and John Regehr
In PLDI 2013 [ pdf :: slides :: bibtex ]

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

Test-Case Reduction for C Compiler Bugs
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang
In PLDI 2012 (award paper) [ pdf :: slides :: bibtex ]

Application Binary Interface Compatibility Through a Customizable Language
Kevin Atkinson
PhD Dissertation, University of Utah 2011 [ pdf :: 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 ]

Adapting Scheme-Like Macros to a C-Like Language
Kevin Atkinson and Matthew Flatt
In Scheme 2011 [ pdf :: slides :: bibtex ]

Finding and Understanding Bugs in C Compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
In PLDI 2011 (award paper) [ pdf :: slides :: bibtex ]

ABI Compatibility Through a Customizable Language
Kevin Atkinson, Matthew Flatt, and Gary Lindstrom
In GPCE 2010 [ pdf :: slides :: 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 ]

Adaptive Product Line Design using Aspects and Design Patterns
Venkat Chakravarthy
Masters Thesis, University of Utah 2009 [ bibtex ]

Volatiles Are Miscompiled, and What to Do about It
Eric Eide and John Regehr
In EMSOFT 2008 [ pdf :: slides :: bibtex ]

Edicts: Implementing Features with Flexible Binding Times
Venkat Chakravarthy, John Regehr, and Eric Eide
In AOSD 2008 [ pdf :: slides :: 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 ]

Binding-Time Flexibility for Managing Variability
Venkat Chakravarthy and Eric Eide
In MVCDC 2005 [ bibtex ]

Feature Typing: An Early Aspects Technique
Sean Walton and Eric Eide
In Proceedings of the Workshop on Early Aspects 2005 [ bibtex ]

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

A Comparison of Jiazzi and AspectJ for Feature-Wise Decomposition
Bin Xin, Sean McDirmid, Eric Eide, and Wilson Hsieh
Technical Report UUCS–04–001 2004 [ bibtex ]

Bees: A Secure, Resource-Controlled, Java-Based Execution Environment
Tim Stack, Eric Eide, and Jay Lepreau
In OPENARCH 2003 [ bibtex ]

Maya: Multiple-Dispatch Syntax Extension in Java
Jason Baker and Wilson Hsieh
In PLDI 2002 [ pdf :: slides :: bibtex ]

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

Runtime Aspect Weaving Through Metaprogramming
Jason Baker and Wilson Hsieh
In AOSD 2002 [ pdf :: bibtex ]

Aspect Weaving as Component Knitting: Separating Concerns with Knit
Eric Eide, Alastair Reid, Matthew Flatt, and Jay Lepreau
In WASC 2001 [ 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 ]

Flexible IDL Compilation for Complex Communication Patterns
Eric Eide, James Simister, Tim Stack, and Jay Lepreau
In Scientific Programming 7(3,4), 1999 [ bibtex ]

Flexible and Optimized IDL Compilation for Distributed Applications
Eric Eide, Jay Lepreau, and James Simister
In LCR 1998 [ 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 ]

Flick: A Flexible, Optimizing IDL Compiler
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, and Gary Lindstrom
In PLDI 1997 [ bibtex ]