Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path accepted to appear at APLAS 2026.
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:
Mixed Flow-Sensitive Static Analysis: Engineering Modularity accepted to appear at FM 2026.
Tutorial at PPoPP 2026 in Sydney titled Dynamic Data Race Prediction: Fundamentals, Theory and Practice, by Umang and Andreas Pavlogiannis.
Prateek Saxena (PI) and Umang Mathur (co-PI) have been awarded a Ministry of Education Tier 2 grant for “Memory Safety Through Abstracted Program Translation”. The project investigates automatic translation from C to Rust to improve memory safety. Research support.