The videos of the workshop are available on YouTube: Day 1 Day 2 Day 3
| Monday, December 18, 2023 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1125 Session I, Day 1 (Chair: Kartik Nagar) |
|
1030 - 1055
Towards Efficient Controller Synthesis Techniques for Logical LTL Games Stanly Samuel (Indian Institute of Science, Bangalore) 1055 - 1110 SAT-Reach: A Bounded Model-Checker for Affine Hybrid Systems Rajarshi Ray (Indian Association for the Cultivation of Science) 1110 - 1125 Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications Inzemamul Haque (IIT Kanpur) |
| 1125 - 1145 Break |
| 1145 - 1250 Session II, Day 1 (Chair: Abhisekh Sankaran) |
|
1145 - 1210
Sampling for Dynamic Race Detection Umang Mathur (National University of Singapore) 1210 - 1225 Optimal Stateless Model Checking based on View-equivalence Sanjana Singh (IIT Delhi) 1225 - 1250 UWOmp pro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules Aditya Agrawal (MIPS and IIT Madras) |
| 1250 - 1400 Lunch |
| 1400 - 1500 FSTTCS Invited Talk |
| 1500 - 1530 Break |
| 1530 - 1645 Session III, Day 1 (Chair: Umang Mathur) |
|
1530 - 1555
Inference of Resource Management Specifications Pritam Gharat (Microsoft Research, India) 1555 - 1620 An Operational Approach to Library Abstraction under Relaxed Memory Concurrency Abhishek Kr Singh (Tel Aviv University) 1620 - 1645 Interval Image Abstraction for Verification of Camera-Based Autonomous Systems Habeeb P (Indian Institute of Science, Bangalore) |
| Tuesday, December 19, 2023 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1125 Session I, Day 2 (Chair: Saurabh Joshi) |
|
1030 - 1055
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction Bharti Chimdyalwar (TCS Research) 1055 - 1110 Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency Reshma Roy (National Institute of Technology, Calicut, Kerala) 1110 - 1125 Data-Driven Learning of Strong Conjunctive Invariants Deepak D'Souza (Indian Institute of Science, Bangalore) |
| 1125 - 1145 Break |
| 1145 - 1240 Session II, Day 2 (Chair: Deepak D'Souza) |
|
1145 - 1210
Non-termination Ravindra Metta (TCS Research) 1210 - 1225 Industrial Application of Equivalence checking of programs Soumyadip Bandyopadhyay (ABB Corporate Research Center) 1225 - 1240 Secure Information Flow Connections Sanjiva Prasad (IIT Delhi) |
| 1250 - 1400 Lunch |
| 1400 - 1500 FSTTCS Invited Talk |
| 1500 - 1530 Break |
| 1530 - 1645 Session III, Day 2 (Chair: Sanjiva Prasad) |
|
1530 - 1555
Reusing Just-in-Time Compiled Code Meetesh Kalpesh Mehta (IIT Bombay) 1555 - 1620 Incremental Analysis for Evolving Software Systems Anushri Jana (TCS Research) 1620 - 1645 Testing and Analysis of Web Applications using Page Models Komondoor V. Raghavan (Indian Institute of Science, Bangalore) |
| 1700 - 1800 IARCS Business Meeting |
| Wednesday, December 20, 2023 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1125 Session I, Day 3 (Chair: Venkatesh Choppella) |
|
1030 - 1055
On the computational expressivity of (circular) proofs with fixed points Anupam Das (University of Birmingham) 1055 - 1110 Dynamic Bidirected Dyck Reachability Omkar Tuppe (IIT Bombay) 1110 - 1125 Dependency-based Rely-Guarantee Analysis of Weak Memory Programs Divyanjali (IIT Delhi) |
| 1125 - 1145 Break |
| 1145 - 1250 Session II, Day 3 (Chair: K. V. Raghavan) |
|
1145 - 1210
Overcoming Memory Weakness with Unified Fairness Mihir Vahanwala (Max Planck Institute for Software Systems) 1210 - 1225 Security-Preserving Verified Compilation of a Synchronous Reactive Dataflow Language R. Madhukar Yerraguntla (IIT Delhi, NXP Semiconductors) 1225 - 1250 Towards a verified Garbage Collector for OCaml Sheera Shamsu (IIT Madras) |
| 1250 - 1400 Lunch |
| 1400 - 1455 Session III, Day 3 (Chair: Abhishek Singh) |
|
1400 - 1425
Towards scalable fully automatic program verification Hari Govind V K (University of Waterloo) 1425 - 1440 Towards better guard conditions in corecursive programs Abhishek De (University of Birmingham) 1440 - 1455 Program Verification using Small Models Abhisekh Sankaran (TCS Research, Pune) |
| 1455 - 1530 Break |
| 1530 - 1630 Session IV, Day 3 (Chair: Pritam Gharat) |
|
1530 - 1555
Full-Program Induction: A Paradigm Shift in Array Program Verification Divyesh Unadkat (Synopsys) 1555 - 1620 Maximal Specification Synthesis via Constrained Horn Clause Solving Sumanth Prabhu S (TCS Research) |