Ashutosh Gupta

According to our database, Ashutosh Gupta authored at least 42 papers between 2008 and 2026.

Collaborative distances:

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

2026

Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach.

S. Akshay, Chaitanya Garg, Ashutosh Gupta, Kuldeep S. Meel, Ajinkya Naik

CoRR, May, 2026

Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles.

Namrita Varshney, Ashutosh Gupta, Arhaan Ahmad, Tanay Vineet Tayal, S. Akshay

CoRR, February, 2026

Formal Reasoning About Confidence and Automated Verification of Neural Networks.

Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Verifying rich robustness properties for neural networks.

Mohammad Afzal, S. Akshay, Ashutosh Gupta

CoRR, November, 2025

Glitches in Decision Tree Ensemble Models.

Satyankar Chandra, Ashutosh Gupta, Kaushik Mallik, Krishna Shankaranarayanan, Namrita Varshney

CoRR, July, 2025

False Positives in Robustness Checking of Neural Networks.

Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

Monitoring Robustness and Individual Fairness.

Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape

Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, V.2, 2025

Sensitivity Verification for Additive Decision Tree Ensembles.

Arhaan Ahmad, Tanay Vineet Tayal, Ashutosh Gupta, S. Akshay

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Integrating Explanations in Learning LTL Specifications from Demonstrations.

Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney

CoRR, 2024

Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.

Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Optimal Stateless Model Checking for Causal Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

LTL-Based Non-Markovian Inverse Reinforcement Learning.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

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

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

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

Optimal SMC for Transactional Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe

CoRR, 2022

2021

Quantitative Learning of LTL from Finite Traces.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna

CoRR, 2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 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

Robust Controller Synthesis for Duration Calculus.

Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna

Proceedings of the Automated Technology for Verification and Analysis, 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

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

From Tests to Proofs.

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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