Overview


My research focuses on making programs run faster and better.

New!  Research blog.

 

Recent & ongoing research projects include:

  • DHard, a system that prevents crashes and reduces security vulnerabilities
  • Grace, a runtime system that provides safe multithreaded programming for C/C++
  • Flux, a programming language for building high-performance applications with "pipes"
  • Transparency, a system enabling background jobs to unobtrusively use free memory & disk space
  • Hoard, a memory manager that accelerates multithreaded programs
  • the Eon programming language, deployed in TurtleNet


More information on these and other projects can be found here; read this recent research statement for an overview of my work to date (also: vita, teaching statement, service statement).


Selected Publications

OOPSLA 2009 Grace: Safe Multithreaded Programming for C/C++
ECRTS 2009 Using Randomized Caches in Real-Time Systems
PLDI 2009 Efficiently and Precisely Locating Memory Leaks and Bloat

CACM 2008 		Exterminator: Automatically Correcting Memory Errors with High Probability (ACM Research Highlight)
OSDI 2008 Redline: First Class Support for Interactivity in Commodity Operating Systems
ASPLOS 2008 Archipelago: Trading Address Space for Reliability and Security
ACM TOS Contributing Storage Using the Transparent File System
SenSys 2007 Eon: A Language and Runtime System for Perpetual Systems
PLDI 2007 Exterminator: Automatically Correcting Memory Errors with High Probability
FAST 2007 TFS: A Transparent File System for Contributory Storage
Best Paper Award
OSDI 2006 CRAMM: Virtual Memory Support for Garbage-Collected Applications
USENIX 2006 Flux: A Language for Programming High-Performance Servers
USENIX 2006 Transparent Contribution of Memory
PLDI 2006 DieHard: Probabilistic Memory Safety for Unsafe Languages
OOPSLA 2005 Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
PLDI 2005 Garbage Collection without Paging
ASPLOS-IX Hoard: A Scalable Memory Allocator for Multithreaded Applications


complete list of publications

Systems at UMass: See the SUMA (Systems at UMass Amherst) page for links to the 22 systems researchers at UMass. In the area of systems, UMass's CS department was ranked #18 in the nation (US News, top 25 overall) and is moving on up. For more information about the UMass Computer Science department, read our new Computer Science booklet describing the Department's faculty, students, education, and research.

^ Top


Next page: Students