Login / Signup
Manuel Pietsch
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
High Level
Active Rules
Active Databases
Abstract Interpretation
Top Venues
TACAS (2)
</>
Publications
</>
Simmo Saan
,
Michael Schwarz
,
Julian Erhard
,
Manuel Pietsch
,
Helmut Seidl
,
Sarah Tilscher
,
Vesal Vojdani
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).
TACAS (2)
(2023)