Umang Mathur

Registered user since Sun 19 Mar 2017

Name:Umang Mathur
Bio:

Formal Methods and Logic and their applications to Programming Languages and Software Engineering. I like to explore and re-investigate the foundations of traditional solutions for intractable problems arising in testing, verification and synthesis of software systems. The current focus of my research is on developing techniques for detecting concurrency bugs, and on developing techniques for decidable program verification and synthesis.

Country:Singapore
Affiliation:National University of Singapore
Research interests:Formal Methods, Programming Languages, Software Engineering, Logic, Decidability

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
PLDI 2023 Author of Sound Dynamic Deadlock Prediction in Linear Time within the PLDI Research Papers-track
Author of Optimal Reads-From Consistency Checking for C11-Style Memory Models within the PLDI Research Papers-track
Committee Member in SRC Reviewers within the SRC-track
POPL 2023 Session Chair of Algorithmic Verification (part of POPL)
Speaker of Algorithmic Verification within the Session Previews-track
Author of Dynamic Race Detection with O(1) Samples within the POPL-track
Committee Member in Program Committee within the POPL-track
APLAS 2022 Committee Member in Program Committee
ESEC/FSE 2022 Author of Dynamic Data Race Prediction: Fundamentals, Theory, and Practice (Tutorial) within the Tutorials-track
Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the ESEC/FSE 2021-track
PLDI 2022 Session Chair of Concurrency (part of SIGPLAN Track)
Author of (POPL 2021) Optimal Prediction of Synchronization-Preserving Races within the SIGPLAN Track-track
Commute Author of Weakening Mazurkiewicz Traces within the Commute 2022-track
ESEC/FSE 2021 Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the Research Papers-track
ICSE 2021 Author of Scalable Statistical Root Cause Analysis on App Telemetry within the SEIP - Software Engineering in Practice-track
POPL 2021 Author of [T3] Dynamic Data-Race Prediction : Fundamentals, Theory and Practice within the TutorialFest-track
Author of Optimal Prediction of Synchronization-Preserving Races within the POPL-track
SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track
POPL 2019 Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track
ESEC/FSE 2018 Author of Data Race Detection on Compressed Traces within the Research Papers-track
SPLASH 2018 Author of What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection within the OOPSLA-track
PLDI 2017 Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track