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.
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:
Tutorial at PPoPP 2026 in Sydney titled Dynamic Data Race Prediction: Fundamentals, Theory and Practice, by Umang and Andreas Pavlogiannis.
Awarded funding through the Ministry of Education Tier 2 grant “Memory Safety Through Abstracted Program Translation”. Research support.