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 |