CS 595C - Architectural Support for Dynamic Software Analysis


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