2026

PLDI 2026
State Space Estimation for DPOR-based Model Checkers
A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
Concurrency Testing and Verification
PLDI 2026
Fixed Parameter Tractable Linearizability Monitoring
Zheng Han Lee, Umang Mathur
Concurrency Testing and Verification
ASPLOS 2026
Anvil: A General-Purpose Timing-Safe Hardware Description Language
Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena
Safe, Reliable and Secure Hardware
POPL 2026
The Complexity of Testing Message-Passing Concurrency
Zheng Shi, Lasse MØldrup, Umang Mathur, Andreas Pavlogiannis
Concurrency Testing and Verification
POPL 2026
Counting and Sampling Traces in Regular Languages
Alexis de Colnet Ⓡ Kuldeep S. Meel Ⓡ Umang Mathur
Logic, Decidability and Complexity

2025

OOPSLA 2025
Efficient Decrease-And-Conquer Linearizability Monitoring
Zheng Han Lee, Umang Mathur
Concurrency Testing and Verification
PLDI 2025
Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
Program Translation
PLDI 2025
Efficient Timestamping for Sampling-based Race Detection
Minjian Zhang, Daniel Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
Concurrency Testing and Verification
ASPLOS 2025
Selectively Uniform Concurrency Testing
Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
Concurrency Testing and Verification
POPL 2025
The Decision Problem for Regular First-Order Theories
Umang Mathur, David Mestel, Mahesh Viswanathan
Logic, Decidability and Complexity

2024

CAV 2024
Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
Concurrency Testing and Verification
POPL 2024
Predictive Monitoring against Pattern Regular Languages
Zhendong Ang, Umang Mathur
Concurrency Testing and Verification
POPL 2024
How Hard is Weak-Memory Testing?
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Concurrency Testing and Verification
POPL 2024
Coarser Equivalences for Causal Concurrency
Azadeh Farzan, Umang Mathur
Concurrency Testing and Verification
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
Concurrency Testing and Verification
2024 CPP Distinguished Paper Award
ICSE 2024
Optimistic Prediction of Synchronization-Reversal Data Races
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Concurrency Testing and Verification
ASPLOS 2024
Greybox Fuzzing for Concurrency Testing
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
Concurrency Testing and Verification
PODS 2024
A Faster FPRAS for #NFA
Kuldeep S. Meel Ⓡ Sourav Chakraborty Ⓡ Umang Mathur
Logic, Decidability and Complexity

2023

PLDI 2023
Sound Dynamic Deadlock Prediction in Linear Time
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Concurrency Testing and Verification
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
Concurrency Testing and Verification
POPL 2023 🏅 ⭐
Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Concurrency Testing and Verification
ACM SIGPLAN Distinguished Paper Award SIGPLAN Research Highlights Invited to appear in CACM Research Highlights

2022

TAC 2022
Controller Synthesis for Linear Systems With Reach-Avoid Specifications
Chuchu Fan, Zengyi Chen, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
ASPLOS 2022 🏅
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Concurrency Testing and Verification
ASPLOS 2022 Best Paper Award

2021

CONCUR 2021
Dynamic Data-Race Detection through the Fine-Grained Lens
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
Concurrency Testing and Verification
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
Concurrency Testing and Verification
ESEC/FSE 2021
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Logic, Decidability and Complexity

2020

CAV 2020
Decidable Synthesis of Programs with Uninterpreted Functions
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Logic, Decidability and Complexity
TACAS 2020
What's Decidable About Program Verification Modulo Axioms?
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Logic, Decidability and Complexity
LICS 2020
The Complexity of Data Race Prediction
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Concurrency Testing and Verification
FMSD 2020
Exact Quantitative Probabilistic Model Checking Through Rational Search
Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
POPL 2020
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Logic, Decidability and Complexity
ASPLOS 2020
Atomicity Checking in Linear Time using Vector Clocks
Umang Mathur, Mahesh Viswanathan
Concurrency Testing and Verification

2019

POPL 2019
Decidable Verification of Uninterpreted Programs
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Logic, Decidability and Complexity

2018

ESEC/FSE 2018 🏅
Data Race Detection on Compressed Traces
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Concurrency Testing and Verification
2018 ACM SIGSOFT Distinguished Paper Award
CAV 2018
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
OOPSLA 2018
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang Mathur, Dileep Kini, Mahesh Viswanathan
Concurrency Testing and Verification
CSL 2018
Decidable Fragment of Second Order Logic With Applications to Program Synthesis
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
Logic, Decidability and Complexity

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
Concurrency Testing and Verification

2014

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