Computer Architecture; Program Analysis; Dependable Systems; Programmer Productivity

April 9, 2007
Time: 11:00am-12:00pm
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.


500 W. 120th St., Mudd 1310, New York, NY 10027    212-854-3105               
©2014 Columbia University