Ashish Tiwari

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 61

Top Venues

CoRR

Proc. ACM Program. Lang.

SIGMOD Conference

ESEC/SIGSOFT FSE

Publications

Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou
Rapidash: Efficient Detection of Constraint Violations. Proc. VLDB Endow. 17 (8) (2024)
Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) (2024)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA (2024)
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7 (POPL) (2023)
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion (2023)
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE (2023)
Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari
Augmented Embeddings for Custom Retrievals. CoRR (2023)
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
GrACE: Generation using Associated Code Edits. CoRR (2023)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA (2023)
Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou
Rapidash: Efficient Constraint Discovery via Rapid Verification. CoRR (2023)
Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley
Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR (2023)
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR (2023)
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
Overwatch: Learning Patterns in Code Edit Sequences. CoRR (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) (2022)
Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR (2022)
Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
Synchromesh: Reliable code generation from pre-trained language models. CoRR (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR (2022)
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE (2022)
Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
Neurosymbolic Repair for Low-Code Formula Languages. CoRR (2022)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR (2021)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference (2021)
Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference (2021)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC (2021)
Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
V-Formation via Model Predictive Control. CoRR (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. ACSOS (2020)
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR (2020)
Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS (2020)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Data Invariants: On Trust in Data-Driven Systems. CoRR (2020)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference (2020)
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. CoRR (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR (2019)
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
Quantitative Programming by Examples. CoRR (2019)
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN (2019)
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC (2019)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54 (3) (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Feedforward Neural Networks. NFM (2018)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR (2018)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR (2018)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
Learning Task Specifications from Demonstrations. NeurIPS (2018)
Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS (2018)
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA (2017)
Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops (2017)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
Specification Inference from Demonstrations. CoRR (2017)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Neural Networks. CoRR (2017)
Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) (2017)
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) (2017)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: Passive STL Learning Using Only Positive Examples. RV (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR (2016)
Ashish Tiwari, Patrick Lincoln
A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. 48 (3) (2016)
Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR (2016)
Martin Schäf, Ashish Tiwari
Severity Levels of Inconsistent Code. ATVA (2015)
Ashish Tiwari, Adrià Gascón, Bruno Dutertre
Program Synthesis Using Dual Interpretation. CADE (2015)
Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß
One Context Unification Problems Solvable in Polynomial Time. LICS (2015)
Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
Gamifying Program Analysis. LPAR (2015)
Ashish Tiwari
Attacking a Feedback Controller. Electron. Notes Theor. Comput. Sci. 317 (2015)
Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari
Two-Restricted One Context Unification is in Polynomial Time. CSL (2015)
Ashish Tiwari
Time-Aware Abstractions in HybridSal. CAV (1) (2015)
Adrià Gascón, Ashish Tiwari
Synthesis of a simple self-stabilizing system. SYNT (2014)
Ashish Tiwari, Patrick Lincoln
A Nonlinear Real Arithmetic Fragment. CAV (2014)
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
Safety envelope for security. HiCoNS (2014)
Adrià Gascón, Ashish Tiwari
A Synthesized Algorithm for Interactive Consistency. NASA Formal Methods (2014)
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2 (1) (2014)
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
Template-based circuit understanding. FMCAD (2014)
Jan Leike, Ashish Tiwari
Synthesis for Polynomial Lasso Programs. VMCAI (2014)
Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari
Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51 (3) (2013)
Jan Leike, Ashish Tiwari
Synthesis for Polynomial Lasso Programs. CoRR (2013)
Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp
Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. 14 (2013)
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
WordRev: Finding word-level structures in a sea of bit-level gates. HOST (2013)
Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta
Time-aware relational abstractions for hybrid systems. EMSOFT (2013)
Parasara Sridhar Duggirala, Ashish Tiwari
Safety verification for linear systems. EMSOFT (2013)
Ashish Tiwari
HybridSAL Relational Abstracter. CAV (2012)
Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
Timed Relational Abstractions for Sampled Data Control Systems. CAV (2012)
Ashish Tiwari
RTA 2012 Proceedings Frontmatter. RTA (2012)
Ashish Tiwari
Rewriting in Practice. TLCA (2011)
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
Synthesis of loop-free programs. PLDI (2011)
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Synthesizing Switching Logic to Minimize Long-Run Cost CoRR (2011)
Ankur Taly, Sumit Gulwani, Ashish Tiwari
Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Ashish Tiwari
Rewriting in Practice. RTA (2011)
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Synthesis of optimal switching logic for hybrid systems. EMSOFT (2011)
Ashish Tiwari
Logic in Software, Dynamical and Biological Systems. LICS (2011)
Thomas Sturm, Ashish Tiwari
Verification and synthesis using real quantifier elimination. ISSAC (2011)
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
Synthesizing geometry constructions. PLDI (2011)
Ashish Tiwari
Compositionally analyzing a proportional-integral controller family. CDC/ECC (2011)
Sriram Sankaranarayanan, Ashish Tiwari
Relational Abstractions for Continuous and Hybrid Systems. CAV (2011)
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
Oracle-guided component-based program synthesis. ICSE (1) (2010)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari
Context unification with one context variable. J. Symb. Comput. 45 (2) (2010)
Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Log. Methods Comput. Sci. 6 (3) (2010)
Ankur Taly, Ashish Tiwari
Switching logic synthesis for reachability. EMSOFT (2010)
Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45 (2) (2010)

Ashish Tiwari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ashish Tiwari