Publications

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

• 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

• 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, to appear

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
  

• 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