December 11-13, 2020
Schedule
YouTube Streaming links are available on our channel
All times mentioned below are in IST (UTC +5:30)
| 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
|