Umang Mathur

Image not available



Umang Mathur
Presidential Young Professor
School of Computing
National University of Singapore

email: umathur@comp.nus.edu.sg
CV | DBLP | Google Scholar

FOCS Lab | PLSE@NUS

About Me

I am a Presidential Young Professor (Assistant Professor) in the School of Computing at the National University of Singapore, where I lead the FOCS Lab. I am also affiliated to 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, Software Engineering and Computer Systems. 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 and Programming Languages, Software Engineering and their intersection with Logic and Automata Theory.

Students

Research Fellow

Alexey Paznikov

PhD Students

Zhendong Ang
Zheng Shi
Tianyu Li
Huan Zhao
Grace Tan
Zihan Zhou

Research Asssistants

Richard Willie

Undergraduate Students

Bryan Lim
Arsyad Kamili
Jed Koh Jin Keat
Ramanathan Kumarappan
David Zhu

Alumni

Daniel Lim (Research Assistant, 2024-25)
Hongyi Huang (BComp, 2024)
Dasco Gabriel (BComp, 2023)
Zheng Han Lee (BComp, 2023)
Richard Willie (BComp, 2023)
Ho Wei Haw (BComp, 2023)
Zheng Shi (MComp, 2023)
Illio Suardi (BComp, 2023)

Interns

Thomas Cheeramvelil, IIT Bombay (2024)
Anish Kulkarni, IIT Bombay (2024)
Pratik Sahoo, IIT Bombay (2024)
Arhaan Ahmad, IIT Bombay (2023)
Arnav Singh, IIT Bombay (2023)
Aryan Soltani, University of Tehran (2023)
Abhinav Barnawal, IIT Delhi (2022)

Service

Program Committee

PLDI 2025, OOPSLA 2025, ATVA 2025, RV 2025, SETTA 2025, APLAS 2025, TACAS 2025, ESOP 2025
VSTTE 2024, CONCUR 2024, CAV 2024, ICSE 2024
POPL 2023, PLDI 2023 (SRC)
APLAS 2022
PPoPP 2020 (Brief Announcements Program Committee)

Organizing Committee

PLMW@PLDI Senior Chair 2025
PLMW@PLDI Junior Chair 2024
VMW@CAV 2024
SIGPLAN Long Term Mentorship Program 2020-2022

Artifact Evaluation Committee

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

Teaching

CS2040 Data Structures and Algorithms

Semester I, 2023-24

CS4269/CS5469 Foundations of Logic in Computer Science

Semester II, 2021-22
Semester II, 2022-23
Semester II, 2023-24
Semester I, 2024-25

CS6217 Topics in Prog. Languages & Software Engineering

Semester I, 2022-23 (Theme: Automata and Decidability)
Semester I, 2024-25 (Theme: PL for ML and ML for PL)

Publications

2025

PLDI 2025 Program Skeletons for Automated Program Translationn
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
PLDI 2025 Efficient Timestamping for Sampling-based Race Detection
Minjian Zhang, Daniel Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
ASPLOS 2025 Selectively Uniform Concurrency Testing
Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
POPL 2025 The Decision Problem for Regular First-Order Theories
Umang Mathur, David Mestel, Mahesh Viswanathan

2024

CAV 2024 Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
PODS 2024 A Faster FPRAS for #NFA
Kuldeep S. Meel r Sourav Chakraborty r Umang Mathur
CPP 2024 Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
2024 CPP Distinguished Paper Award
ASPLOS 2024 Greybox Fuzzing for Concurrency Testing
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
ICSE 2024 Optimistic Prediction of Synchronization-Reversal Data Races
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
POPL 2024 Coarser Equivalences for Causal Concurrency
Azadeh Farzan, Umang Mathur
POPL 2024 How Hard is Weak-Memory Testing?
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
POPL 2024 Predictive Monitoring against Pattern Regular Languages
Zhendong Ang, Umang Mathur

2023

PLDI 2023 Optimal Reads-From Consistency Checking for C11-Style Memory Models
Hünkar Can Tunç, Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
PLDI 2023 Sound Dynamic Deadlock Prediction in Linear Time
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
POPL 2023 Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2023 ACM SIGPLAN Distinguished Paper Award

2022

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

2021

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

2020

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

2019

POPL 2019 Decidable Verification of Uninterpreted Programs
Umang Mathur, P. Madhusudan, Mahesh Viswanathan

2018

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

2017

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

2014

FSTTCS 2014 Computing Information Flow Using Symbolic Model-Checking
Rohit Chadha, Umang Mathur, Stefan Schwoon
FORMATS 2014 Weak Singular Hybrid Automata
Shankaranarayanan Krishna, Ashutosh Trivedi, Umang Mathur,