Weak Singular Hybrid Automata. - Shankara Narayanan Krishna; Umang Mathur 001; Ashutosh Trivedi 001 (FORMATS, 2014)

Computing Information Flow Using Symbolic Model-Checking. - Rohit Chadha; Umang Mathur 001; Stefan Schwoon (FSTTCS, 2014)

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. - Adrià Gascón; Ashish Tiwari 001; Brent Carmer; Umang Mathur 001 (CAV (2), 2017)

Dynamic race prediction in linear time. - Dileep Kini; Umang Mathur 001; Mahesh Viswanathan 001 (PLDI, 2017)

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. - Chuchu Fan; Umang Mathur 001; Sayan Mitra; Mahesh Viswanathan 001 (CAV (1), 2018)

A Decidable Fragment of Second Order Logic With Applications to Synthesis. - P. Madhusudan; Umang Mathur 001; Shambwaditya Saha; Mahesh Viswanathan 001 (CSL, 2018)

Data race detection on compressed traces. - Dileep Kini; Umang Mathur 001; Mahesh Viswanathan 001 (ESEC/SIGSOFT FSE, 2018)

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. - Umang Mathur 001; Dileep Kini; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2018)

Deciding Memory Safety for Forest Datastructures. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (CoRR, 2019)

Decidable verification of uninterpreted programs. - Umang Mathur 001; P. Madhusudan; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2019)

Atomicity Checking in Linear Time using Vector Clocks. - Umang Mathur 001; Mahesh Viswanathan 001 (ASPLOS, 2020)

Decidable Synthesis of Programs with Uninterpreted Functions. - Paul Krogmeier; Umang Mathur 001; Adithya Murali; P. Madhusudan; Mahesh Viswanathan 001 (CAV (2), 2020)

The Complexity of Dynamic Data Race Prediction. - Umang Mathur 001; Andreas Pavlogiannis; Mahesh Viswanathan 001 (LICS, 2020)

What's Decidable About Program Verification Modulo Axioms? - Umang Mathur 001; P. Madhusudan; Mahesh Viswanathan 001 (TACAS (2), 2020)

Exact quantitative probabilistic model checking through rational search. - Umang Mathur 001; Matthew S. Bauer; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (Formal Methods Syst. Des., 2020)

Deciding memory safety for single-pass heap-manipulating programs. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2020)

Dynamic Data-Race Detection Through the Fine-Grained Lens. - Rucha Kulkarni; Umang Mathur 001; Andreas Pavlogiannis (CONCUR, 2021)

Scalable Statistical Root Cause Analysis on App Telemetry. - Vijayaraghavan Murali; Edward Yao; Umang Mathur 001; Satish Chandra 001 (ICSE (SEIP), 2021)

Checking LTL[F, G, X] on compressed traces in polynomial time. - Minjian Zhang 002; Umang Mathur 001; Mahesh Viswanathan 001 (ESEC/SIGSOFT FSE, 2021)

Optimal prediction of synchronization-preserving races. - Umang Mathur 001; Andreas Pavlogiannis; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2021)

A tree clock data structure for causal orderings in concurrent executions. - Umang Mathur 001; Andreas Pavlogiannis; Hünkar Can Tunç; Mahesh Viswanathan 001 (ASPLOS, 2022)

Dynamic data race prediction: fundamentals, theory, and practice (tutorial). - Umang Mathur 001; Andreas Pavlogiannis (ESEC/SIGSOFT FSE, 2022)

Coarser Equivalences for Concurrent Program Runs. - Azadeh Farzan; Umang Mathur 001 (CoRR, 2022)

Controller Synthesis for Linear System With Reach-Avoid Specifications. - Chuchu Fan; Zengyi Qin; Umang Mathur 001; Qiang Ning; Sayan Mitra; Mahesh Viswanathan 001 (IEEE Trans. Autom. Control., 2022)

Sound Dynamic Deadlock Prediction in Linear Time. - Hünkar Can Tunç; Umang Mathur 001; Andreas Pavlogiannis; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2023)

Dynamic Race Detection with O(1) Samples. - Mosaad Al Thokair; Minjian Zhang 002; Umang Mathur 001; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

Sound Dynamic Deadlock Prediction in Linear Time. - Hünkar Can Tunç; Umang Mathur 001; Andreas Pavlogiannis; Mahesh Viswanathan 001 (Zenodo, 2023)

Greybox Fuzzing for Concurrency Testing. - Dylan Wolff; Zheng Shi; Gregory J. Duck; Umang Mathur 001; Abhik Roychoudhury (ASPLOS (2), 2024)

Predictive Monitoring with Strong Trace Prefixes. - Zhendong Ang; Umang Mathur 001 (CAV (2), 2024)

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. - Qiyuan Zhao; George Pîrlea; Zhendong Ang; Umang Mathur 001; Ilya Sergey (CPP, 2024)

Optimistic Prediction of Synchronization-Reversal Data Races. - Zheng Shi; Umang Mathur 001; Andreas Pavlogiannis (ICSE, 2024)

Efficient Linearizability Monitoring for Sets, Stacks, Queues and Priority Queues. - Lee Zheng Han; Umang Mathur 001 (CoRR, 2024)

A faster FPRAS for #NFA. - Kuldeep S. Meel; Sourav Chakraborty 001; Umang Mathur 001 (Proc. ACM Manag. Data, 2024)

Predictive Monitoring against Pattern Regular Languages. - Zhendong Ang; Umang Mathur 001 (Proc. ACM Program. Lang., 2024)

How Hard Is Weak-Memory Testing? - Soham Chakraborty 001; Shankara Narayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2024)

Coarser Equivalences for Causal Concurrency. - Azadeh Farzan; Umang Mathur 001 (Proc. ACM Program. Lang., 2024)

Selectively Uniform Concurrency Testing. - Huan Zhao; Dylan Wolff; Umang Mathur 001; Abhik Roychoudhury (ASPLOS (1), 2025)

The Decision Problem for Regular First Order Theories. - Umang Mathur 001; David Mestel; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)

Program Skeletons for Automated Program Translation. - Bo Wang 146; Tianyu Li; Ruishi Li; Umang Mathur 001; Prateek Saxena (Proc. ACM Program. Lang., 2025)

Efficient Timestamping for Sampling-Based Race Detection. - Minjian Zhang 002; Daniel Wee Soong Lim; Mosaad Al Thokair; Umang Mathur 001; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)

Anvil: A General-Purpose Timing-Safe Hardware Description Language. - Jason Zhijingcheng Yu; Aditya Ranjan Jha; Umang Mathur 001; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)

Enhanced Data Race Prediction Through Modular Reasoning. - Zhendong Ang; Azadeh Farzan; Umang Mathur 001 (CoRR, 2025)

Testing Message-Passing Concurrency. - Zheng Shi; Lasse Møldrup; Umang Mathur 001; Andreas Pavlogiannis (CoRR, 2025)