Publications

Google Scholar Profile

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

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