We are a research group in the Programming Languages & Software Engineering lab at the National University of Singapore.
Theoretical foundations of computer systems, with a current focus on:
We currently run a reading group on the Lean theorem prover, which is held once every week on Wednesday 1-2pm. You may contact Richard if you are interested to join.
Umang Mathur and Krishna S. (IIT Bombay) are organizing Frontiers in Verification and Analysis for Concurrency, an ACM India IndiCS seminar at the Infosys Mysore campus, 30 November–4 December 2026. The seminar will bring researchers together for talks, open-problem sessions, and discussions on testing, analysis, and verification of concurrent systems. Seminar website.
Our work on automated C-to-Rust translation—including ACToR, Reboot, and program skeletons—is cited in Ben Livshits’s blog post Automating C to Safe Rust Translation.
Instrumentation Optimization for Practical Dynamic Race Detection accepted to appear at ATC 2026.
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.
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!