Michael Schwarz

33 papers A 1B 3Journal 16Unranked 12
YearRankTypeTitle / Venue / Authors
2026 B conf
Data Race Detection by Digest-Driven Abstract Interpretation.
VMCAI
Michael Schwarz, Julian Erhard
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 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 J jnl
Compiling Away the Overhead of Race Detection.
CoRR
Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov, Michael Schwarz, Umang Mathur
2025 J jnl
Context Gas and friends: taming context-sensitivity on the fly.
Int. J. Softw. Tools Technol. Transf.
Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, 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
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version).
CoRR
Michael Schwarz, Julian Erhard
2025 J jnl
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses.
Proc. ACM Program. Lang.
Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, Helmut Seidl
2025 J jnl
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses.
CoRR
Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, Helmut Seidl
2024 — conf
2-Pointer Logic.
Taming the Infinities of Concurrency
Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher
2024 — conf
C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For".
NSAD@SAS
Rebecca Ghidini, Julian Erhard, Michael Schwarz, Helmut Seidl
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
Non-Numerical Weakly Relational Domains.
CoRR
Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz
2024 J jnl
Non-numerical weakly relational domains.
Int. J. Softw. Tools Technol. Transf.
Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz
2024 J jnl
The digest framework: concurrency-sensitivity for abstract interpretation.
Int. J. Softw. Tools Technol. Transf.
Michael Schwarz, Julian Erhard
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
2024 — conf
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly.
SOAP@PLDI
Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, 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 B conf
Octagons Revisited - Elegant Proofs and Simplified Algorithms.
SAS
Michael Schwarz, Helmut Seidl
2023 — ch.
The Top-Down Solver - An Exercise in A
Challenges of Software Verification
Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, Helmut Seidl
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