| 2026 | ACL | TEN: Table Explicitization, Neurosymbolically. | Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari |
| 2026 | SIGMOD | ConDABench: Interactive Evaluation of Language Models for Data Analysis. | Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari |
| 2025 | CVPR | RASP: Revisiting 3D Anamorphic Art for Shadow-Guided Packing of Irregular Objects. | Soumyaratna Debnath, Ashish Tiwari, Kaustubh Sadekar, Shanmuganathan Raman |
| 2025 | FMCAD | Program Synthesis: Pre-LLM and Post-LLM. | Ashish Tiwari |
| 2025 | ICLR | Execution-guided within-prompt search for programming-by-example. | Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani |
| 2025 | NAACL | TeCoFeS: Text Column Featurization using Semantic Analysis. | Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin |
| 2025 | WACV | LIPIDS: Learning-based Illumination Planning In Discretized (Light) Space for Photometric Stereo. | Ashish Tiwari, Mihirkumar Sutariya, Shanmuganathan Raman |
| 2024 | ECCV | MERLiN: Single-Shot Material Estimation and Relighting for Photometric Stereo. | Ashish Tiwari, Satoshi Ikehata, Shanmuganathan Raman |
| 2024 | ICRA | Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2024 | SIGCSE | Investigating Student Mistakes in Introductory Data Science Programming. | Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani |
| 2024 | SiggraphA | ScribGen: Generating Scribble Art Through Metaheuristics. | Soumyaratna Debnath, Ashish Tiwari, Shanmuganathan Raman |
| 2023 | ICRA | Multi-Agent Spatial Predictive Control with Application to Drone Flocking. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2023 | PG | Hand Shadow Art: A Differentiable Rendering Perspective. | Aalok Gangopadhyay, Prajwal Singh, Ashish Tiwari, Shanmuganathan Raman |
| 2023 | PG | TreeGCN-ED: A Tree-Structured Graph-Based Autoencoder Framework For Point Cloud Processing. | Prajwal Singh, Ashish Tiwari, Kaustubh Sadekar, Shanmuganathan Raman |
| 2023 | PG | SS-SfP: Neural Inverse Rendering for Self Supervised Shape from (Mixed) Polarization. | Ashish Tiwari, Shanmuganathan Raman |
| 2023 | SIGMOD | CoWrangler: Recommender System for Data-Wrangling Scripts. | Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari |
| 2022 | ECCV | DeepPS2: Revisiting Photometric Stereo Using Two Differently Illuminated Images. | Ashish Tiwari, Shanmuganathan Raman |
| 2022 | ICASSP | Exploring Deeper Graph Convolutions for Semi-Supervised Node Classification. | Ashish Tiwari, Richeek Das, Shanmuganathan Raman |
| 2022 | ICASSP | LERPS: Lighting Estimation and Relighting for Photometric Stereo. | Ashish Tiwari, Shanmuganathan Raman |
| 2022 | ICLR | Synchromesh: Reliable Code Generation from Pre-trained Language Models. | Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani |
| 2022 | ICPR | LS-HDIB: A Large Scale Handwritten Document Image Binarization Dataset. | Kaustubh Sadekar, Ashish Tiwari, Prajwal Singh, Shanmuganathan Raman |
| 2022 | ICPR | Deep Appearance Consistent Human Pose Transfer. | Ashish Tiwari, Zeeshan Khan, Aditya Vora, Manjuprakash Rama Rao, Shanmuganathan Raman |
| 2022 | ISoLA | Towards Drone Flocking Using Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | WACV | Shadow Art Revisited: A Differentiable Rendering Based Approach. | Kaustubh Sadekar, Ashish Tiwari, Shanmuganathan Raman |
| 2021 | SIGMOD | CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. | Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani |
| 2021 | SIGMOD | Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou |
| 2020 | FOSSACS | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2020 | SIGMOD | ExTuNe: Explaining Tuple Non-conformance. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani |
| 2019 | DSN | SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. | Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari |
| 2019 | SAC | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. | Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2018 | DSN | Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. | Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu |
| 2018 | SAC | Declarative vs rule-based control for flocking dynamics. | Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka |
| 2017 | AAAI | Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. | Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu |
| 2017 | ATVA | Attacking the V: On the Resiliency of Adaptive-Horizon MPC. | Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
| 2017 | CAV | Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. | Adri Gascn, Ashish Tiwari, Brent Carmer, Umang Mathur |
| 2017 | RV | TeLEx: Passive STL Learning Using Only Positive Examples. | Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
| 2017 | TACAS | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2016 | CONCUR | Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari |
| 2015 | ATVA | Severity Levels of Inconsistent Code. | Martin Schf, Ashish Tiwari |
| 2015 | CADE | Program Synthesis Using Dual Interpretation. | Ashish Tiwari, Adri Gascn, Bruno Dutertre |
| 2015 | CAV | Time-Aware Abstractions in HybridSal. | Ashish Tiwari |
| 2015 | CSL | Two-Restricted One Context Unification is in Polynomial Time. | Adri Gascn, Manfred Schmidt-Schau, Ashish Tiwari |
| 2015 | LICS | One Context Unification Problems Solvable in Polynomial Time. | Adri Gascn, Ashish Tiwari, Manfred Schmidt-Schau |
| 2015 | LPAR | Gamifying Program Analysis. | Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schf, Ashish Tiwari |
| 2014 | CAV | A Nonlinear Real Arithmetic Fragment. | Ashish Tiwari, Patrick Lincoln |
| 2014 | FMCAD | Template-based circuit understanding. | Adri Gascn, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik |
| 2014 | VMCAI | Synthesis for Polynomial Lasso Programs. | Jan Leike, Ashish Tiwari |
| 2013 | EMSOFT | Safety verification for linear systems. | Parasara Sridhar Duggirala, Ashish Tiwari |
| 2013 | EMSOFT | Time-aware relational abstractions for hybrid systems. | Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta |
| 2012 | CAV | HybridSAL Relational Abstracter. | Ashish Tiwari |
| 2012 | CAV | Timed Relational Abstractions for Sampled Data Control Systems. | Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari |
| 2011 | CAV | Relational Abstractions for Continuous and Hybrid Systems. | Sriram Sankaranarayanan, Ashish Tiwari |
| 2011 | EMSOFT | Synthesis of optimal switching logic for hybrid systems. | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
| 2011 | ISSAC | Verification and synthesis using real quantifier elimination. | Thomas Sturm, Ashish Tiwari |
| 2011 | LICS | Logic in Software, Dynamical and Biological Systems. | Ashish Tiwari |
| 2011 | PLDI | Synthesis of loop-free programs. | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
| 2011 | PLDI | Synthesizing geometry constructions. | Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
| 2010 | EMSOFT | Switching logic synthesis for reachability. | Ankur Taly, Ashish Tiwari |
| 2010 | ICSE | Oracle-guided component-based program synthesis. | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
| 2010 | ISSAC | Theory of reals for verification and synthesis of hybrid dynamical systems. | Ashish Tiwari |
| 2010 | SRDS | Optimization Based Topology Control for Wireless Ad Hoc Networks to Meet QoS Requirements. | Yadu Kishore K, Ashish Tiwari, Omprakash G. Kakde |
| 2009 | LICS | Non-linear Rewrite Closure and Weak Normalization. | Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari |
| 2009 | SAS | Invariant Checking for Programs with Procedure Calls. | Guillem Godoy, Ashish Tiwari |
| 2009 | VMCAI | Synthesizing Switching Logic Using Constraint Solving. | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
| 2008 | CAV | Constraint-Based Approach for Analysis of Hybrid Systems. | Sumit Gulwani, Ashish Tiwari |
| 2008 | POPL | Lifting abstract interpreters to quantified logical domains. | Sumit Gulwani, Bill McCloskey, Ashish Tiwari |
| 2007 | BIBE | Quantitative and Probabilistic Modeling in Pathway Logic. | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari |
| 2007 | CADE | Logical Interpretation: Static Program Analysis Using Theorem Proving. | Ashish Tiwari, Sumit Gulwani |
| 2007 | CAV | An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. | Sumit Gulwani, Ashish Tiwari |
| 2007 | ESOP | Computing Procedure Summaries for Interprocedural Analysis. | Sumit Gulwani, Ashish Tiwari |
| 2007 | VMCAI | Assertion Checking Unified. | Sumit Gulwani, Ashish Tiwari |
| 2006 | ESOP | Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. | Sumit Gulwani, Ashish Tiwari |
| 2006 | PLDI | Combining abstract interpreters. | Sumit Gulwani, Ashish Tiwari |
| 2005 | CADE | Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. | Guillem Godoy, Ashish Tiwari |
| 2005 | CSL | Confluence of Shallow Right-Linear Rewrite Systems. | Guillem Godoy, Ashish Tiwari |
| 2005 | CSL | An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. | Ashish Tiwari |
| 2004 | CADE | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. | Guillem Godoy, Ashish Tiwari |
| 2004 | CAV | SAL 2. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari |
| 2004 | CAV | Termination of Linear Programs. | Ashish Tiwari |
| 2003 | STACS | On the Confluence of Linear Shallow Term Rewrite Systems. | Guillem Godoy, Ashish Tiwari, Rakesh M. Verma |
| 2003 | SEW | On the Run-time Verification of Autonomy Software. | Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran |
| 2002 | LICS | Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. | Ashish Tiwari |
| 2001 | TACAS | A Technique for Invariant Generation. | Ashish Tiwari, Harald Rue, Hassen Sadi, Natarajan Shankar |
| 2000 | CADE | Abstract Congruence Closure and Specializations. | Leo Bachmair, Ashish Tiwari |
| 2000 | CADE | Rigid | Ashish Tiwari, Leo Bachmair, Harald Rue |