Soarlab Reading Group

Fridays, 3-4pm, MEB3105


Schedule

Date Facilitator(s) Paper
2/17 Ankit Empirical Software Metrics for Benchmarking of Verification Tools
3/3 Shaobo What developers want and need from program analysis: an empirical study (slide)
3/10 Ankit MUX: algorithm selection for software model checkers
3/17 - Spring break
3/24 Ankit Systematic Predicate Abstraction using Variable Roles
4/7 Maryam P: safe asynchronous event-driven programming