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

Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

3 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	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
Redakteure/-innen	Sriram Sankaranarayanan, Natasha Sharygina
Herausgeber (Verlag)	Springer Science and Business Media Deutschland GmbH
Seiten	547-552
Seitenumfang	6
ISBN (Print)	9783031308192
DOIs	https://doi.org/10.1007/978-3-031-30820-8_34
Publikationsstatus	Veröffentlicht - 2023
Veranstaltung	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, Frankreich Dauer: 22 Apr. 2023 → 27 Apr. 2023

Publikationsreihe

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

Konferenz

Konferenz	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
Land/Gebiet	Frankreich
Ort	Paris
Zeitraum	22/04/23 → 27/04/23

Zugriff auf Dokument

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (Hrsg.), 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 (S. 547-552). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Hrsg. / Sriram Sankaranarayanan ; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. S. 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 (Hrsg.), 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), Bd. 13994 LNCS, Springer Science and Business Media Deutschland GmbH, S. 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, Frankreich, 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. Hrsg. / Sriram Sankaranarayanan; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. S. 547-552 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13994 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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 - http://www.scopus.com/inward/record.url?scp=85161386430&partnerID=8YFLogxK

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, Hrsg., 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. S. 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

Publikationsreihe

Konferenz

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren