CS 595C -
Architectural Support for Dynamic Software Analysis
Description
Tools such as multi-threaded data race detectors, memory bounds
checkers, dynamic type analyzers and various performance profilers are
becoming increasingly vital aids to software developers. These tools often
rely on processing a sea of runtime data and hence suffer tremendous
slowdowns. In this seminar, we wish to identify important software
engineering tools that perform dynamic analysis for debugging, verification
and security, and discuss hardware and architectural techniques for
accelerating their performance.
Instructors:
Tim Sherwood and Tevfik Bultan
Time: Wednesdays 2:00-2:50 pm
Place: ESB 2003
Reading List:
Available
here