Michael Schwarz

PhD student in Static Analysis @ TUM       (m.schwarz@tum.de)

prof_pic.jpg

Since 2019, I am a PhD candidate in Helmut Seidl’s group and a participant in the DFG Research Training Group ConVeY (Continous Verification of Cyber-Physical Systems).

I am interested in Static Analysis and currently work within the field of Sound Static Analysis by Abstract Interpretation. There, we have, e.g., proposed techniques for efficient abstract interpretation of multi-threaded programs, worked on increasing usability by making static analysis incremental, and designed novel analyses for sometimes overlooked features of the C programming language.

I contribute to and currently co-maintain (with Simmo Saan and Karoliine Holter from UTartu) the static analysis framework Goblint for multi-threaded C programs, which serves as the testbed for many of our ideas.

I received a B.Sc. from TUM in 2016, and a M.Sc. from TUM in 2019. During my Master’s, I spent one term on exchange at the University of Waterloo and interned at NTNU as a software engineer for one term.

news

Jan 20, 2025 Just accepted: Our paper Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts will be presented at VMCAI 2025 👻🎉
Dec 02, 2024 Vesal Vojdani’s group is visiting us in Munich for a week-long Goblint developer workshop. 🇪🇪🇩🇪
Oct 20, 2024 I will be at SAS and NSAD this year to present our NSAD paper C-2PO: A Weakly Relational Pointer Domain. See you there! 🇺🇸
Sep 25, 2024 Fresh off the press: Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap in STTT.

selected publications

  1. 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
  2. SAS
    Octagons Revisited - Elegant Proofs and Simplified Algorithms
    Michael Schwarz, and Helmut Seidl
    In Static Analysis Symposium, Oct 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. 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

service

Reviewer NSAD '24, STTT Special Section CSV'23
Artifact Evaluation Committee SAS '24, ESOP/FASE/FoSSaCS '24, TACAS' 22
Outreach TEDxTUM (student-organized popular science conference) Licensee 2019-2022