Publications
Google Scholar Profile
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
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
|