Formal Methods Update Meeting 2022: List of Speakers


Sorav BansalIIT Delhi / CompilerAIThe Compiler as a Database of Code Transformations
Abhishek BichhawatIIT GandhinagarAre you messaging securely?
Mayank DeoraISI KolkataNeural Network Repair using Formal Methods
Deepak DSouzaIIScStatic Race Detection for Periodic Real-Time programs
Sudakshina DuttaIIT GoaSemantic Program Alignment for Equivalence Checking
Ashutosh GuptaIIT BombayWhat does the heart want?
Atanu KunduIACS, KolkataSAT-Reach: A Bounded Model Checker for Affine Hybrid Systems
Kumar MadhukarIIT DelhiAn Abstraction-Based Framework for Neural Network Verification
Soumodev MalCMIOn the Satisfiability of Context-free String Constraints with Subword Ordering
Ravindra MettaTCS ResearchBounded Model Checking +Fuzzing: Effective and Efficient Test generation
Dhruv NevatiaCMIRegister Systems through the Lens of Logic
Tephilla PrinceIIT DharwadTwo Dimensional Bounded Model Checking: A Novel Verification Strategy
Rupashree RangaiyengarIISc, BangaloreProgram Analysis for Akka Programs
Stanly SamuelIISc, BangaloreGenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Mir Md Sajid SarwarIACS, KolkataA Contrastive Plan Explanation Framework for Hybrid System Models
Shikha SinghIIT MadrasAgents on Planet Kripke: Real or Deceptive
Divyesh UnadkatTCS Research, IIT BombayDance of the Dragons: Induction, Difference Computation and SMT Solving