Simmo Saan

23 papers A 1B 1Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).
TACAS (2)
Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl
2026 — conf
Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution).
TACAS (2)
Karoliine Holter, Paulína Ayaziová, Simmo Saan, Jan Strejcek, Vesal Vojdani
2026 J jnl
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version).
CoRR
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl
2026 — conf
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities.
TACAS (2)
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl
2025 — conf
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
VMCAI (1)
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2025 J jnl
Sound Static Data Race Verification for C: Is the Race Lost?
ACM Trans. Program. Lang. Syst.
Karoliine Holter, Simmo Saan, Patrick Lam, Vesal Vojdani
2024 — conf
Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results.
Onward!
Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani
2024 — conf
Abstract Debugging with GobPie.
DEBT@ISSTA
Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani
2024 — conf
Correctness Witness Validation by Abstract Interpretation.
VMCAI (1)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 J jnl
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 — conf
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).
TACAS (3)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
2024 — conf
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
TACAS (3)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
2024 J jnl
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.
Int. J. Softw. Tools Technol. Transf.
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
2024 J jnl
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C.
Int. J. Softw. Tools Technol. Transf.
Julian Erhard, Michael Schwarz, Vesal Vojdani, Simmo Saan, Helmut Seidl
2023 A conf
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
ESOP
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
2023 J jnl
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
2023 J jnl
Correctness Witness Validation by Abstract Interpretation.
CoRR
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2023 — conf
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).
TACAS (2)
Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2023 — conf
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.
SOAP@PLDI
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl
2022 J jnl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
2021 — conf
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
TACAS (2)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
2021 B conf
Improving Thread-Modular Abstract Interpretation.
SAS
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2021 J jnl
Improving Thread-Modular Abstract Interpretation.
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani