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

SOAP

Committee Member in Program Committee within the State Of the Art in Program Analysis-track

VMCAI

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

2024

NSAD

Committee Member in Program Committee within the NSAD 2024-track
Author of C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For” within the NSAD 2024-track
Session Chair of NSAD: Session 3 (part of NSAD 2024)

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