CSE-655: Seminar in Languages

Schedule:

• Aug 28: Organizational meeting
• Sep 04: Overview of Program Analysis (CR)
• Sep 25: Dataflow Analysis (CR)
• Oct 02: Abstract Interpretation (CR)
• Oct 08: Control flow analysis of software: Engler et al's papers (Shabbir)
• Oct 16: Control flow analysis of software: Wagner et al's papers (Dinakar)
• Oct 23: Flow analysis via graph reachability / Shape Analysis (Haifeng)
• Oct 30: Analysis via Boolean Abstraction (Arnab/Bikram??)
• Nov 06: Analysis of Push-Down Systems (Ping)
• Nov 13: Algorithms for dataflow analysis (Ajay)
• with cse659, date TBD: Analysis for Information Flow (Prem)