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.
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!
Talk at Carnegie Mellon University titled Randomization for Concurrency Testing, by Umang.