CIS 607: Program Analysis
Wed 2pm, DES 200
Participants: Enrico, Zebin, Tony, Wayne, Xiangkui, Michal, Shan Shan,
Christoph, Yannis
Schedule (so far):
More topics (and people to possibly lead discussion):
-pattern-based bug finding work (Tony)
-field report debugging (Michal, Xiangkui)
-analysis of generics/templates (Enrico, Tony)
-concolic: DART, hybrid (Zebin)
-invariant detection (Enrico)