Umang Mathur
Umang Mathur
Assistant Professor
School of Computing
National University of Singapore
email: umathur@comp.nus.edu.sg
CV
| DBLP
| Google Scholar
About Me
I am an Assistant Professor in the School of Computing at the National University of Singapore, and part of PLSE@NUS. I obtained my PhD from the University of Illinois at Urbana-Champaign, where I was fortunate to be advised by the amazing Prof. Mahesh Viswanathan. Prior to joining NUS, I was a Research Scientist at Facebook Inc. and a Research Fellow at the Simons Institute for the Theory of Computing. My PhD was supported, in part, by a Google PhD Fellowship.
I am broadly interested in Formal Methods and Logic and their applications to Programming Languages and Software Engineering. My current research primarily focuses on
developing dynamic analysis techniques for detecting bugs in concurrent programs [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] , and,
understanding the decidability horizon in the context of verification [13, 14, 15], synthesis [16] and more generally formal logic [17].
I have several openings for Postdoc researchers, PhD students and masters students as well as undergraduate students interested in pursuing research. Please reach out to me if you are interested in working with me on topics in Formal Methods, Programming Languages and Software Engineering.
Students
- PhD Students
- Undergraduate Students
Ho Wei Haw
Illio Suardi
Jed Koh Jin Keat
Service
- Program Committee
ICSE 2024, POPL 2023, PLDI 2023 (SRC), APLAS 2022, PPoPP 2020 (Brief Announcements Program Committee)
- Organizing Committee
SIGPLAN Long Term Mentorship Program 2020-2022
- Artifact Evaluation Committee
Teaching
- CS4269/CS5469 Foundations of Logic in Computer Science
Semester II, 2021-22
Semester II, 2022-23- CS6217 Topics in Prog. Languages & Software Engineering
Semester I, 2022-23
Publications
| PLDI 2023 | Optimal Reads-From Consistency Checking for C11-Style Memory Models Parosh A. Abdulla, Soham Chakraborty, S. Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç |
| PLDI 2023 | Sound Dynamic Deadlock Prediction in Linear Time Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan |
| POPL 2023 | Dynamic Race Detection With O(1) Samples Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan 2023 ACM SIGPLAN Distinguished Paper Award |
| ASPLOS 2022 | A Tree Clock Data Structure for Causal Orderings in Concurrent Executions Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan Best Paper Award, ASPLOS 2022 |
| TAC 2022 | Controller Synthesis for Linear Systems With Reach-Avoid Specifications Chuchu Fan, Zengyi Chen, 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. |