Research Directions on 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.

Research Directions on Umang Mathur

Concurrency Testing and Verification

Selected Research Support

Safe, Reliable and Secure Hardware

Research Support

Program Translation

Research Support

Related Discussion

Logic, Decidability and Complexity