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

Personal website:https://www.comp.nus.edu.sg/~umathur/

Twitter:https://twitter.com/mathur_umang

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