Umang Mathur
Umang Mathur
Presidential Young Professor
School of Computing
National University of Singapore
email: umathur@comp.nus.edu.sg
CV
| DBLP
| Google Scholar
About Me
I am a Presidential Young Professor (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
Zhendong Ang
Zheng Shi
Tianyu Li
Huan Zhao- Research Asssistants
Grace Tan
- Undergraduate Students
Jed Koh Jin Keat
Dasco Gabriel
Richard Willie
Zheng Han Lee
David Zhu
Hongyi Huang- Alumni
Ho Wei Haw (BComp, 2023)
Zheng Shi (MComp, 2023)
Illio Suardi (BComp, 2023)
Service
- Program Committee
ESOP 2025
CONCUR 2024, CAV 2024, ICSE 2024
POPL 2023, PLDI 2023 (SRC)
APLAS 2022
PPoPP 2020 (Brief Announcements Program Committee)- Organizing Committee
PLMW@PLDI Junior Chair 2024
SIGPLAN Long Term Mentorship Program 2020-2022- Artifact Evaluation Committee
Teaching
- CS2040 Data Structures and Algorithms
Semester I, 2023-24
- 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
2024
| CAV 2024 | Predictive Monitoring with Strong Trace Prefixes Zhendong Ang, Umang Mathur |
| PODS 2024 | A Faster FPRAS for #NFA Kuldeep S. Meel r Sourav Chakraborty r Umang Mathur |
| CPP 2024 | Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey 2024 CPP Distinguished Paper Award |
| ASPLOS 2024 | Greybox Fuzzing for Concurrency Testing Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury |
| ICSE 2024 | Optimistic Prediction of Synchronization-Reversal Data Races Zheng Shi, Umang Mathur, Andreas Pavlogiannis |
| POPL 2024 | Coarser Equivalences for Causal Concurrency Azadeh Farzan, Umang Mathur |
| POPL 2024 | How Hard is Weak-Memory Testing? Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis |
| POPL 2024 | Predictive Monitoring against Pattern Regular Languages Zhendong Ang, Umang Mathur |
2023
| PLDI 2023 | Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis |
| PLDI 2023 | Sound Dynamic Deadlock Prediction in Linear Time Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, 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 |
2022
| 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 |
2021
| 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 |
2020
| 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 |
2019
| POPL 2019 | Decidable Verification of Uninterpreted Programs Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
2018
| 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 |
2017
| 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 |
2014
| FSTTCS 2014 | Computing Information Flow Using Symbolic Model-Checking Rohit Chadha, Umang Mathur, Stefan Schwoon |
| FORMATS 2014 | Weak Singular Hybrid Automata Shankaranarayanan Krishna, Ashutosh Trivedi, Umang Mathur, |