Umang Mathur

Image not available

About Me

I am an Assistant Professor in the School of Computing at the National University of Singapore, and part of PLSE@NUS. I obtained my PhD from the University of Illinois at Urbana-Champaign, where I was fortunate to be advised by the amazing Prof. Mahesh Viswanathan. Prior to joining NUS, I was a Research Scientist at Facebook Inc. and a Research Fellow at the Simons Institute for the Theory of Computing. My PhD was supported, in part, by a Google PhD Fellowship.

I am broadly interested in Formal Methods and Logic and their applications to Programming Languages and Software Engineering. My current research primarily focuses on

Open Positions

I have several openings for Postdoc researchers, PhD students and masters students as well as undergraduate students interested in pursuing research. Please reach out to me if you are interested in working with me on topics in Formal Methods, Programming Languages and Software Engineering.


PhD Students

Zhendong Ang

Masters Students

Zheng Shi

Undergraduate Students

Ho Wei Haw


Program Committee

ICSE 2024, POPL 2023, PLDI 2023, APLAS 2022

Organizing Committee

SIGPLAN Long Term Mentorship Program 2020 onwards

Brief Announcements Program Committee

PPoPP 2020

Artifact Evaluation Committee

OOPSLA 2020, PLDI 2020, CAV 2020, POPL 2020, HSCC 2017


CS6217 Topics in Prog. Languages & Software Engineering

Semester I, 2022-23

CS4269/CS5469 Foundations of Logic in Computer Science

Semester II, 2021-22


ASPLOS 2022 A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Best Paper Award, ASPLOS 2022
TAC 2022 Controller Synthesis for Linear Systems With Reach-Avoid Specifications
Chuchu Fan, Zengyi Chen, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
CONCUR 2021 Dynamic Data-Race Detection through the Fine-Grained Lens
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
ESEC/FSE 2021 Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Minjian Zhang, Umang Mathur, Mahesh Viswanathan
ICSE (SEIP) 2021 Scalable Statistical Root Cause Analysis on App Telemetry
Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
POPL 2021 Optimal Prediction of Synchronization-Preserving Races
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
FMSD 2020 Exact Quantitative Probabilistic Model Checking Through Rational Search
Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
LICS 2020 The Complexity of Data Race Prediction
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
CAV 2020 Decidable Synthesis of Programs with Uninterpreted Functions
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
TACAS 2020 What's Decidable About Program Verification Modulo Axioms?
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
ASPLOS 2020 Atomicity Checking in Linear Time using Vector Clocks
Umang Mathur, Mahesh Viswanathan
POPL 2020 Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
POPL 2019 Decidable Verification of Uninterpreted Programs
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
ESEC/FSE 2018 Data Race Detection on Compressed Traces
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018 ACM SIGSOFT Distinguished Paper Award
OOPSLA 2018 What Happens-After the First Race?
Umang Mathur, Dileep Kini, Mahesh Viswanathan
CSL 2018 Decidable Fragment of Second Order Logic With Applications to Program Synthesis
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
CAV 2018 Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
FMCAD 2017 Exact Quantitative Probabilistic Model Checking Through Rational Search
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Invited to appear in Formal Methods in System Design (FMSD)
CAV 2017 Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
Adria Gascon, Ashish Tiwari, Brent Carmer, Umang Mathur
PLDI 2017 Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, Mahesh Viswanathan
FSTTCS 2014 Computing Information Flow Using Symbolic Model-Checking
Rohit Chadha, Umang Mathur, Stefan Schwoon
FORMATS 2014 Weak Singular Hybrid Automata
Ashutosh Trivedi, Umang Mathur, Krishna S.