Document Search Results

Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea

Decoupling the ascending and descending phases in abstract interpretation. (English) Zbl 1524.68072

Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 25-44 (2022).

MSC: 68N30 68Q55

Cite Review PDF

Full Text: DOI arXiv

Mirliaz, Solène; Pichardie, David

A flow-insensitive-complete program representation. (English) Zbl 1498.68080

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 197-218 (2022).

MSC: 68N30

Cite Review PDF

Full Text: DOI HAL

Becchi, Anna; Zaffanella, Enea

PPLite: zero-overhead encoding of NNC polyhedra. (English) Zbl 1496.68351

Inf. Comput. 275, Article ID 104620, 37 p. (2020).

MSC: 68U05 52B55

Cite Review PDF

Full Text: DOI

Yu, Hang; Monniaux, David

An efficient parametric linear programming solver and application to polyhedral projection. (English) Zbl 1539.68188

Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 203-224 (2019).

MSC: 68Q60 65K05 90C05

Cite Review PDF

Full Text: DOI arXiv

Zaffanella, Enea

On the efficiency of convex polyhedra. (English) Zbl 1525.68032

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 31-44 (2018).

MSC: 68N30

Cite Review PDF

Full Text: DOI

Maréchal, Alexandre; Monniaux, David; Périn, Michaël

Scalable minimizing-operators on polyhedra via parametric linear programming. (English) Zbl 1421.90170

Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 212-231 (2017).

MSC: 90C57 90C05

Cite Review PDF

Full Text: DOI HAL

Jiang, Jiahong; Chen, Liqian; Wu, Xueguang; Wang, Ji

Block-wise abstract interpretation by combining abstract domains with SMT. (English) Zbl 1484.68049

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 310-329 (2017).

MSC: 68N30 03B70

Cite Review PDF

Full Text: DOI

Monniaux, David

A survey of satisfiability modulo theory. (English) Zbl 1453.68116

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 401-425 (2016).

MSC: 68R07 03B70 68V15

Cite Review PDF

Full Text: DOI arXiv

Karpenkov, Egor George; Monniaux, David; Wendler, Philipp

Program analysis with local policy iteration. (English) Zbl 1475.68092

Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 127-146 (2016).

MSC: 68N30 68Q60

Cite Review PDF

Full Text: DOI arXiv

Maisonneuve, Vivien; Hermant, Olivier; Irigoin, François

Computing invariants with transformers: experimental scalability and accuracy. (English) Zbl 1337.68168

Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 17-31, electronic only (2014).

MSC: 68Q60 68N30

Cite Review PDF

Full Text: DOI

Sharma, Rahul; Nori, Aditya V.; Aiken, Alex

Bias-variance tradeoffs in program analysis. (English) Zbl 1284.68202

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 127-137 (2014).

MSC: 68N30 68Q60 68T05

Cite Review PDF

Full Text: DOI

Found 11 Documents (Results 1–11)

Decoupling the ascending and descending phases in abstract interpretation. (English) Zbl 1524.68072

A flow-insensitive-complete program representation. (English) Zbl 1498.68080

PPLite: zero-overhead encoding of NNC polyhedra. (English) Zbl 1496.68351

An efficient parametric linear programming solver and application to polyhedral projection. (English) Zbl 1539.68188

On the efficiency of convex polyhedra. (English) Zbl 1525.68032

Scalable minimizing-operators on polyhedra via parametric linear programming. (English) Zbl 1421.90170

Block-wise abstract interpretation by combining abstract domains with SMT. (English) Zbl 1484.68049

A survey of satisfiability modulo theory. (English) Zbl 1453.68116

Program analysis with local policy iteration. (English) Zbl 1475.68092

Computing invariants with transformers: experimental scalability and accuracy. (English) Zbl 1337.68168

Bias-variance tradeoffs in program analysis. (English) Zbl 1284.68202

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software