Michael Schwarz
PhD student in Static Analysis @ TUM (m.schwarz@tum.de)
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
- VMCAICorrectness Witness Validation by Abstract InterpretationIn Verification, Model Checking, and Abstract Interpretation, Jan 2024
- SASOctagons Revisited - Elegant Proofs and Simplified AlgorithmsIn Static Analysis Symposium, Oct 2023
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 |