Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)

Simmo Saan; Michael Schwarz; Julian Erhard; Manuel Pietsch; Helmut Seidl; Sarah Tilscher; Vesal Vojdani

doi:10.1007/978-3-031-30820-8_34

Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)

Simmo Saan
, Michael Schwarz
, Julian Erhard
, Manuel Pietsch
, Helmut Seidl
, Sarah Tilscher
, Vesal Vojdani

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction

University of Tartu
Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

Abstract

The static analyzer Goblint is dedicated to the analysis of multi-threaded C programs by abstract interpretation. It provides multiple techniques for increasing analysis precision, e.g., configurable context-sensitivity and a wide range of numerical analyses. As a rule of thumb, more precise analyses decrease scalability, while not always necessary for solving the task at hand. Therefore, Goblint has been enhanced with autotuning which, based on syntactical criteria, adapts analysis configuration to the given program such that relevant precision is obtained with acceptable effort.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings
Editors	Sriram Sankaranarayanan, Natasha Sharygina
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	547-552
Number of pages	6
ISBN (Print)	9783031308192
DOIs	https://doi.org/10.1007/978-3-031-30820-8_34
State	Published - 2023
Event	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13994 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23

Access to Document

10.1007/978-3-031-30820-8_34

Cite this

Saan, S., Schwarz, M., Erhard, J., Pietsch, M., Seidl, H., Tilscher, S., & Vojdani, V. (2023). Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution). In S. Sankaranarayanan, & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 547-552). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-30820-8_34

Saan, Simmo ; Schwarz, Michael ; Erhard, Julian et al. / Goblint : Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. editor / Sriram Sankaranarayanan ; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. pp. 547-552 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a1be2ca5f050411f804cb09de9459de7,

title = "Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)",

abstract = "The static analyzer Goblint is dedicated to the analysis of multi-threaded C programs by abstract interpretation. It provides multiple techniques for increasing analysis precision, e.g., configurable context-sensitivity and a wide range of numerical analyses. As a rule of thumb, more precise analyses decrease scalability, while not always necessary for solving the task at hand. Therefore, Goblint has been enhanced with autotuning which, based on syntactical criteria, adapts analysis configuration to the given program such that relevant precision is obtained with acceptable effort.",

author = "Simmo Saan and Michael Schwarz and Julian Erhard and Manuel Pietsch and Helmut Seidl and Sarah Tilscher and Vesal Vojdani",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).; 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

doi = "10.1007/978-3-031-30820-8\_34",

language = "English",

isbn = "9783031308192",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "547--552",

editor = "Sriram Sankaranarayanan and Natasha Sharygina",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings",

}

Saan, S, Schwarz, M, Erhard, J, Pietsch, M, Seidl, H, Tilscher, S & Vojdani, V 2023, Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution). in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 547-552, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30820-8_34

Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution). / Saan, Simmo; Schwarz, Michael; Erhard, Julian et al.
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. ed. / Sriram Sankaranarayanan; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. p. 547-552 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Goblint

T2 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

AU - Saan, Simmo

AU - Schwarz, Michael

AU - Erhard, Julian

AU - Pietsch, Manuel

AU - Seidl, Helmut

AU - Tilscher, Sarah

AU - Vojdani, Vesal

PY - 2023

Y1 - 2023

N2 - The static analyzer Goblint is dedicated to the analysis of multi-threaded C programs by abstract interpretation. It provides multiple techniques for increasing analysis precision, e.g., configurable context-sensitivity and a wide range of numerical analyses. As a rule of thumb, more precise analyses decrease scalability, while not always necessary for solving the task at hand. Therefore, Goblint has been enhanced with autotuning which, based on syntactical criteria, adapts analysis configuration to the given program such that relevant precision is obtained with acceptable effort.

AB - The static analyzer Goblint is dedicated to the analysis of multi-threaded C programs by abstract interpretation. It provides multiple techniques for increasing analysis precision, e.g., configurable context-sensitivity and a wide range of numerical analyses. As a rule of thumb, more precise analyses decrease scalability, while not always necessary for solving the task at hand. Therefore, Goblint has been enhanced with autotuning which, based on syntactical criteria, adapts analysis configuration to the given program such that relevant precision is obtained with acceptable effort.

UR - https://www.scopus.com/pages/publications/85161386430

U2 - 10.1007/978-3-031-30820-8_34

DO - 10.1007/978-3-031-30820-8_34

M3 - Conference contribution

AN - SCOPUS:85161386430

SN - 9783031308192

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 547

EP - 552

BT - Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings

A2 - Sankaranarayanan, Sriram

A2 - Sharygina, Natasha

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 22 April 2023 through 27 April 2023

ER -

Saan S, Schwarz M, Erhard J, Pietsch M, Seidl H, Tilscher S et al. Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution). In Sankaranarayanan S, Sharygina N, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 547-552. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-30820-8_34

Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this