Michael Schwarz -

Registered user since Fri 17 Sep 2021

Name:Michael Schwarz

Country:Germany

Affiliation:TU Munich

Personal website: https://michael-schwarz.github.io/

X (Twitter): https://x.com/93mSchwarz

GitHub: https://github.com/michael-schwarz

Contributions

2025

PLDI

Author of Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses within the PLDI Research Papers-track

SOAP

Committee Member in Program Committee within the State Of the Art in Program Analysis-track
Session Chair of SOAP 2 (part of State Of the Art in Program Analysis)

VMCAI

Author of Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts within the VMCAI 2025-track

2024

NSAD

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track

SOAP

Author of When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly within the SOAP 2024-track

VMCAI

Author of Correctness Witness Validation by Abstract Interpretation within the VMCAI 2024-track

2023

Static Analysis Symposium

Author of Octagons Revisited - Elegant Proofs and Simplified Algorithms within the SAS 2023-track

SOAP

Author of When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C within the SOAP 2023-track

2022

SPLASH

Author of Improving Thread-Modular Abstract Interpretation within the COVID Time Papers In Person-track

2021

Static Analysis Symposium

Author of Improving Thread-Modular Abstract Interpretation within the SAS-track