A practical construction for decomposing numerical abstract domains

Gagandeep Singh; Markus Püschel; Martin Vechev

doi:10.1145/3158143

A practical construction for decomposing numerical abstract domains

Proceedings of the ACM on Programming Languages ◽

10.1145/3158143 ◽

2018 ◽

Vol 2 (POPL) ◽

pp. 1-28 ◽

Cited By ~ 6

Author(s):

Gagandeep Singh ◽

Markus Püschel ◽

Martin Vechev

Keyword(s):

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Process Discovery Algorithms Using Numerical Abstract Domains

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/tkde.2013.156 ◽

2014 ◽

Vol 26 (12) ◽

pp. 3064-3076 ◽

Cited By ~ 14

Author(s):

Josep Carmona ◽

Jordi Cortadella

Keyword(s):

Process Discovery ◽

Numerical Abstract Domains ◽

Abstract Domains ◽

Discovery Algorithms

Download Full-text

Policy Iteration within Logico-Numerical Abstract Domains

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24372-1_21 ◽

2011 ◽

pp. 290-305 ◽

Cited By ~ 7

Author(s):

Pascal Sotin ◽

Bertrand Jeannet ◽

Franck Védrine ◽

Eric Goubault

Keyword(s):

Policy Iteration ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-011-0199-5 ◽

2011 ◽

Vol 13 (6) ◽

pp. 585-601 ◽

Cited By ~ 9

Author(s):

Vincent Laviron ◽

Francesco Logozzo

Keyword(s):

Linear Inequalities ◽

Scalable Inference ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Invertible Linear Transforms of Numerical Abstract Domains

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_21 ◽

2018 ◽

pp. 344-363

Author(s):

Francesco Ranzato ◽

Marco Zanella

Keyword(s):

Linear Transforms ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_23 ◽

2005 ◽

pp. 348-363 ◽

Cited By ~ 36

Author(s):

Antoine Miné

Keyword(s):

Numerical Abstract Domains ◽

Abstract Domains ◽

Symbolic Methods

Download Full-text

A Few Graph-Based Relational Numerical Abstract Domains

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_11 ◽

2002 ◽

pp. 117-132 ◽

Cited By ~ 25

Author(s):

Antoine Miné

Keyword(s):

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Apron: A Library of Numerical Abstract Domains for Static Analysis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02658-4_52 ◽

2009 ◽

pp. 661-667 ◽

Cited By ~ 183

Author(s):

Bertrand Jeannet ◽

Antoine Miné

Keyword(s):

Static Analysis ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Deriving Numerical Abstract Domains via Principal Component Analysis

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15769-1_9 ◽

2010 ◽

pp. 134-150 ◽

Cited By ~ 9

Author(s):

Gianluca Amato ◽

Maurizio Parton ◽

Francesca Scozzari

Keyword(s):

Principal Component Analysis ◽

Principal Component ◽

Component Analysis ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Automatically testing implementations of numerical abstract domains

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 ◽

10.1145/3238147.3240464 ◽

2018 ◽

Cited By ~ 5

Author(s):

Alexandra Bugariu ◽

Valentin Wüstholz ◽

Maria Christakis ◽

Peter Müller

Keyword(s):

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

TreeKs: A Functor to Make Numerical Abstract Domains Scalable

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.09.005 ◽

2012 ◽

Vol 287 ◽

pp. 41-52

Author(s):

Mehdi Bouaziz

Keyword(s):

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text