Sign in
Simmo Saan
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 10
Top Topics
Control Flow
Fine Grained
Abstract Interpretation
Misuse Detection
Top Venues
CoRR
TACAS (2)
VMCAI (1)
SOAP@PLDI
</>
Publications
</>
Simmo Saan
,
Michael Schwarz
,
Julian Erhard
,
Helmut Seidl
,
Sarah Tilscher
,
Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation.
VMCAI (1)
(2024)
Simmo Saan
,
Michael Schwarz
,
Julian Erhard
,
Helmut Seidl
,
Sarah Tilscher
,
Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation.
CoRR
(2023)
Michael Schwarz
,
Simmo Saan
,
Helmut Seidl
,
Julian Erhard
,
Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
CoRR
(2023)
Michael Schwarz
,
Julian Erhard
,
Vesal Vojdani
,
Simmo Saan
,
Helmut Seidl
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.
SOAP@PLDI
(2023)
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)
Michael Schwarz
,
Simmo Saan
,
Helmut Seidl
,
Julian Erhard
,
Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
ESOP
(2023)
Julian Erhard
,
Simmo Saan
,
Sarah Tilscher
,
Michael Schwarz
,
Karoliine Holter
,
Vesal Vojdani
,
Helmut Seidl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR
(2022)
Michael Schwarz
,
Simmo Saan
,
Helmut Seidl
,
Kalmer Apinis
,
Julian Erhard
,
Vesal Vojdani
Improving Thread-Modular Abstract Interpretation.
SAS
(2021)
Simmo Saan
,
Michael Schwarz
,
Kalmer Apinis
,
Julian Erhard
,
Helmut Seidl
,
Ralf Vogler
,
Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
TACAS (2)
(2021)
Michael Schwarz
,
Simmo Saan
,
Helmut Seidl
,
Kalmer Apinis
,
Julian Erhard
,
Vesal Vojdani
Improving Thread-Modular Abstract Interpretation.
CoRR
(2021)