SOARlab Reading Group

Fridays, 3-4pm, MEB3515


Schedule

Date Facilitator(s) Paper
9/15 Maryam IronFleet: Proving Practical Distributed Systems Correct
9/22 Shaobo Software Verification: Testing vs. Model Checking -- A Comparative Evaluation of the State of the Art
9/29 Ankit Boosting Verification by Automatic Tuning of Decision Procedures
10/6 Rocco A Comprehensive Study of Real-World Numerical Bug Characteristics
10/20 Mark Gelpia
11/17 Shaobo Model-Based API Testing for SMT Solvers