Ashutosh Gupta
I am a doctoral student in Chair for Foundations of Software Reliability at TU Munich. I received a Masters degree in Computer science from EPFL, Switzerland in 2007 and a B.Tech degree in Electrical Engineering from IIT Kanpur in 2004.
I have been at EPFL and MPI-SWS during my PhD. Now, I am at TUM.
Supervisor: Andrey Rybalchenko
CV:[PDF]
Contact
Email: (last name)a@model.in.tum.de
Phone(Office): +49 89 289 17228
Fax: +49 89 289 17207
Office: 03.11.042
Mail: Institut fur Informatik(I7),
Technische Universittat Munchen,
Boltzmannstr. 3, 85748 Munchen, Germany
Research interests
Software Verification: Invariant generation using constraint solving
Verification Tools
Publications
-
B. Cook, A. Gupta, S. Magill, A. Rybalchenko, J. Simsa, S. Singh, and V. Vafeiadis.
Finding heap-bounds for hardware synthesis,
FMCAD 2009 [PDF].
-
Ashutosh Gupta and Andrey Rybalchenko.
InvGen: An Efficient Invariant Generator,
CAV 2009 [PDF].
-
Ashutosh Gupta, Rupak Majumdar, and Andrey Rybalchenko.
From Tests to Proofs,
TACAS 2009(best paper award) [PDF].
- Ashutosh Gupta, Tom Henzinger, Rupak Majumdar,
Andrey Rybalchenko, and Ru-Gang Xu.
Proving non-termination,
POPL 2008 [PDF].
Other Technical interests
- Astronomy, A prsentation on Indian Calendar System [PDF]
Personal
Suggested useful Tools
- PDFCrop: Getting rid of white margins in PDF
Last modified: Sat Dec 12 18:51:35 CET 2009