Parallel Synchronization-Free Approximate Data Structure Construction
RacerX: Effective, Static Detection of Race Conditions and Deadlocks
Debugging Operating Systems with Time-Traveling Virtual Machines
Enhancing Server Availability and Security Through Failure-Oblivious Computing
Elephant Tracks: Portable Production of Complete and Precise GC Traces
Stabilizer: Enforcing Predictable and Analyzable Performance
Producing Wrong Data Without Doing Anything Obviously Wrong!
Course Information: Almost a syllabus. Read it and know what it implies.