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

  • 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

  • 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