Ashutosh Gupta

40 papers A* 8A 3B 6Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles.
CoRR
Namrita Varshney, Ashutosh Gupta, Arhaan Ahmad, Tanay Vineet Tayal, S. Akshay
2025 — conf
False Positives in Robustness Checking of Neural Networks.
OVERLAY
Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay
2025 J jnl
Glitches in Decision Tree Ensemble Models.
CoRR
Satyankar Chandra, Ashutosh Gupta, Kaushik Mallik, Krishna Shankaranarayanan, Namrita Varshney
2025 — conf
Monitoring Robustness and Individual Fairness.
KDD (2)
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 J jnl
Monitoring Robustness and Individual Fairness.
CoRR
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 A* conf
Sensitivity Verification for Additive Decision Tree Ensembles.
ICLR
Arhaan Ahmad, Tanay Vineet Tayal, Ashutosh Gupta, S. Akshay
2025 J jnl
Verifying rich robustness properties for neural networks.
CoRR
Mohammad Afzal, S. Akshay, Ashutosh Gupta
2023 — conf
Using Counterexamples to Improve Robustness Verification in Neural Networks.
ATVA (1)
Mohammad Afzal, Ashutosh Gupta, S. Akshay
2022 J jnl
Full-Program Induction: Verifying Array Programs sans Loop Invariants.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2022 J jnl
Full-program induction: verifying array programs sans loop invariants.
Int. J. Softw. Tools Technol. Transf.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2021 — conf
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.
CAV (2)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2021 J jnl
Diffy: Inductive Reasoning of Array Programs using Difference Invariants.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2020 — conf
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
TACAS (2)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2020 — conf
Verifying Array Manipulating Programs with Full-Program Induction.
TACAS (1)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2020 J jnl
Verifying Array Manipulating Programs with Full-Program Induction.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2017 B conf
Matching Multiplications in Bit-Vector Formulas.
VMCAI
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
2017 J jnl
Model checking the evolution of gene regulatory networks.
Acta Informatica
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2017 B conf
Verifying Array Manipulating Programs by Tiling.
SAS
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2017 J jnl
Verifying Array Manipulating Programs by Tiling.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2016 B conf
Abstraction-driven Concolic Testing.
VMCAI
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
2016 J jnl
Matching Multiplications in Bit-Vector Formulas.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
2015 J jnl
Abstraction-driven Concolic Testing.
CoRR
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
2015 J jnl
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology.
ACM Trans. Model. Comput. Simul.
Ashutosh Gupta, Thomas A. Henzinger
2015 A conf
Model Checking Gene Regulatory Networks.
TACAS
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2015 A* conf
Succinct Representation of Concurrent Trace Sets.
POPL
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
2014 — conf
Generalised Interpolation by Solving Recursion-Free Horn Clauses
HCVS
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2014 J jnl
Model Checking Gene Regulatory Networks.
CoRR
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2013 A* conf
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.
CAV
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger
2013 — ed.
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
CMSB
Ashutosh Gupta, Thomas A. Henzinger
2013 J jnl
From tests to proofs.
Int. J. Softw. Tools Technol. Transf.
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
2012 A* conf
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
CAV
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
2012 A conf
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).
TACAS
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
2011 A* conf
Predicate abstraction and refinement for verifying multi-threaded programs.
POPL
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011 B conf
Solving Recursion-Free Horn Clauses over LI+UIF.
APLAS
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011 A* conf
Threader: A Constraint-Based Verifier for Multi-threaded Programs.
CAV
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2010 B conf
Non-monotonic Refinement of Control Abstraction for Concurrent Programs.
ATVA
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2009 B conf
Finding heap-bounds for hardware synthesis.
FMCAD
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
2009 A conf
From Tests to Proofs.
TACAS
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
2009 A* conf
InvGen: An Efficient Invariant Generator.
CAV
Ashutosh Gupta, Andrey Rybalchenko
2008 A* conf
Proving non-termination.
POPL
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu