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)