April 9, 2007
InterSchool Lab, 7th floor CEPSR
Hosted by: Department of Computer Science
Speaker: Satish Narayanasamy, University of California, San Diego
Selected Recent Publications
Replay-based automated data race analysis.
Strata for recording shared memory dependencies.
PinSEL – a tool for architectural simulation based on BugNet.
BugNet – a low cost system-independent program execution recorder.
Architectural and OS support for unbounded transactions.
Patching processor design errors.
Predicting faults based on anomalies in speculative execution.
Click here for more information.