Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Umang Mathur
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
ICFP/SPLASH 2025 profile
PLDI 2024 profile
Not registered as user
Name:
Umang Mathur
Country:
Singapore
Affiliation:
National University of Singapore, Singapore
Contributions
2025
ATVA
Author of Regular Theories and How to Decide Them within the NIER-track
APLAS
Author of Regular Theories and How to Decide Them within the ATVA and APLAS NIER-track
SPLASH
Author of View Types in Rust within the Posters-track
Share
x
Wed 22 Oct 20:34