Monday, December 16, 2024 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1130 Session B1 (only FSTTCS Track B) |
| 1130 - 1145 Break |
| 1145 - 1300 Session B2 (only RHPL) (Chair: TBA) |
|
1145 - 1210
Timestamping through the Data structure Lens Umang Mathur (National University of Singapore) 1210 - 1235 Kondo: Efficient Provenance-Driven Data Debloating Komondoor V Raghavan (IISc, Bangalore) 1235 - 1300 Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps Jyoti Prakash (OpenText India) |
| 1300 - 1400 Lunch |
| 1400 - 1500 FSTTCS Invited Talk |
| 1500 - 1530 Break |
| 1530 - 1700 Session B3 (only FSTTCS Track B) |
Tuesday, December 17, 2024 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1130 Session B4 (only FSTTCS Track B) |
| 1130 - 1220 Break + Poster Session (in parallel to FSTTCS Track B) |
| 1220 - 1300 Session B5 (in parallel to FSTTCS Track B) (Chair: TBA) |
|
1220 - 1245
Subtyping in concurrent computation Silvia Ghilezan (Mathematical Institute SANU, Univ. of Novi Sad) 1245 - 1300 Verification of lossy Elementary Object Systems: theory and practice Soumodev Mal (Chennai Mathematical Institute) |
| 1300 - 1400 Lunch |
| 1400 - 1500 FSTTCS Invited Talk |
| 1500 - 1530 Break |
| 1530 - 1705 Session B6 (only RHPL) (Chair: TBA) |
|
1530 - 1555
Safety Analysis of AI-enabled Cyber-Physical Systems: A Formal Approach Pavithra Prabhakar (Kansas State University) 1555 - 1610 Learning DNN Abstractions Using Gradient Descent Diganta Mukhopadhyay (TCS Research) 1610 - 1635 Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers Habeeb P (IISc, Banagalore) 1635 - 1650 Counter abstraction for regular open teams Alphy George (NIT Calicut) 1650 - 1705 Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation Mir Md Sajid Sarwar (IACS, Kolkata) |
| 1730 - 1830 IARCS Business Meeting |
| 1900 - Conference Banquet |
Wednesday, December 18, 2024 |
| 0900 - 1000 FSTTCS Invited Talk |
| 1000 - 1030 Break |
| 1030 - 1130 Session B7 (only RHPL) (Chair: TBA) |
|
1030 - 1045
Logical Synchrony + Functional Processes => Observable Determinacy Sanjiva Prasad (IIT Delhi) 1045 - 1100 Deterministic Suffix-reading Automata Keerthan R (TCS Research) 1100 - 1115 Logical Model of Cellular Automata Kamalika Bhattacharjee (NIT, Tiruchirappalli) 1115 - 1130 Learning real-time one-counter automata using polynomially many queries Prince Mathew (IIT Goa) |
| 1130 - 1145 Break |
| 1145 - 1300 Session B8 (in parallel to FSTTCS Track B) (Chair: TBA) |
|
1145 - 1210
Example-guided Synthesis of Relational Queries Aalok Thakkar (Ashoka University) 1210 - 1235 Synthesizing Abstract Transformers: Automating Abstract Interpretation Pankaj Kumar Kalita (IIT Kanpur) 1235 - 1300 Synthesis for securing hardware designs using logic locking Gourav Takhar (IIT Kanpur) |
| 1300 - 1400 Lunch |
| 1400 - 1500 FSTTCS Invited Talk |
| 1500 - 1530 Break |
| 1530 - 1705 Session B9 (only RHPL) (Chair: TBA) |
|
1530 - 1555
Partial Redundancy Elimination in Two Iterative Data Flow Analyses Vineeth Paleri (Chanakya University, Bangalore) 1555 - 1610 RAVEN: Reentrancy Analysis for Vulnerability EliminatioN Divya Rathore (IIT Madras) 1610 - 1625 On formal verification of unbounded client server systems Tephilla Prince (IIT Dharwad) 1625 - 1650 Decidability of State Reachability under Localized Release-Acquire Concurrency Abhishek Kr Singh (National University of Singapore) 1650 - 1705 Run-time Analysis of Temporal Constrained Objects Jinesh M K (Amrita Vishwa Vidyapeetham) |