Instructor : Ashutosh Gupta
Timings : 15:30 Tuesday and Friday
Venue : CC105
May change later.
Date | Student | Topic | |
---|---|---|---|
1 | 2019-11-05 | Vrunda | SAT-Based Model Checking Without Unrolling, Understanding IC3 by Aaron R. Bradley |
2 | 2019-11-05 | Shreyash M | Decidable Verification of Uninterpreted Programs,UMANG MATHUR*, University of Illinois, Urbana Champaign,P. MADHUSUDAN,MAHESH VISWANATHAN |
3 | 2019-11-05 | Shreyash P | Program synthesis |
4 | 2019-11-05 | Kalyani | |
5 | 2019-11-05 | Chanchal | Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification |
6 | 2019-11-05 | Sapta | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement,Nick Giannarakis,Ryan Beckett,Ratul Mahajan,David Walker |
7 | 2019-11-05 |