Sarah Tilscher

Orcid: 0009-0009-9644-7475

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

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

[BibT_eX]

[DOI]

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

2024

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

[BibT_eX]

[DOI]

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

Goblint at SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Goblint at SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Artifact for the VMCAI'2025 Paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".

[BibT_eX]

[DOI]

Dataset, October, 2024

Non-numerical weakly relational domains.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, 2024

LL(1) Parser Generator.

[BibT_eX]

[DOI]

Sarah Tilscher

Simon Wimmer

Arch. Formal Proofs, 2024

Partial Correctness of the Top-Down Solver.

[BibT_eX]

[DOI]

Yannick Stade

Sarah Tilscher

Helmut Seidl

Arch. Formal Proofs, 2024

Correctness Witness Validation by Abstract Interpretation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Yannick Stade

Sarah Tilscher

Helmut Seidl

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

2-Pointer Logic.

[BibT_eX]

[DOI]

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Correctness Witness Validation by Abstract Interpretation.

[BibT_eX]

[DOI]

Dataset, August, 2023

The Top-Down Solver - An Exercise in A<sup>2</sup>I.

[BibT_eX]

[DOI]

Proceedings of the Challenges of Software Verification, 2023

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

[BibT_eX]

[DOI]

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

2022

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

[BibT_eX]

[DOI]

CoRR, 2022

Sarah Tilscher

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...