High-Level Optimizations for Low-Level Software
John Regehr
regehr@cs.utah.edu
University of Utah,
School of Computing
50 South Central Campus Drive, Room 3190
Salt Lake City, Utah 84112-9205
http://www.cs.utah.edu/flux/
Presented as a work in progress at the 19th ACM Symposium on Operating System Principles (SOSP), Bolton Landing, New York, October 2003.
extended abstract (
PDF
,
PS.gz
)
presentation (
PDF
,
PPT
)
John Regehr
<regehr@cs.utah.edu>