Umang Mathur
About Me
I am incoming Assistant Professor in the School of Computing at the National University of Singapore.
I am broadly interested in Formal Methods and Logic and their applications to Programming Languages, Software Engineering and Cyber-Physical Systems.
My current research primarily focuses on:
developing dynamic analysis techniques for detecting bugs in concurrent programs [1, 2, 3, 4, 5, 6, 7, 8], and,
exploring the world of uninterpreted programs for verification [9, 10, 11] and synthesis [12].
Publications
TAC 2022 | Controller Synthesis for Linear Systems With Reach-Avoid Specifications Chuchu Fan, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan |
CONCUR 2021 | Dynamic Data-Race Detection through the Fine-Grained Lens Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis |
ESEC/FSE 2021 | Checking LTL[F,G,X] on Compressed Traces in Polynomial Time Minjian Zhang, Umang Mathur, Mahesh Viswanathan |
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 |
FMSD 2020 | Exact Quantitative Probabilistic Model Checking Through Rational Search Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
LICS 2020 | The Complexity of Data Race Prediction Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan |
CAV 2020 | Decidable Synthesis of Programs with Uninterpreted Functions Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan |
TACAS 2020 | What's Decidable About Program Verification Modulo Axioms? Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
ASPLOS 2020 | Atomicity Checking in Linear Time using Vector Clocks Umang Mathur, Mahesh Viswanathan |
POPL 2020 | Deciding Memory Safety for Single-Pass Heap-Manipulating Programs Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan |
POPL 2019 | Decidable Verification of Uninterpreted Programs Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
ESEC/FSE 2018 | Data Race Detection on Compressed Traces Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018 ACM SIGSOFT Distinguished Paper Award |
OOPSLA 2018 | What Happens-After the First Race? Umang Mathur, Dileep Kini, Mahesh Viswanathan |
CSL 2018 | Decidable Fragment of Second Order Logic With Applications to Program Synthesis P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
CAV 2018 | Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan |
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 |
FSTTCS 2014 | Computing Information Flow Using Symbolic Model-Checking Rohit Chadha, Umang Mathur, Stefan Schwoon |
FORMATS 2014 | Weak Singular Hybrid Automata Ashutosh Trivedi, Umang Mathur, Krishna S. |
|
Unpublished Manuscripts
|