Ashish Tiwari - RankMe

169 papers A* 21A 12B 17C 2Misc 6Journal 58Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Challenges in Using Conversational AI for Data Science. HILDA@SIGMOD Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley
2025	J	`jnl`	ConDABench: Interactive Evaluation of Language Models for Data Analysis. CoRR Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2025	A*	`conf`	Execution-guided within-prompt search for programming-by-example. ICLR Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
2025	J	`jnl`	IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch. CoRR Param Biyani, Shashank Kirtania, Yasharth Bajpai, Sumit Gulwani, Ashish Tiwari
2025	J	`jnl`	LLM-Guided Compositional Program Synthesis. CoRR Ruhma Khan, Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen
2025	J	`jnl`	Ordered Semantically Diverse Sampling for Textual Data. CoRR Ashish Tiwari, Mukul Singh, Ananya Singha, Arjun Radhakrishna
2025	B	`conf`	Program Synthesis: Pre-LLM and Post-LLM. FMCAD Ashish Tiwari
2025	J	`jnl`	Soft-Label Training Preserves Epistemic Uncertainty. CoRR Agamdeep Singh, Ashish Tiwari, Hosein Hasanbeig, Priyanshu Gupta
2025	J	`jnl`	TEN: Table Explicitization, Neurosymbolically. CoRR Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari
2025	J	`jnl`	TableTalk: Scaffolding Spreadsheet Development with a Language Agent. CoRR Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2025	J	`jnl`	TableTalk: Scaffolding Spreadsheet Development with a Language Agent. ACM Trans. Comput. Hum. Interact. Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2025	—	`conf`	TeCoFeS: Text Column Featurization using Semantic Analysis. NAACL (Findings) Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
2024	A*	`conf`	Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2024	—	`conf`	Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
2024	J	`jnl`	Rapidash: Efficient Detection of Constraint Violations. Proc. VLDB Endow. Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou
2023	J	`jnl`	Augmented Embeddings for Custom Retrievals. CoRR Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari
2023	—	`conf`	CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
2023	J	`jnl`	Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley
2023	J	`jnl`	FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
2023	J	`jnl`	From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR 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
2023	J	`jnl`	GrACE: Generation using Associated Code Edits. CoRR Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023	—	`conf`	Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023	A*	`conf`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2023	J	`jnl`	Rapidash: Efficient Constraint Discovery via Rapid Verification. CoRR Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou
2022	J	`jnl`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2022	—	`conf`	NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
2022	J	`jnl`	Neurosymbolic Repair for Low-Code Formula Languages. CoRR Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
2022	J	`jnl`	Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
2022	J	`jnl`	Overwatch: Learning Patterns in Code Edit Sequences. CoRR Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022	J	`jnl`	Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022	A*	`conf`	Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
2022	J	`jnl`	Synchromesh: Reliable code generation from pre-trained language models. CoRR Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
2022	—	`conf`	Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2021	—	`conf`	CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani
2021	—	`conf`	Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2021	C	`conf`	Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2021	J	`jnl`	Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2021	J	`jnl`	Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2020	J	`jnl`	Data Invariants: On Trust in Data-Driven Systems. CoRR Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2020	—	`conf`	ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020	J	`jnl`	Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
2020	J	`jnl`	Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
2020	—	`conf`	Learning Distributed Controllers for V-Formation. ACSOS Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	Learning Distributed Controllers for V-Formation. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	B	`conf`	Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	V-Formation via Model Predictive Control. CoRR Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
2019	Misc	`conf`	Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2019	J	`jnl`	Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2019	J	`jnl`	On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2019	J	`jnl`	Quantitative Programming by Examples. CoRR Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
2019	A	`conf`	SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
2019	—	`conf`	Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2019	J	`jnl`	TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2018	J	`jnl`	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2018	Misc	`conf`	Declarative vs rule-based control for flocking dynamics. SAC Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018	A*	`conf`	Learning Task Specifications from Demonstrations. NeurIPS Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
2018	—	`conf`	Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018	—	`conf`	Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
2018	—	`conf`	Output Range Analysis for Deep Feedforward Neural Networks. NFM Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018	—	`conf`	Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
2018	J	`jnl`	SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
2017	—	`conf`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017	B	`conf`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Declarative vs Rule-based Control for Flocking Dynamics. CoRR Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017	—	`conf`	Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
2017	J	`jnl`	Output Range Analysis for Deep Neural Networks. CoRR Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2017	J	`jnl`	Specification Inference from Demonstrations. CoRR Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
2017	B	`conf`	TeLEx: Passive STL Learning Using Only Positive Examples. RV Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2017	—	`conf`	Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu
2016	J	`jnl`	A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. Ashish Tiwari, Patrick Lincoln
2016	J	`jnl`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016	A	`ed.`	Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings IJCAR Nicola Olivetti, Ashish Tiwari
2016	B	`conf`	Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
2015	—	`ed.`	1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015 SNR@CAV Sergiy Bogomolov, Ashish Tiwari
2015	—	`conf`	Attacking a Feedback Controller. NSV Ashish Tiwari
2015	B	`conf`	Gamifying Program Analysis. LPAR Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
2015	A*	`conf`	One Context Unification Problems Solvable in Polynomial Time. LICS Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß
2015	A	`conf`	Program Synthesis Using Dual Interpretation. CADE Ashish Tiwari, Adrià Gascón, Bruno Dutertre
2015	B	`conf`	Severity Levels of Inconsistent Code. ATVA Martin Schäf, Ashish Tiwari
2015	—	`conf`	Time-Aware Abstractions in HybridSal. CAV (1) Ashish Tiwari
2015	B	`conf`	Two-Restricted One Context Unification is in Polynomial Time. CSL Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari
2014	A*	`conf`	A Nonlinear Real Arithmetic Fragment. CAV Ashish Tiwari, Patrick Lincoln
2014	—	`conf`	A Synthesized Algorithm for Interactive Consistency. NASA Formal Methods Adrià Gascón, Ashish Tiwari
2014	J	`jnl`	Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
2014	—	`conf`	Safety envelope for security. HiCoNS Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
2014	B	`conf`	Synthesis for Polynomial Lasso Programs. VMCAI Jan Leike, Ashish Tiwari
2014	—	`conf`	Synthesis of a simple self-stabilizing system. SYNT Adrià Gascón, Ashish Tiwari
2014	B	`conf`	Template-based circuit understanding. FMCAD Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
2013	J	`jnl`	Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp
2013	J	`jnl`	Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari
2013	Misc	`conf`	Safety verification for linear systems. EMSOFT Parasara Sridhar Duggirala, Ashish Tiwari
2013	J	`jnl`	Synthesis for Polynomial Lasso Programs. CoRR Jan Leike, Ashish Tiwari
2013	Misc	`conf`	Time-aware relational abstractions for hybrid systems. EMSOFT Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta
2013	—	`conf`	WordRev: Finding word-level structures in a sea of bit-level gates. HOST Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
2012	—	`ed.`	23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, May 28 - June 2, 2012 RTA Ashish Tiwari
2012	A*	`conf`	HybridSAL Relational Abstracter. CAV Ashish Tiwari
2012	—	`conf`	RTA 2012 Proceedings Frontmatter. RTA Ashish Tiwari
2012	A*	`conf`	Timed Relational Abstractions for Sampled Data Control Systems. CAV Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
2011	—	`conf`	Compositionally analyzing a proportional-integral controller family. CDC/ECC Ashish Tiwari
2011	A*	`conf`	Logic in Software, Dynamical and Biological Systems. LICS Ashish Tiwari
2011	A*	`conf`	Relational Abstractions for Continuous and Hybrid Systems. CAV Sriram Sankaranarayanan, Ashish Tiwari
2011	—	`conf`	Rewriting in Practice. RTA Ashish Tiwari
2011	—	`conf`	Rewriting in Practice. TLCA Ashish Tiwari
2011	A*	`conf`	Synthesis of loop-free programs. PLDI Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
2011	Misc	`conf`	Synthesis of optimal switching logic for hybrid systems. EMSOFT Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
2011	J	`jnl`	Synthesizing Switching Logic to Minimize Long-Run Cost CoRR Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
2011	A*	`conf`	Synthesizing geometry constructions. PLDI Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
2011	J	`jnl`	Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. Ankur Taly, Sumit Gulwani, Ashish Tiwari
2011	B	`conf`	Verification and synthesis using real quantifier elimination. ISSAC Thomas Sturm, Ashish Tiwari
2010	J	`jnl`	Context unification with one context variable. J. Symb. Comput. Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari
2010	—	`conf`	Oracle-guided component-based program synthesis. ICSE (1) Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2010	J	`jnl`	Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari
2010	Misc	`conf`	Switching logic synthesis for reachability. EMSOFT Ankur Taly, Ashish Tiwari
2010	—	`conf`	Synthesizing switching logic for safety and dwell-time requirements. ICCPS Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2010	J	`jnl`	Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Log. Methods Comput. Sci. Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari
2010	B	`conf`	Theory of reals for verification and synthesis of hybrid dynamical systems. ISSAC Ashish Tiwari
2009	J	`jnl`	Box invariance in biologically-inspired dynamical systems. Autom. Alessandro Abate, Ashish Tiwari, Shankar Sastry
2009	—	`conf`	Combining Equational Reasoning. FroCoS Ashish Tiwari
2009	—	`conf`	Deductive Verification of Continuous Dynamical Systems. FSTTCS Ankur Taly, Ashish Tiwari
2009	B	`conf`	Invariant Checking for Programs with Procedure Calls. SAS Guillem Godoy, Ashish Tiwari
2009	A*	`conf`	Non-linear Rewrite Closure and Weak Normalization. LICS Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari
2009	B	`conf`	Synthesizing Switching Logic Using Constraint Solving. VMCAI Ankur Taly, Sumit Gulwani, Ashish Tiwari
2008	J	`jnl`	Abstractions for hybrid systems. Formal Methods Syst. Des. Ashish Tiwari
2008	—	`conf`	Analyzing a Discrete Model of Aplysia Central Pattern Generator CMSB Ashish Tiwari, Carolyn L. Talcott
2008	A*	`conf`	Constraint-Based Approach for Analysis of Hybrid Systems. CAV Sumit Gulwani, Ashish Tiwari
2008	—	`conf`	Generating Box Invariants. HSCC Ashish Tiwari
2008	A*	`conf`	Lifting abstract interpreters to quantified logical domains. POPL Sumit Gulwani, Bill McCloskey, Ashish Tiwari
2007	A*	`conf`	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV Sumit Gulwani, Ashish Tiwari
2007	—	`conf`	Analyzing Pathways Using SAT-Based Approaches. AB Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2007	B	`conf`	Assertion Checking Unified. VMCAI Sumit Gulwani, Ashish Tiwari
2007	—	`conf`	Box invariance for biologically-inspired dynamical systems. CDC Alessandro Abate, Ashish Tiwari, Shankar Sastry
2007	A	`conf`	Computing Procedure Summaries for Interprocedural Analysis. ESOP Sumit Gulwani, Ashish Tiwari
2007	A	`conf`	Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE Ashish Tiwari, Sumit Gulwani
2007	C	`conf`	Quantitative and Probabilistic Modeling in Pathway Logic. BIBE Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
2007	—	`conf`	Termination of Rewriting with Right-Flat Rules. RTA Guillem Godoy, Eduard Huntingford, Ashish Tiwari
2006	A	`conf`	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP Sumit Gulwani, Ashish Tiwari
2006	—	`conf`	Box invariance of Hybrid and switched Systems. ADHS Alessandro Abate, Ashish Tiwari
2006	A*	`conf`	Combining abstract interpreters. PLDI Sumit Gulwani, Ashish Tiwari
2006	—	`ed.`	Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings HSCC João P. Hespanha, Ashish Tiwari
2005	B	`conf`	An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. CSL Ashish Tiwari
2005	B	`conf`	Confluence of Shallow Right-Linear Rewrite Systems. CSL Guillem Godoy, Ashish Tiwari
2005	—	`conf`	Generating Polynomial Invariants for Hybrid Systems. HSCC Enric Rodríguez-Carbonell, Ashish Tiwari
2005	A	`conf`	Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. CADE Guillem Godoy, Ashish Tiwari
2004	J	`jnl`	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput. Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2004	J	`jnl`	Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Log. Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari
2004	A	`conf`	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. IJCAR Guillem Godoy, Ashish Tiwari
2004	J	`jnl`	Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Log. Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2004	—	`conf`	Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS Sumit Gulwani, Ashish Tiwari, George C. Necula
2004	—	`conf`	Nonlinear Systems: Approximating Reach Sets. HSCC Ashish Tiwari, Gaurav Khanna
2004	A*	`conf`	SAL 2. CAV Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
2004	—	`conf`	Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC Patrick Lincoln, Ashish Tiwari
2004	A*	`conf`	Termination of Linear Programs. CAV Ashish Tiwari
2004	J	`jnl`	Towards automated proofs of observational properties. Discret. Math. Theor. Comput. Sci. Narjes Berregeb, Riadh Robbana, Ashish Tiwari
2003	J	`jnl`	Abstract Congruence Closure. J. Autom. Reason. Leo Bachmair, Ashish Tiwari, Laurent Vigneron
2003	—	`conf`	Approximate Reachability for Linear Systems. HSCC Ashish Tiwari
2003	—	`conf`	Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC Ronojoy Ghosh, Ashish Tiwari, Claire J. Tomlin
2003	J	`jnl`	Invisible formal methods for embedded control systems. Proc. IEEE Ashish Tiwari, Natarajan Shankar, John M. Rushby
2003	A	`conf`	On the Confluence of Linear Shallow Term Rewrite Systems. STACS Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2002	A*	`conf`	Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. LICS Ashish Tiwari
2002	—	`conf`	Series of Abstractions for Hybrid Automata. HSCC Ashish Tiwari, Gaurav Khanna
2001	A	`conf`	A Technique for Invariant Generation. TACAS Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
2001	—	`conf`	Rewrite Closure for Ground and Cancellative AC Theories. FSTTCS Ashish Tiwari
2000	J	`jnl`	A greedy genetic algorithm for the quadratic assignment problem. Comput. Oper. Res. Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari
2000	A	`conf`	Abstract Congruence Closure and Specializations. CADE Leo Bachmair, Ashish Tiwari
2000	—	`conf`	Congruence Closure Modulo Associativity and Commutativity. FroCoS Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron
2000	A	`conf`	Rigid CADE Ashish Tiwari, Leo Bachmair, Harald Rueß
1999	—	`conf`	Normalization via Rewrite Closures. RTA Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari
1997	—	`conf`	D-Bases for Polynomial Ideals over Commutative Noetherian Rings. RTA Leo Bachmair, Ashish Tiwari