Umang Mathur

According to our database, Umang Mathur authored at least 33 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Coarser Equivalences for Causal Concurrency.

Azadeh Farzan, Umang Mathur

Proc. ACM Program. Lang., January, 2024

How Hard Is Weak-Memory Testing?

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., January, 2024

Predictive Monitoring against Pattern Regular Languages.

Zhendong Ang, Umang Mathur

Proc. ACM Program. Lang., January, 2024

Optimistic Prediction of Synchronization-Reversal Data Races.

Zheng Shi, Umang Mathur, Andreas Pavlogiannis

CoRR, 2024

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.

Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Dynamic Race Detection with O(1) Samples.

Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Proc. ACM Program. Lang., January, 2023

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2023

Sound Dynamic Deadlock Prediction in Linear Time.

Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

Proc. ACM Program. Lang., 2023

A faster FPRAS for #NFA.

Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur

CoRR, 2023

2022

Controller Synthesis for Linear System With Reach-Avoid Specifications.

Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan

IEEE Trans. Autom. Control., 2022

Coarser Equivalences for Concurrent Program Runs.

Azadeh Farzan, Umang Mathur

CoRR, 2022

Dynamic data race prediction: fundamentals, theory, and practice (tutorial).

Umang Mathur, Andreas Pavlogiannis

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

A tree clock data structure for causal orderings in concurrent executions.

Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Optimal prediction of synchronization-preserving races.

Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

Proc. ACM Program. Lang., 2021

Checking LTL[F, G, X] on compressed traces in polynomial time.

Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Scalable Statistical Root Cause Analysis on App Telemetry.

Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Dynamic Data-Race Detection Through the Fine-Grained Lens.

Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Deciding memory safety for single-pass heap-manipulating programs.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

Proc. ACM Program. Lang., 2020

Exact quantitative probabilistic model checking through rational search.

Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Formal Methods Syst. Des., 2020

What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Complexity of Dynamic Data Race Prediction.

Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Decidable Synthesis of Programs with Uninterpreted Functions.

Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Atomicity Checking in Linear Time using Vector Clocks.

Umang Mathur, Mahesh Viswanathan

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Decidable verification of uninterpreted programs.

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Proc. ACM Program. Lang., 2019

Deciding Memory Safety for Forest Datastructures.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

CoRR, 2019

2018

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection.

Umang Mathur, Dileep Kini, Mahesh Viswanathan

Proc. ACM Program. Lang., 2018

Data race detection on compressed traces.

Dileep Kini, Umang Mathur, Mahesh Viswanathan

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A Decidable Fragment of Second Order Logic With Applications to Synthesis.

P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.

Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Dynamic race prediction in linear time.

Dileep Kini, Umang Mathur, Mahesh Viswanathan

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2014

Computing Information Flow Using Symbolic Model-Checking.

Rohit Chadha, Umang Mathur, Stefan Schwoon

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Weak Singular Hybrid Automata.

Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014