Michael Schwarz - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

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

VMCAI

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts

Show activities from other conferences

POPL 2025-profile
View general profile