Cristian Cadar – Testing and Analysis in the AI Era
Talk, 27th International Symposium on Formal Methods (FM 2026), Tokyo, Japan
Keynote at the 27th International Symposium on Formal Methods (FM 2026). View the presentation slides.
Talks and presentations
Abhik Roychoudhury – Agentic AI for Software
Talk, NUS Research Institute InnovFest Suzhou 2025, Suzhou, China
View the presentation slides and the talk.