Deepak Kapur

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 36

Top Venues

Publications

Benjamin Mixon-Baca, Jeffrey Knockel, Diwen Xue, Tarun Ayyagari, Deepak Kapur, Roya Ensafi, Jedidiah R. Crandall
Attacking Connection Tracking Frameworks as used by Virtual Private Networks. Proc. Priv. Enhancing Technol. 2024 (3) (2024)
Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Deepak Kapur
Verifying Quantum Phase Estimation (QPE) using Prove-It. CoRR (2023)
Deepak Kapur, Paliath Narendran
Existence and Construction of a Gröbner Basis for a Polynomial Ideal. CoRR (2023)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
Interpolation Results for Arrays with Length and MaxDiff. ACM Trans. Comput. Log. 24 (4) (2023)
Deepak Kapur
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties. Log. Methods Comput. Sci. 19 (1) (2023)
Weifeng Shang, Chenqi Mou, Deepak Kapur
Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals. ISSAC (2022)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Uniform Interpolants in EUF: Algorithms using DAG-representations. Log. Methods Comput. Sci. 18 (2) (2022)
Franz Baader, Deepak Kapur
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. J. Autom. Reason. 66 (3) (2022)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
General Interpolation and Strong Amalgamation for Contiguous Arrays. CoRR (2022)
José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. SMT (2021)
Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun, Dingkang Wang
Algorithms for computing greatest common divisors of parametric multivariate polynomials. J. Symb. Comput. 102 (2021)
Deepak Kapur
A Modular Associative Commutative (AC) Congruence Closure Algorithm. FSCD (2021)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Interpolation and Amalgamation for Arrays with MaxDiff. FoSSaCS (2021)
Deepak Kapur
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties. CoRR (2021)
Deepak Kapur, Yiming Yang
An Algorithm for Computing a Minimal Comprehensive Gröbner\, Basis of a Parametric Polynomial System. CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS. CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version). CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. CILC (2020)
Franz Baader, Deepak Kapur
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) (2020)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR (2019)
Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
Editorial. Formal Aspects Comput. 31 (1) (2019)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR (2019)
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
NIL: Learning Nonlinear Interpolants. CoRR (2019)
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
NIL: Learning Nonlinear Interpolants. CADE (2019)
Deepak Kapur
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols. J. Syst. Sci. Complex. 32 (1) (2019)
Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun, Dingkang Wang
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD. ISSAC (2018)
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Preface - Special Issue of Selected Extended Papers of IJCAR 2014. J. Autom. Reason. 58 (1) (2017)
Deepak Kapur
Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm. J. Syst. Sci. Complex. 30 (1) (2017)
Deepak Kapur
Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis. SC²@ISSAC (2017)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) (2017)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR (2016)
Roli Varma, Deepak Kapur
Decoding femininity in computer science in India. Commun. ACM 58 (5) (2015)
Deepak Kapur, Yiming Yang
An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm. ISSAC (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Unification and Matching in Hierarchical Combinations of Syntactic Theories. FroCos (2015)
Stephan Falke, Deepak Kapur
When Is a Formula a Loop Invariant? Logic, Rewriting, and Concurrency (2015)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using dynamic analysis to generate disjunctive invariants. ICSE (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS (2014)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Matching Algorithms (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA (2013)
Hengjun Zhao, Naijun Zhan, Deepak Kapur
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants. Theories of Programming and Formal Methods (2013)
Deepak Kapur, Naijun Zhan, Hengjun Zhao
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation CoRR (2013)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE (2013)
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics (2013)
Zhihai Zhang, Deepak Kapur
On invariant checking. J. Syst. Sci. Complex. 26 (3) (2013)
Deepak Kapur, Yao Sun, Dingkang Wang
An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system. J. Symb. Comput. 49 (2013)
Deepak Kapur, Yao Sun, Dingkang Wang
An efficient method for computing comprehensive Gröbner bases. J. Symb. Comput. 52 (2013)
Deepak Kapur
Elimination Techniques for Program Analysis. Programming Logics (2013)
Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics (2013)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination. CADE (2013)
Deepak Kapur
Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract). TAMC (2012)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE (2012)
Xiao-Shan Gao, Deepak Kapur
Preface. J. Symb. Comput. 47 (6) (2012)
Xiao-Shan Gao, Deepak Kapur
A brief introduction to Wen-Tsun Wu's academic career. J. Symb. Comput. 47 (6) (2012)
Stephan Falke, Deepak Kapur
Rewriting Induction + Linear Arithmetic = Decision Procedure. IJCAR (2012)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using dynamic analysis to discover polynomial and array invariants. ICSE (2012)
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example CoRR (2012)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS (2012)
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM (2012)
Deepak Kapur, Yao Sun, Dingkang Wang
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. ISSAC (2011)
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP (2011)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA (2011)
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran
Unification over Distributive Exponentiation (Sub)Theories. J. Autom. Lang. Comb. 16 (2-4) (2011)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF (2011)
Deepak Kapur, Andrew M. Marshall, Paliath Narendran
Unification modulo a partial theory of exponentiation UNIF (2010)
Joe Hendrix, Deepak Kapur, José Meseguer
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP (2010)
Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. USENIX Security Symposium (2010)
Deepak Kapur
Induction, Invariants, and Abstraction. IJCAR (2010)
Deepak Kapur, Yao Sun, Dingkang Wang
A new algorithm for computing comprehensive Gröbner systems. ISSAC (2010)
Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
Shape Analysis with Reference Set Relations. VMCAI (2010)
Deepak Kapur, Yongyang Cai
An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors. Math. Comput. Sci. 2 (4) (2009)
Mark Marron, Deepak Kapur, Manuel V. Hermenegildo
Identification of logically related heap regions. ISMM (2009)
Stephan Falke, Deepak Kapur
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. WFLP (2009)
Stephan Falke, Deepak Kapur
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. Electron. Notes Theor. Comput. Sci. 237 (2009)
Stephan Falke, Deepak Kapur
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. CADE (2009)
Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair
Cayley-Dixon projection operator for multi-univariate composed polynomials. J. Symb. Comput. 44 (8) (2009)
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC (2008)
Deepak Kapur, Manfred Minimair
Multivariate Resultants in Bernstein Basis. Automated Deduction in Geometry (2008)
Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur
Sharing analysis of arrays, collections, and recursive structures. PASTE (2008)
Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC (2008)
Stephan Falke, Deepak Kapur
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. RTA (2008)
Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur
Heap analysis in the presence of collection libraries. PASTE (2007)
Stephan Falke, Deepak Kapur
Dependency Pairs for Rewriting with Non-free Constructors. CADE (2007)
Enric Rodríguez-Carbonell, Deepak Kapur
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64 (1) (2007)
Enric Rodríguez-Carbonell, Deepak Kapur
Generating all polynomial invariants in simple loops. J. Symb. Comput. 42 (4) (2007)
Deepak Kapur
Preface on the contributed papers. J. Symb. Comput. 41 (3-4) (2006)
Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC (2006)
Arthur D. Chtcherba, Deepak Kapur
Conditions for determinantal formula for resultant of a polynomial system. ISSAC (2006)
Stephan Falke, Deepak Kapur
Inductive Decidability Using Implicit Induction. LPAR (2006)
Jürgen Giesl, Deepak Kapur
Third Special Issue on Techniques for Automated Termination Proofs. J. Autom. Reason. 37 (3) (2006)
Deepak Kapur
A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs. J. Syst. Sci. Complex. 19 (3) (2006)
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
Interpolation for data structures. SIGSOFT FSE (2006)
Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler
Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41 (3-4) (2006)
Deepak Kapur
Automatically Generating Loop Invariants Using Quantifier Elimination. Deduction and Applications (2005)
Jürgen Giesl, Deepak Kapur
Preface. J. Autom. Reason. 34 (2) (2005)
Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. CASC (2005)
Jürgen Giesl, Deepak Kapur
Preface. J. Autom. Reason. 34 (4) (2005)

Deepak Kapur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Deepak Kapur