conf.researchr.org / 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/
X (Twitter): https://x.com/mathur_umang
Research interests:Concurrency, Formal Methods, Programming Languages, Software Engineering, Logic, Decidability
Contributions
2025
SPLASH
PLDI
- Session Chair of Automata Theory (part of PLDI Research Papers)
- Author of Efficient Timestamping for Sampling-Based Race Detection within the PLDI Research Papers-track
- Author of Program Skeletons for Automated Program Translation within the PLDI Research Papers-track
- PLMW Co-Chair in Organizing Committee
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track