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]
- DieHard : prevents crashes and reduces security vulnerabilities [PLDI06] –
- 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]
- HOARD, a memory manager that accelerates multithreaded programs [ASPLOS00]
- OS support for high responsiveness and performance
- New programming languages