Apron: A Library of Numerical Abstract Domains for Static Analysis

By Bertrand Jeannet, Antoine Miné. 2009

505 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Timon Gehr
2. Martin T. Vechev
3. Gagandeep Singh
4. Markus Püschel
5. Swarat Chaudhuri

In Hardware and Architecture

1. Timon Gehr
2. Martin T. Vechev
3. Gagandeep Singh
4. Markus Püschel
5. Petar Tsankov
6. Swarat Chaudhuri

Citations in the corpus

• AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation (2018, background): “The AI(2) system is fully integrated with all abstract domains supported by Apron [20], a popular library for numerical abstract domains, including: Box [7], Zonotope [10], and Polyhedra [8].”
• Fast polyhedra abstract domain (2017, methodology): “A standard implementation of the Polyhedra domain contains more than 40 operators [2, 13].”