Ashutosh Gupta

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 16

Top Topics

Inductive Reasoning

Intermediate Level

Symbolic Execution

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Mohammad Afzal, Ashutosh Gupta, S. Akshay
Using Counterexamples to Improve Robustness Verification in Neural Networks. ATVA (1) (2023)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Full-Program Induction: Verifying Array Programs sans Loop Invariants. CoRR (2022)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Full-program induction: verifying array programs sans loop invariants. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Diffy: Inductive Reasoning of Array Programs using Difference Invariants. CoRR (2021)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. CAV (2) (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs with Full-Program Induction. TACAS (1) (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs with Full-Program Induction. CoRR (2020)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs by Tiling. SAS (2017)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Verifying Array Manipulating Programs by Tiling. CoRR (2017)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8) (2017)
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
Abstraction-driven Concolic Testing. VMCAI (2016)
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
Succinct Representation of Concurrent Trace Sets. POPL (2015)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. TACAS (2015)
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
Abstraction-driven Concolic Testing. CoRR (2015)
Ashutosh Gupta, Thomas A. Henzinger
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Generalised Interpolation by Solving Recursion-Free Horn Clauses HCVS (2014)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. CoRR (2014)
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
From tests to proofs. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV (2013)
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS (2012)
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV (2012)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV (2011)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Predicate abstraction and refinement for verifying multi-threaded programs. POPL (2011)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Solving Recursion-Free Horn Clauses over LI+UIF. APLAS (2011)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA (2010)
Ashutosh Gupta, Andrey Rybalchenko
InvGen: An Efficient Invariant Generator. CAV (2009)
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
Finding heap-bounds for hardware synthesis. FMCAD (2009)
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
From Tests to Proofs. TACAS (2009)
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu
Proving non-termination. POPL (2008)