Ashutosh Gupta

According to our database, Ashutosh Gupta authored at least 25 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Using Counterexamples to Improve Robustness Verification in Neural Networks.

Mohammad Afzal, Ashutosh Gupta, S. Akshay

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Full-program induction: verifying array programs sans loop invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Int. J. Softw. Tools Technol. Transf., 2022

2021

Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Verifying Array Manipulating Programs with Full-Program Induction.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2017

Model checking the evolution of gene regulatory networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Acta Informatica, 2017

Matching Multiplications in Bit-Vector Formulas.

Supratik Chakraborty, Ashutosh Gupta, Rahul Jain

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Abstraction-driven Concolic Testing.

Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology.

Ashutosh Gupta, Thomas A. Henzinger

ACM Trans. Model. Comput. Simul., 2015

Model Checking Gene Regulatory Networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Succinct Representation of Concurrent Trace Sets.

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Generalised Interpolation by Solving Recursion-Free Horn Clauses

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

2013

From tests to proofs.

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko

Int. J. Softw. Tools Technol. Transf., 2013

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.

Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Constraint solving for verification.

Ashutosh Kumar Gupta

PhD thesis, 2011

Predicate abstraction and refinement for verifying multi-threaded programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Threader: A Constraint-Based Verifier for Multi-threaded Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Solving Recursion-Free Horn Clauses over LI+UIF.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Finding heap-bounds for hardware synthesis.

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

InvGen: An Efficient Invariant Generator.

Ashutosh Gupta, Andrey Rybalchenko

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Proving non-termination.

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008