publications

2025

  1. PLDI
    Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
    Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, and 1 more author
    Proc. ACM Program. Lang., Jun 2025
    To appear
    arXiv Code
  2. STTT
    Context Gas and friends: taming context-sensitivity on the fly
    Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, and Helmut Seidl
    International Journal on Software Tools for Technology Transfer, May 2025
    HTML Code
  3. VMCAI
    Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
    Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, and 6 more authors
    In Verification, Model Checking, and Abstract Interpretation, Jan 2025
    arXiv HTML Code

2024

  1. STTT
    The digest framework: concurrency-sensitivity for abstract interpretation
    Michael Schwarz, and Julian Erhard
    International Journal on Software Tools for Technology Transfer, Dec 2024
    HTML
  2. NSAD
    C-2PO: A Weakly Relational Pointer Domain
    Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
    In Numerical and Symbolic Abstract Domains, Oct 2024
    HTML Code
  3. STTT
    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
    Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, and 3 more authors
    International Journal on Software Tools for Technology Transfer, Sep 2024
    HTML Code
  4. STTT
    When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C (Extended Version)
    Julian Erhard, Michael Schwarz, Vesal Vojdani, Simmo Saan, and 1 more author
    Int. J. Softw. Tools Technol. Transf., Aug 2024
    HTML
  5. SOAP
    When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
    Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, and Helmut Seidl
    In State Of the Art in Program Analysis, Jun 2024
    HTML
  6. STTT
    Non-numerical weakly relational domains
    Helmut Seidl, Julian Erhard, Sarah Tilscher, and Michael Schwarz
    Int. J. Softw. Tools Technol. Transf., Jun 2024
    HTML
  7. TACAS
    Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution)
    Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, and 4 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, Apr 2024
    HTML
  8. TACAS
    Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution)
    Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, and 4 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, Apr 2024
    HTML
  9. LNCS
    2-Pointer Logic
    Helmut Seidl, Julian Erhard, Michael Schwarz, and Sarah Tilscher
    In Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday, Mar 2024
    HTML
  10. VMCAI
    Correctness Witness Validation by Abstract Interpretation
    Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, and 2 more authors
    In Verification, Model Checking, and Abstract Interpretation, Jan 2024
    Best Paper Award arXiv HTML Code

2023

  1. SAS
    Octagons Revisited - Elegant Proofs and Simplified Algorithms
    Michael Schwarz, and Helmut Seidl
    In Static Analysis Symposium, Oct 2023
    HTML
  2. CSV
    The Top-Down Solver—An Exercise in A^2I
    Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, and 1 more author
    Jul 2023
    HTML
  3. SOAP
    When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
    Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, and 1 more author
    In State Of the Art in Program Analysis, Jun 2023
    HTML Code
  4. ESOP
    Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
    Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, and 1 more author
    In Programming Languages and Systems - 32nd European Symposium on Programming, Apr 2023
    arXiv HTML Code
  5. TACAS
    Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution)
    Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, and 3 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, Apr 2023
    HTML

2021

  1. SAS
    Improving Thread-Modular Abstract Interpretation
    Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, and 2 more authors
    In Static Analysis Symposium, Oct 2021
    arXiv HTML Code
  2. TACAS
    Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution)
    Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, and 3 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, Apr 2021
    HTML