The Power of Regular Constraint Propagation
Conference Talk, OOPSLA 2025, Marina Bay Sands Convention Centre, Singapore, Singapore
Talks
OSTRICH2: Solver for Complex String Constraints
Conference Talk, FMCAD 2025, SRI headquarters, Menlo Park, California, Menlo Park, USA
String Solving for Verification
Tutorial, POPL 2024, Institution of Engineering and Technology (IET), Savoy Place, London, UK
Invited Talk LAIV: Lab for AI Verification: Learning Union of Integer Hypercubes with Queries - (with Application to Monadic Decomposition)
Invited Talk, Heriot-Watt University, Online
Learning Union of Integer Hypercubes with Queries
Conference Talk, CAV 2021, Online
Invited Talk on learning reactive synthesis (MPI Seminar series)
Invited Talk, MPI-SWS Kaiserslautern, Online
Parameterized Synthesis with Safety Properties
Conference Talk, APLAS 2020, Online
Learning-Based Synthesis of Safety Controllers
Conference Talk, FMCAD 2019, Hyatt Place San Jose Downtown, San Jose, California, San Jose, USA