Ankit Jayant joins us as a Research Assistant. Welcome, Ankit!
Dynamic Race Detection with O(1) Samples accepted to appear in Communications of the ACM Research Highlights.
Awarded a Ministry of Education Tier 2 grant for “Foundations for Testing and Verifying Concurrency in Go”. Research support.
Umang receives the Robert Brown Promising Researcher Award from Singapore’s Ministry of Education.
Welcome to Aniket Mishra from IIT Gandhinagar, who joins us as a research intern!
Invited talk at PLMW @ PLDI 2026 titled Automata Theory: The Gift That Keeps Giving, by Umang.
Awarded the Temasek-Presidential Young Professorship grant to advance safe and secure hardware design.
Congratulations to Hua Jun Teow on receiving the Outstanding Computing Project Prize for AY2025/26!
Talk at Carnegie Mellon University titled Randomization for Concurrency Testing, by Umang.
2 papers by FOCS lab accepted to appear at PLDI 2026: