Friday, 9 July 2021 | ||
| Time | Speaker | Title |
| 0850 - 0900 | Deepak D'Souza | Opening remarks |
| Day 1 | Session 1 | Synthesis I (Chair: Deepak D'Souza) |
| 0900 - 0930 | Sumanth Prabhu | Specification Synthesis with Constrained Horn Clauses |
| 0930 - 1000 | Priyanka Golia | Program Synthesis as Dependency Quantified Modulo Theory |
| Day 1 | Session 2 | Languages/Automata (Chair: Amaldev Manuel) |
| 1030 - 1100 | Akshay S | Can Zones be used to analyze pushdown timed automata? — a simulations-vs-equivalence story! |
| 1100 - 1130 | Sreejith A V | Regular languages over countable words |
| Day 1 | Session 3 | Program Logics (Chair: Shrawan Kumar) |
| 1200 - 1230 | Divyesh Unadkat | Exploiting Induction and Difference Computation to Verify Array Programs |
| 1230 - 1300 | Vrunda Dave | On the Separability Problem of String Constraints |
Saturday, 10 July 2021 | ||
| Time | Speaker | Title |
| Day 2 | Session 1 | Synthesis II (Chair: Madhavan Mukund) |
| 0900 - 1000 | Supratik Chakraborty | Counter-example guided repair in Boolean functional synthesis |
| Day 2 | Session 2 | Concurrency I (Chair: C Aiswarya) |
| 1030 - 1100 | Govind R | Partial order reduction for timed systems |
| 1100 - 1130 | Krishna S | Verification of Concurrent Programs under Release Acquire |
| Day 2 | Session 3 | Concurrency II (Chair: Krishna S) |
| 1200 - 1230 | Subodh Sharma | Analysis of Release-Acquire Concurrency with Partial Order Domain |
| 1230 - 1300 | Akash Lal | Learning-based Controlled Concurrency Testing |
| Day 2 | Session 4 | Game Theory (Chair: Ashutosh Gupta) |
| 1300 - 1330 | Shibashis Guha | Mean-payoff adversarial Stackelberg games |
Sunday, 11 July 2021 | ||
| Time | Speaker | Title |
| Day 3 | Session 1 | Synthesis III (Chair: Supratik Chakraborty) |
| 0900 - 0930 | Missula Meghana | Automated inference of production rules for glycans |
| 0930 - 1000 | Akshatha Shenoy | Property Directed Self Composition |
| Day 3 | Session 2 | Program Analysis (Chair: Sreejith A V) |
| 1030 - 1100 | K V Raghavan | Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains |
| 1100 - 1130 | Soumyadip Bandyopadhyay | Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs |
| Day 3 | Session 3 | Machine Learning (Chair: R Venkatesh) |
| 1200 - 1230 | Rahul Sharma | Machine Learning with 2KB RAM |
| 1230 - 1300 | Nishant Sinha | The Shape of U — Befriending Tensors |
| 1300 - 1310 | R Venkatesh | Closing remarks |