Scholar
Umang Mathur
Google Scholar ID: 6rB8UjgAAAAJ
Presidential Young Professor at National University of Singapore
Citations & Impact
Citations
581
H-index
14
i10-index
23
Publications
20
Co-authors
44
list available
Publications
Resume (English only)
Academic Achievements
- Published in top-tier venues such as POPL and ASPLOS, including:
- - 'The Complexity of Testing Message-Passing Concurrency' (POPL 2026)
- - 'Counting and Sampling Traces in Regular Languages' (POPL 2026)
- - 'Anvil: A General-Purpose Timing-Safe Hardware Description Language' (ASPLOS 2026)
- Served on program committees for PLDI, POPL, CAV, OOPSLA, TACAS, ESOP, etc. (2020–2025).
- Senior Chair of PLMW@PLDI 2025, Junior Chair in 2024; Organizer of VMW@CAV 2024.
- Participated in SIGPLAN Long Term Mentorship Program (2020–2022).
- Served on Artifact Evaluation Committees for POPL, PLDI, CAV, OOPSLA, etc. (2020).
