Flux Research Group / School of Computing

operating systems publications (see more about operating systems)

2016
2015
2014
2013
Xen-Cap: A Capability Framework for Xen
Yathindra Naik
Flux Technical Note FTN–2013–04 2013 [ pdf :: slides :: bibtex ]
2012
2011
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 ]
2009
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 ]
2008
2007
Efficient Memory Safety for TinyOS
Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr
In SenSys 2007 [ bibtex ]
2006
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 ]
2005
2004
2003
2002
2001
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 ]
2000
1999
1997
1996
1995
1994
1993