Sarah Tilscher

18 papers Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
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
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
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
LL(1) Parser Generator.
Arch. Formal Proofs
Sarah Tilscher, Simon Wimmer
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
Partial Correctness of the Top-Down Solver.
Arch. Formal Proofs
Yannick Stade, Sarah Tilscher, Helmut Seidl
2024 — conf
The Top-Down Solver Verified: Building Confidence in Static Analyzers.
CAV (1)
Yannick Stade, Sarah Tilscher, Helmut Seidl
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 — ch.
The Top-Down Solver - An Exercise in A
Challenges of Software Verification
Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, 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