Sarah Tilscher

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Abstract Interpretation

Active Databases

Top Venues

Arch. Formal Proofs

Publications

Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz
Non-Numerical Weakly Relational Domains. CoRR (2024)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation. VMCAI (1) (2024)
Yannick Stade, Sarah Tilscher, Helmut Seidl
Partial Correctness of the Top-Down Solver. Arch. Formal Proofs 2024 (2024)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). TACAS (3) (2024)
Sarah Tilscher, Simon Wimmer
LL(1) Parser Generator. Arch. Formal Proofs 2024 (2024)
Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher
2-Pointer Logic. Taming the Infinities of Concurrency (2024)
Yannick Stade, Sarah Tilscher, Helmut Seidl
The Top-Down Solver Verified: Building Confidence in Static Analyzers. CAV (1) (2024)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). TACAS (3) (2024)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation. CoRR (2023)
Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). TACAS (2) (2023)
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. CoRR (2022)