Ashutosh Gupta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
28
Active years
2008–2026
Best venue rank
A*
Where they publish
- A*CAV6 papers
- BATVA6 papers
- ATACAS6 papers
- CASRU4 papers
- A*POPL3 papers
- BVMCAI2 papers
- BFMCAD2 papers
- BFM1 paper
- BICIP1 paper
- A*ICLR1 paper
- A*KDD1 paper
- AWACV1 paper
- UnrankedCoRL1 paper
- BICPR1 paper
- CIGARSS1 paper
- A*AAAI1 paper
- A*ICRA1 paper
- AIROS1 paper
- MulticonferenceICASSP1 paper
- AMICCAI1 paper
- ARTSS1 paper
- BACNS1 paper
- AInterspeech1 paper
- CICPRAM1 paper
- BSAS1 paper
- BLPAR1 paper
- ASAT1 paper
- BAPLAS1 paper
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach. | Ajinkya Naik, Chaitanya Garg, S. Akshay, Ashutosh Gupta, Kuldeep S. Meel |
| 2026 | FM | Formal Reasoning About Confidence and Automated Verification of Neural Networks. | Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta |
| 2025 | ICIP | Deep Unsupervised Despeckling With Unbiased Risk Estimation. | Ashutosh Gupta, Chandra Sekhar Seelamantula, Thierry Blu, Nitant Dube, Shanmuganathan Raman |
| 2025 | ICLR | Sensitivity Verification for Additive Decision Tree Ensembles. | Arhaan Ahmad, Tanay Vineet Tayal, Ashutosh Gupta, S. Akshay |
| 2025 | KDD | Monitoring Robustness and Individual Fairness. | Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape |
| 2025 | WACV | F2former: When Fractional Fourier Meets Deep Wiener Deconvolution and Selective Frequency Transformer for Image Deblurring. | Subhajit Paul, Sahil Kumawat, Ashutosh Gupta, Deepak Mishra |
| 2024 | ATVA | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. | Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe |
| 2024 | CoRL | Learning Decentralized Multi-Biped Control for Payload Transport. | Bikram Pandit, Ashutosh Gupta, Mohitvishnu S. Gadde, Addison Johnson, Aayam Kumar Shrestha, Helei Duan, Jeremy Dao, Alan Fern |
| 2024 | ICPR | A Sinkhorn Regularized Adversarial Network for Image Guided DEM Super-resolution Using Frequency Selective Hybrid Graph Transformer. | Subhajit Paul, Ashutosh Gupta |
| 2024 | IGARSS | A Framework for Realistic Paired Dataset Generation for Deep Learning Based Restoration of Satellite Images. | Ashutosh Gupta, Subhajit Paul, Arghya Bhattacharya, Prachi Jain |
| 2023 | AAAI | Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2023 | ATVA | Using Counterexamples to Improve Robustness Verification in Neural Networks. | Mohammad Afzal, Ashutosh Gupta, S. Akshay |
| 2023 | ICRA | A Curvature and Trajectory Optimization-based 3D Surface Reconstruction Pipeline for Ultrasound Trajectory Generation. | Ananya Bal, Ashutosh Gupta, Abhimanyu, John M. Galeotti, Howie Choset |
| 2023 | IROS | Towards Automated Void Detection for Search and Rescue with 3D Perception. | Ananya Bal, Ashutosh Gupta, Pranav Goyal, David F. Merrick, Robin R. Murphy, Howie Choset |
| 2023 | TACAS | Optimal Stateless Model Checking for Causal Consistency. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe |
| 2021 | ASRU | Two-Pass End-to-End ASR Model Compression. | Nauman Dawalatabad, Tushar Vatsal, Ashutosh Gupta, Sungsoo Kim, Shatrughan Singh, Dhananjaya Gowda, Chanwoo Kim |
| 2021 | ASRU | HiTNet: Byte-to-BPE Hierarchical Transcription Network for End-to-End Speech Recognition. | Dhananjaya Gowda, Abhinav Garg, Jiyeon Kim, Mehul Kumar, Sachin Singh, Ashutosh Gupta, Ankur Kumar, Nauman Dawalatabad, Aman Maghan, Shatrughan Singh, Chanwoo Kim |
| 2021 | ASRU | Voice to Action: Spoken Language Understanding for Memory-Constrained Systems. | Ashutosh Gupta, Aditya Jayasimha, Aman Maghan, Shatrughan Singh, Dhananjaya Gowda, Chanwoo Kim |
| 2021 | ASRU | Comparative Study of Different Tokenization Strategies for Streaming End-to-End ASR. | Sachin Singh, Ashutosh Gupta, Aman Maghan, Dhananjaya Gowda, Shatrughan Singh, Chanwoo Kim |
| 2021 | CAV | Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2021 | ICASSP | Neural Utterance Confidence Measure for RNN-Transducers and Two Pass Models. | Ashutosh Gupta, Ankur Kumar, Dhananjaya Gowda, Kwangyoun Kim, Sachin Singh, Shatrughan Singh, Chanwoo Kim |
| 2021 | MICCAI | Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions During Clinical Evaluation of Medical Images. | Bhavani Sambaturu, Ashutosh Gupta, C. V. Jawahar, Chetan Arora |
| 2021 | RTSS | Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2020 | ACNS | Tokenization of Real Estate Using Blockchain Technology. | Ashutosh Gupta, Jash Rathod, Dhiren Patel, Jay Bothra, Sanket Shanbhag, Tanmay Bhalerao |
| 2020 | ATVA | Robust Controller Synthesis for Duration Calculus. | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
| 2020 | Interspeech | Hierarchical Multi-Stage Word-to-Grapheme Named Entity Corrector for Automatic Speech Recognition. | Abhinav Garg, Ashutosh Gupta, Dhananjaya Gowda, Shatrughan Singh, Chanwoo Kim |
| 2020 | TACAS | 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 |
| 2020 | TACAS | Verifying Array Manipulating Programs with Full-Program Induction. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2018 | ICPRAM | High Performance Layout Analysis of Medieval European Document Images. | Syed Saqib Bukhari, Ashutosh Gupta, Anil Kumar Tiwari, Andreas Dengel |
| 2017 | SAS | Verifying Array Manipulating Programs by Tiling. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2017 | VMCAI | Matching Multiplications in Bit-Vector Formulas. | Supratik Chakraborty, Ashutosh Gupta, Rahul Jain |
| 2016 | VMCAI | Abstraction-driven Concolic Testing. | Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger |
| 2015 | POPL | Succinct Representation of Concurrent Trace Sets. | Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2015 | TACAS | Model Checking Gene Regulatory Networks. | Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixo, Tatjana Petrov |
| 2014 | ATVA | Extensional Crisis and Proving Identity. | Ashutosh Gupta, Laura Kovcs, Bernhard Kragl, Andrei Voronkov |
| 2013 | CAV | Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. | Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger |
| 2013 | FMCAD | Synthesizing multiple boolean functions using interpolation on a single proof. | Georg Hofferek, Ashutosh Gupta, Bettina Knighofer, Jie-Hong Roland Jiang, Roderick Bloem |
| 2013 | LPAR | Tree Interpolation in Vampire. | Rgis Blanc, Ashutosh Gupta, Laura Kovcs, Bernhard Kragl |
| 2012 | ATVA | Improved Single Pass Algorithms for Resolution Proof Reduction. | Ashutosh Gupta |
| 2012 | CAV | Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin |
| 2012 | SAT | Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). | Ashutosh Gupta |
| 2012 | TACAS | HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | APLAS | Solving Recursion-Free Horn Clauses over LI+UIF. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | CAV | Threader: A Constraint-Based Verifier for Multi-threaded Programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | POPL | Predicate abstraction and refinement for verifying multi-threaded programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2010 | ATVA | Non-monotonic Refinement of Control Abstraction for Concurrent Programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2009 | CAV | InvGen: An Efficient Invariant Generator. | Ashutosh Gupta, Andrey Rybalchenko |
| 2009 | FMCAD | Finding heap-bounds for hardware synthesis. | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jir Simsa, Satnam Singh, Viktor Vafeiadis |
| 2009 | TACAS | From Tests to Proofs. | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko |
| 2008 | POPL | Proving non-termination. | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |