Michael Schwarz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 16

Top Topics

Abstract Interpretation

Relational Domains

Top Venues

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)
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)
Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, Helmut Seidl
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly. SOAP@PLDI (2024)
Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher
2-Pointer Logic. Taming the Infinities of Concurrency (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)
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. CoRR (2023)
Michael Schwarz, Helmut Seidl
Octagons Revisited - Elegant Proofs and Simplified Algorithms. SAS (2023)
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. SOAP@PLDI (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)
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. ESOP (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)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. SAS (2021)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) (2021)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. CoRR (2021)