Umang Mathur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Anvil: A General-Purpose Timing-Safe Hardware Description Language. | Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena |
| 2025 | ASPLOS | Selectively Uniform Concurrency Testing. | Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury |
| 2024 | ASPLOS | Greybox Fuzzing for Concurrency Testing. | Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury |
| 2024 | CAV | Predictive Monitoring with Strong Trace Prefixes. | Zhendong Ang, Umang Mathur |
| 2024 | CPP | Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. | Qiyuan Zhao, George Prlea, Zhendong Ang, Umang Mathur, Ilya Sergey |
| 2024 | ICSE | Optimistic Prediction of Synchronization-Reversal Data Races. | Zheng Shi, Umang Mathur, Andreas Pavlogiannis |
| 2022 | ASPLOS | A tree clock data structure for causal orderings in concurrent executions. | Umang Mathur, Andreas Pavlogiannis, Hnkar Can Tun, Mahesh Viswanathan |
| 2021 | CONCUR | Dynamic Data-Race Detection Through the Fine-Grained Lens. | Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis |
| 2021 | ICSE | Scalable Statistical Root Cause Analysis on App Telemetry. | Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra |
| 2020 | ASPLOS | Atomicity Checking in Linear Time using Vector Clocks. | Umang Mathur, Mahesh Viswanathan |
| 2020 | CAV | Decidable Synthesis of Programs with Uninterpreted Functions. | Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan |
| 2020 | CHI | Increasing Video Accessibility for Visually Impaired Users with Human-in-the-Loop Machine Learning. | Beste F. Yuksel, Soo Jung Kim, Seung Jung Jin, Joshua Junhee Lee, Pooyan Fazli, Umang Mathur, Vaishali Bisht, Ilmi Yoon, Yue-Ting Siu, Joshua A. Miele |
| 2020 | LICS | The Complexity of Dynamic Data Race Prediction. | Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan |
| 2020 | TACAS | What's Decidable About Program Verification Modulo Axioms? | Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
| 2018 | CAV | Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. | Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan |
| 2018 | CSL | A Decidable Fragment of Second Order Logic With Applications to Synthesis. | P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
| 2017 | CAV | Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. | Adri Gascn, Ashish Tiwari, Brent Carmer, Umang Mathur |
| 2017 | FMCAD | Exact quantitative probabilistic model checking through rational search. | Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | PLDI | Dynamic race prediction in linear time. | Dileep Kini, Umang Mathur, Mahesh Viswanathan |