Ashutosh K Gupta Ashutosh Gupta

I am a post-doctoral researcher in Henzinger group at IST Austria.

I received my Ph.D. in computer science from TUM in 2011. My Ph.D. adviser was Andrey Rybalchenko. During my PhD, I was affiliated with TUM, MPI-SWS, and EPFL at different times.
See also my complete CV.

Contact

Email: (initial of first name)(last name) (at) ist (dot) ac (dot) at
Phone(Office): +43 2243 9000 3512
Fax: +43 2243 9000 2000
office: 01.02.070
Mail: IST Austria, Am campus 1, 3400 Klosterneuburg, Austria

Research interests

Formal verification of sequential and concurrent software, constraint logic programming, invariant generation, constraint solving, decision procedures, and automated theorem proving

Verification Tools

Publications

  1. A. Gupta Improved Single Pass Algorithms for Resolution Proof Reduction, [SAT'12 poster].
  2. C. Guet, A. Gupta, T. Henzinger, M. Mateescu, A. Sezgin. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits, CAV 2012 [PDF].
  3. S. Grebenshchikov, A. Gupta, N. Lopes, C. Popeea, and A. Rybalchenko. HSF(C): A Software Verifier based on Horn Clauses, TACAS 2012(SV-COMP) .
  4. A. Gupta, C. Popeea, and A. Rybalchenko. Solving Recursion-Free Horn Clauses over LI+UIF, APLAS 2011 [PDF].
  5. A. Gupta, C. Popeea, and A. Rybalchenko. Threader: A Constraint-based Verifier for Multi-Threaded Programs, CAV 2011 [PDF].
  6. A. Gupta, C. Popeea, and A. Rybalchenko. Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs, POPL 2011[PDF].
  7. A. Gupta, C. Popeea, and A. Rybalchenko. Non-monotonic Refinement of Control Abstraction for Concurrent Programs, ATVA 2010 [PDF].
  8. B. Cook, A. Gupta, S. Magill, A. Rybalchenko, J. Simsa, S. Singh, and V. Vafeiadis. Finding heap-bounds for hardware synthesis, FMCAD 2009 [PDF].
  9. A. Gupta and A. Rybalchenko. InvGen: An Efficient Invariant Generator, CAV 2009 [PDF].
  10. A. Gupta, R. Majumdar, and A. Rybalchenko. From Tests to Proofs, TACAS 2009(best paper award) [PDF].
  11. A. Gupta, T. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu. Proving non-termination, POPL 2008 [PDF].

Other Technical interests

Personal

Last modified: Mon Apr 30 23:43:15 CEST 2012