Sarah Tilscher

According to our database, Sarah Tilscher authored at least 20 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

Int. J. Softw. Tools Technol. Transf., December, 2024

Non-numerical weakly relational domains.

Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz

Int. J. Softw. Tools Technol. Transf., August, 2024

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

CoRR, 2024

LL(1) Parser Generator.

Sarah Tilscher, Simon Wimmer

Arch. Formal Proofs, 2024

Partial Correctness of the Top-Down Solver.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Arch. Formal Proofs, 2024

Correctness Witness Validation by Abstract Interpretation.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

The Top-Down Solver Verified: Building Confidence in Static Analyzers.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2-Pointer Logic.

Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Goblint at SV-COMP 2024.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Correctness Witness Validation by Abstract Interpretation.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, August, 2023

Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).

Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

CoRR, 2022