Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAshish Tiwari 0001
Person information
- affiliation: SRI International, Menlo Park, California, USA
Other persons with the same name
- Ashish Tiwari — disambiguation page
- Ashish Tiwari 0002 — University of Iowa, College of Business, Department of Finance, Iowa City, IA, USA
- Ashish Tiwari 0003
![[0000-0002-2762-0846]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-2762-0846")
— Birla Institute of Technology and Science, Department of Mathematics, Pilani, India (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j24]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): 952-981 (2023)- [i21]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 abs/2305.01598 (2023) - 2022
- [j23]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): 395-423 (2022) - [j22]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): 1093-1122 (2022) - [c98]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 - [c97]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) 2022: 97-109 - [c96]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: 972-983 - [i20]Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable code generation from pre-trained language models. CoRR abs/2201.11227 (2022) - [i19]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 abs/2203.16960 (2022) - [i18]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 abs/2207.11765 (2022) - [i17]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 abs/2207.12456 (2022) - 2021
- [j21]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): 1-29 (2021) - [c95]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: 2745-2750 - [c94]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference 2021: 499-512 - [c93]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: 2706-2710 - [i16]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 abs/2109.02445 (2021) - 2020
- [j20]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): 219:1-219:30 (2020) - [c92]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. ACSOS 2020: 119-128 - [c91]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: 1-16 - [c90]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani:
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i15]Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang:
V-Formation via Model Predictive Control. CoRR abs/2002.08955 (2020) - [i14]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i13]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. CoRR abs/2006.00680 (2020) - [i12]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020)
2010 – 2019
- 2019
- [j19]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): 364-387 (2019) - [j18]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): 143:1-143:29 (2019) - [c89]Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN 2019: 138-150 - [c88]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c87]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC 2019: 914-921 - [i11]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR abs/1908.09813 (2019) - [i10]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [c86]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c85]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek 2018: 16-17 - [c84]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: 194-199 - [c83]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - [c82]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382 - [c81]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: 816-823 - [i9]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR abs/1805.07929 (2018) - [i8]Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR abs/1808.07921 (2018) - 2017
- [c80]Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu:
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops 2017 - [c79]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: 446-462 - [c78]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: 86-103 - [c77]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: Passive STL Learning Using Only Positive Examples. RV 2017: 208-224 - [c76]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: 286-302 - [i7]Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR abs/1702.00290 (2017) - [i6]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Neural Networks. CoRR abs/1709.09130 (2017) - [i5]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017) - [i4]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 abs/1710.10013 (2017) - 2016
- [j17]Ashish Tiwari, Patrick Lincoln:
A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. 48(3): 257-273 (2016) - [c75]Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari:
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR 2016: 4:1-4:5 - [e4]Nicola Olivetti, Ashish Tiwari:
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Lecture Notes in Computer Science 9706, Springer 2016, ISBN 978-3-319-40228-4 [contents] - [i3]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 abs/1612.07059 (2016) - 2015
- [c74]Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. ATVA 2015: 97-113 - [c73]Ashish Tiwari, Adrià Gascón, Bruno Dutertre:
Program Synthesis Using Dual Interpretation. CADE 2015: 482-497 - [c72]Ashish Tiwari:
Time-Aware Abstractions in HybridSal. CAV (1) 2015: 504-510 - [c71]Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari:
Two-Restricted One Context Unification is in Polynomial Time. CSL 2015: 405-422 - [c70]Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß:
One Context Unification Problems Solvable in Polynomial Time. LICS 2015: 499-510 - [c69]Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605 - [c68]Ashish Tiwari:
Attacking a Feedback Controller. NSV 2015: 141-153 - [e3]Sergiy Bogomolov, Ashish Tiwari:
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. EPiC Series in Computing 37, EasyChair 2015 [contents] - 2014
- [j16]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): 63-80 (2014) - [c67]Ashish Tiwari, Patrick Lincoln:
A Nonlinear Real Arithmetic Fragment. CAV 2014: 729-736 - [c66]Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik:
Template-based circuit understanding. FMCAD 2014: 83-90 - [c65]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: 85-94 - [c64]Adrià Gascón, Ashish Tiwari:
A Synthesized Algorithm for Interactive Consistency. NASA Formal Methods 2014: 270-284 - [c63]Jan Leike, Ashish Tiwari:
Synthesis for Polynomial Lasso Programs. VMCAI 2014: 434-452 - [c62]Adrià Gascón, Ashish Tiwari:
Synthesis of a simple self-stabilizing system. SYNT 2014: 5-16 - 2013
- [j15]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: 114 (2013) - [j14]Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51(3): 281-324 (2013) - [c61]Parasara Sridhar Duggirala, Ashish Tiwari:
Safety verification for linear systems. EMSOFT 2013: 7:1-7:10 - [c60]Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta:
Time-aware relational abstractions for hybrid systems. EMSOFT 2013: 14:1-14:10 - [c59]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: 67-74 - [i2]Jan Leike, Ashish Tiwari:
Synthesis for Polynomial Lasso Programs. CoRR abs/1311.4046 (2013) - 2012
- [c58]Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari:
Timed Relational Abstractions for Sampled Data Control Systems. CAV 2012: 343-361 - [c57]Ashish Tiwari:
HybridSAL Relational Abstracter. CAV 2012: 725-731 - [c56]Ashish Tiwari:
RTA 2012 Proceedings Frontmatter. RTA 2012: i-xiii - [e2]Ashish Tiwari:
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-38-5 [contents] - 2011
- [j13]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. 13(6): 519-535 (2011) - [c55]Sriram Sankaranarayanan, Ashish Tiwari:
Relational Abstractions for Continuous and Hybrid Systems. CAV 2011: 686-702 - [c54]Ashish Tiwari:
Compositionally analyzing a proportional-integral controller family. CDC/ECC 2011: 2693-2698 - [c53]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116 - [c52]Thomas Sturm, Ashish Tiwari:
Verification and synthesis using real quantifier elimination. ISSAC 2011: 329-336 - [c51]Ashish Tiwari:
Logic in Software, Dynamical and Biological Systems. LICS 2011: 9-10 - [c50]Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari:
Synthesizing geometry constructions. PLDI 2011: 50-61 - [c49]Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan:
Synthesis of loop-free programs. PLDI 2011: 62-73 - [c48]Ashish Tiwari:
Rewriting in Practice. RTA 2011: 3-8 - [c47]Ashish Tiwari:
Rewriting in Practice. TLCA 2011: 6-8 - [i1]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011) - 2010
- [j12]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) - [j11]Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari:
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) - [j10]Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari:
Context unification with one context variable. J. Symb. Comput. 45(2): 173-193 (2010) - [c46]Ankur Taly, Ashish Tiwari:
Switching logic synthesis for reachability. EMSOFT 2010: 19-28 - [c45]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c44]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224 - [c43]Ashish Tiwari:
Theory of reals for verification and synthesis of hybrid dynamical systems. ISSAC 2010: 5-6
2000 – 2009
- 2009
- [j9]Alessandro Abate, Ashish Tiwari, Shankar Sastry:
Box invariance in biologically-inspired dynamical systems. Autom. 45(7): 1601-1610 (2009) - [c42]Ashish Tiwari:
Combining Equational Reasoning. FroCoS 2009: 68-83 - [c41]Ankur Taly, Ashish Tiwari:
Deductive Verification of Continuous Dynamical Systems. FSTTCS 2009: 383-394 - [c40]Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-linear Rewrite Closure and Weak Normalization. LICS 2009: 365-374 - [c39]Guillem Godoy, Ashish Tiwari:
Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342 - [c38]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319 - 2008
- [j8]Ashish Tiwari:
Abstractions for hybrid systems. Formal Methods Syst. Des. 32(1): 57-83 (2008) - [c37]Sumit Gulwani, Ashish Tiwari:
Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203 - [c36]Ashish Tiwari, Carolyn L. Talcott:
Analyzing a Discrete Model of Aplysia Central Pattern Generator. CMSB 2008: 347-366 - [c35]Ashish Tiwari:
Generating Box Invariants. HSCC 2008: 658-661 - [c34]Sumit Gulwani, Bill McCloskey, Ashish Tiwari:
Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246 - 2007
- [c33]Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169 - [c32]Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929 - [c31]Ashish Tiwari, Sumit Gulwani:
Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166 - [c30]Sumit Gulwani, Ashish Tiwari:
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392 - [c29]Alessandro Abate, Ashish Tiwari, Shankar Sastry:
Box invariance for biologically-inspired dynamical systems. CDC 2007: 5162-5167 - [c28]Sumit Gulwani, Ashish Tiwari:
Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267 - [c27]Guillem Godoy, Eduard Huntingford, Ashish Tiwari:
Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213 - [c26]Sumit Gulwani, Ashish Tiwari:
Assertion Checking Unified. VMCAI 2007: 363-377 - 2006
- [c25]Alessandro Abate, Ashish Tiwari:
Box invariance of Hybrid and switched Systems. ADHS 2006: 359-364 - [c24]Sumit Gulwani, Ashish Tiwari:
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293 - [c23]Sumit Gulwani, Ashish Tiwari:
Combining abstract interpreters. PLDI 2006: 376-386 - [e1]João P. Hespanha, Ashish Tiwari:
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. Lecture Notes in Computer Science 3927, Springer 2006, ISBN 3-540-33170-0 [contents] - 2005
- [c22]