Article-Journal

Dynamic Race Detection with O(1) Samples
Happens before-based dynamic analysis is the go-to technique for detecting data races in large-scale software projects due to the …
Minjian Zhang, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
Cite DOI Article Original POPL 2023 paper Publication page
Controller Synthesis for Linear System With Reach-Avoid Specifications
We address the problem of synthesizing provably correct controllers for linear systems with reach-avoid specifications. Discrete …
Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
PDF Cite DOI Publication page
Exact Quantitative Probabilistic Model Checking Through Rational Search
Model checking systems formalized using probabilistic models such as discrete time Markov chains (DTMCs) and Markov decision processes …
Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
PDF Cite DOI Publication page