Umang Mathur

Concurrency Testing and Verification

Mon, 01 Jan 0001 00:00:00 +0000

This project area includes our work on concurrency testing and verification. This includes our work on runtime predictive analysis such as prediction of data races, deadlocks, atomicity violations and other classes of properties, as well as linearizability monitoring, model checking, and related verification questions for concurrent systems.

Selected Research Support

Foundations for Testing and Verifying Concurrency in Go — Ministry of Education, Singapore, Tier 2 Grant (2026; Principal Investigator).
Efficient Distributed Monitoring Techniques for Concurrency Errors — Merlion Programme, France–Singapore (2025; Principal Investigator).
Fuzz Testing — National Research Foundation, Singapore (2023; Co-Principal Investigator).
Blazing Fast Dynamic Data Race Detection — Google South & Southeast Asia Research Award (2022; Principal Investigator).

Safe, Reliable and Secure Hardware

Mon, 01 Jan 0001 00:00:00 +0000

This project area includes my work on hardware description languages, timing-safe hardware, secure hardware design, and related verification and synthesis questions. See Anvil playground.

Research Support

Advancing the Foundations and Ecosystem for Safe and Secure Hardware Design — Temasek-Presidential Young Professorship, Ministry of Defence, Singapore (2026; Principal Investigator).

Starting in June 2026, this project builds on Anvil, our hardware description language for preventing timing hazards. We are developing type systems, compilation techniques, and tools for checking timing, communication, and security properties while remaining compatible with existing hardware design workflows. See the NUS announcement for more about the project.

Program Translation

Mon, 01 Jan 0001 00:00:00 +0000

This project area includes our work on automated translation of software across programming languages. Also see related page on KISP lab’s website.

Research Support

Memory Safety Through Abstracted Program Translation — Ministry of Education, Singapore, Tier 2 Grant (2026; Co-Principal Investigator).

Ben Livshits discusses our work on program skeletons, interpreter translation, and adversarial-agent collaboration in Automating C to Safe Rust Translation (September 2026).

Logic, Decidability and Complexity

Mon, 01 Jan 0001 00:00:00 +0000

This project area includes our work on decidability, complexity, automata, regular theories, synthesis, and foundational questions in logic and verification.

Instrumentation Optimization for Practical Dynamic Race Detection

Sat, 19 Sep 2026 00:00:00 +0000

Dynamic Race Detection with O(1) Samples

Tue, 01 Sep 2026 00:00:00 +0000

This Research Highlights article presents work originally published at POPL 2023.

Fixed Parameter Tractable Linearizability Monitoring

Sat, 04 Apr 2026 00:00:00 +0000

State Space Estimation for DPOR-based Model Checkers

Sat, 04 Apr 2026 00:00:00 +0000

Anvil: A General-Purpose Timing-Safe Hardware Description Language

Sun, 22 Mar 2026 00:00:00 +0000

Counting and Sampling Traces in Regular Languages

Thu, 08 Jan 2026 00:00:00 +0000

The Complexity of Testing Message-Passing Concurrency

Thu, 08 Jan 2026 00:00:00 +0000

Efficient Decrease-And-Conquer Linearizability Monitoring