Print this page

Overview

My research focuses on making programs run faster and better.

Ongoing research projects include:

  • DH, (formerly known as "DieHard") - a system that prevents crashes and reduces security vulnerabilities
  • 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).

Recent & Current Projects:

DieHard

DH/Exterminator:
automatically improving
reliability & security
[PLDI06, PLDI07]
speeding up multithreaded programs
on multicore / multiprocessors
[ASPLOS-IX]

 
maximizing Java performance
[ISMM04,OSDI06][PLDI05]
bookmarking collector
simplifying concurrent programming
[USENIX06]

painlessly contributing resources to background apps

 


  • New programming languages for concurrency & energy
    • Eon: energy-aware programming language for perpetual computing (e.g., Turtle Net)

    Selected Publications

    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 21 systems researchers at UMass. In the area of systems, UMass's CS department was ranked #18 in the nation as of last year (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