Publications

Decidable Verification of Uninterpreted Programs
P. Madhusudan, Umang Mathur, Mahesh Viswanathan
Proceedings of the the 46th ACM SIGPLAN Symposium on Principles of Programming Languagesg POPL 2019, to appear

Data Race Detection on Compressed Traces
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Proceedings of the the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2018, to appear

What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang Mathur, Dileep Kini, Mahesh Viswanathan
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2018, to appear

Decidable Fragment of Second Order Logic With Applications to Program Synthesis
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
Proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018

Exact Quantitative Probabilistic Model Checking Through Rational Search
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
Adria Gascon, Ashish Tiwari, Brent Carmer, Umang Mathur
Proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017

Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Proceedings of 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017

Computing Information Flow Using Symbolic Model-Checking
Rohit Chadha, Umang Mathur, Stefan Schwoon
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014

Weak Singular Hybrid Automata
Ashutosh Trivedi, Umang Mathur, Krishna S.
Proceedings of 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014