Dec-11 Day 1 | Dec-12 Day 2 | Dec-13 Day 3 | |
---|---|---|---|
10:30 -- 12:00 | Preliminaries of SAT + SMT Solvers Ashutosh Gupta | The Full-Program Induction Technique - Divyesh Unadkat The Secrets of GANAK: Designing Scalable Exact Model Counter - Kuldeep S. Meel | GPURepair: Automated Repair of GPU Kernels - Gautam Muduganti Manthan: A Data-Driven Approach for Boolean Functional Synthesis - Priyanka Golia Exploiting Symmetry for Scalable Deadlock Detection in Message Passing Programs - Rishabh Ranjan |
12:00 -- 13:30 | Lunch Break | ||
13:30 -- 15:00 | Tutorial - I Armin Biere | Tutorial - I Martin Nyx Brain | Tutorial - I Guy Katz |
15:00 -- 15:15 | Break | ||
15:15 -- 16:00 | Tutorial - II Armin Biere | Tutorial - II Martin Nyx Brain | Tutorial - II Guy Katz |
16:00 -- 16:30 | Breakout Session | ||
16:30 -- 17:30 | Tutorial - III Armin Biere | Tutorial - III Martin Nyx Brain | Tutorial - III Guy Katz |