Recent & ongoing research projects include:

• Automatic error detection, toleration, and correction
  • DieHard : prevents crashes and reduces security vulnerabilities [PLDI06] –
    the inspiration for Windows 7’s Fault-Tolerant Heap
  • Exterminator: automatically corrects memory errors [CACM08, PLDI07]
  • Grace: safe multithreaded programming for C/C++ [OOPSLA09]
  • Dthreads: efficient deterministic multithreading [SOSP11]
  • Archipelago: trades address space for reliability and security [ASPLOS08]
  • Hound: efficiently and precisely locates memory leaks and bloat for C/C++ programs [PLDI09]
• High-performance runtime systems
  • HOARD, a memory manager that accelerates multithreaded programs [ASPLOS00]
    used by numerous companies & the inspiration for enhancements to the Mac OS X allocator
  • Sheriff-Detect and Sheriff-Protect: Precise Detection and Automatic Mitigation of False Sharing [OOPLSA11]
  • Bookmarking collection: garbage collection without paging [PLDI05]
  • Quantifying the cost of GC vs. malloc [OOPSLA05]
  • Transparency: lets background jobs unobtrusively use free memory & disk space [ACM TOS, FAST07,USENIX06]
• OS support for high responsiveness and performance
  • Redline: first-class support for interactivity in commodity operating systems [OSDI08]
  • CRAMM: cooperative robust automatic memory management [OSDI06]
• New programming languages
  • Eon, the first energy-aware programming language[SenSys07]— see TurtleNet
  • Flux, a programming language for building high-performance applications with “pipes” [USENIX06]