We are a research group in the Programming Languages & Software Engineering lab at the National University of Singapore.
We study the foundations of computer systems and turn them into languages, algorithms, and tools for building systems we can trust.
Algorithms and tools for testing and verifying concurrent software, with a focus on race detection, predictive analysis, fuzzing, and weak memory.
Explore this directionLanguages, type systems, and verification techniques for building safe and secure hardware, including Anvil and its guarantees against timing hazards.
Explore this directionMigrating software across languages while preserving behavior across an entire codebase.
Explore this directionUnderstanding which reasoning problems admit algorithms, and what makes them tractable.
Explore this directionNUS Computing features Umang’s 2026 Robert Brown Promising Researcher Award, recognising his research on software verification.
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.