Umang Mathur

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 54

Top Topics

Hybrid Automata

Controller Synthesis

Predictive Power

Causal Inferences

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8 (POPL) (2024)
Zhendong Ang, Umang Mathur
Predictive Monitoring with Strong Trace Prefixes. CAV (2) (2024)
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Optimistic Prediction of Synchronization-Reversal Data Races. CoRR (2024)
Azadeh Farzan, Umang Mathur
Coarser Equivalences for Causal Concurrency. Proc. ACM Program. Lang. 8 (POPL) (2024)
Zhendong Ang, Umang Mathur
Predictive Monitoring against Pattern Regular Languages. Proc. ACM Program. Lang. 8 (POPL) (2024)
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Optimistic Prediction of Synchronization-Reversal Data Races. ICSE (2024)
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. CPP (2024)
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) (2024)
Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
A faster FPRAS for #NFA. Proc. ACM Manag. Data 2 (2) (2024)
Zhendong Ang, Umang Mathur
Predictive Monitoring with Strong Trace Prefixes. CoRR (2024)
Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
A faster FPRAS for #NFA. CoRR (2023)
Zhendong Ang, Umang Mathur
Predictive Monitoring against Pattern Regular Languages. CoRR (2023)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. CoRR (2023)
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. 7 (POPL) (2023)
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard is Weak-Memory Testing? CoRR (2023)
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Parosh Aziz Abdulla, Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR (2023)
Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67 (4) (2022)
Azadeh Farzan, Umang Mathur
Coarser Equivalences for Concurrent Program Runs. CoRR (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A tree clock data structure for causal orderings in concurrent executions. ASPLOS (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR (2022)
Umang Mathur, Andreas Pavlogiannis
Dynamic data race prediction: fundamentals, theory, and practice (tutorial). ESEC/SIGSOFT FSE (2022)
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
Dynamic Data-Race Detection Through the Fine-Grained Lens. CONCUR (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. 5 (POPL) (2021)
Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) (2021)
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
Dynamic Data-Race Detection through the Fine-Grained Lens. CoRR (2021)
Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. LICS (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. CoRR (2020)
Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. 56 (1) (2020)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Umang Mathur, Mahesh Viswanathan
Atomicity Checking in Linear Time using Vector Clocks. CoRR (2020)
Umang Mathur, Mahesh Viswanathan
Atomicity Checking in Linear Time using Vector Clocks. ASPLOS (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal Prediction of Synchronization-Preserving Races. CoRR (2020)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? TACAS (2) (2020)
Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
Scalable Statistical Root Cause Analysis on App Telemetry. CoRR (2020)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) (2020)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding Memory Safety for Forest Datastructures. CoRR (2019)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? CoRR (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL (2018)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable Verification of Uninterpreted Programs. CoRR (2018)
Umang Mathur, Dileep Kini, Mahesh Viswanathan
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Data Race Detection on Compressed Traces. CoRR (2018)
Umang Mathur, Dileep Kini, Mahesh Viswanathan
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. CoRR (2018)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Data race detection on compressed traces. ESEC/SIGSOFT FSE (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR (2017)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Dynamic race prediction in linear time. PLDI (2017)
Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) (2017)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Dynamic Race Prediction in Linear Time. CoRR (2017)
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. FMCAD (2017)
Rohit Chadha, Umang Mathur, Stefan Schwoon
Computing Information Flow Using Symbolic Model-Checking. FSTTCS (2014)
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
Weak Singular Hybrid Automata. FORMATS (2014)
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
Weak Singular Hybrid Automata. CoRR (2013)