| Name | Affliation | Title |
|
| Sorav Bansal | IIT Delhi / CompilerAI | The Compiler as a Database of Code Transformations |
| Abhishek Bichhawat | IIT Gandhinagar | Are you messaging securely? |
| Mayank Deora | ISI Kolkata | Neural Network Repair using Formal Methods |
| Deepak DSouza | IISc | Static Race Detection for Periodic Real-Time programs |
| Sudakshina Dutta | IIT Goa | Semantic Program Alignment for Equivalence Checking |
| Ashutosh Gupta | IIT Bombay | What does the heart want? |
| Atanu Kundu | IACS, Kolkata | SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems |
| Kumar Madhukar | IIT Delhi | An Abstraction-Based Framework for Neural Network Verification |
| Soumodev Mal | CMI | On the Satisfiability of Context-free String Constraints with Subword Ordering |
| Ravindra Metta | TCS Research | Bounded Model Checking +Fuzzing: Effective and Efficient Test generation |
| Dhruv Nevatia | CMI | Register Systems through the Lens of Logic |
| Tephilla Prince | IIT Dharwad | Two Dimensional Bounded Model Checking: A Novel Verification Strategy |
| Rupashree Rangaiyengar | IISc, Bangalore | Program Analysis for Akka Programs |
| Stanly Samuel | IISc, Bangalore | GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces |
| Mir Md Sajid Sarwar | IACS, Kolkata | A Contrastive Plan Explanation Framework for Hybrid System Models |
| Shikha Singh | IIT Madras | Agents on Planet Kripke: Real or Deceptive |
| Divyesh Unadkat | TCS Research, IIT Bombay | Dance of the Dragons: Induction, Difference Computation and SMT Solving |