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
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. |
Aug 29, 2024 | Fresh off the press: When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C (Extended Version) in STTT. |
Jun 20, 2024 | Just accepted at SOAP: When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly 🕳️🐇 |
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 |