Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Zumkeller
conf.researchr.org general profile
POPL 2026 profile
Registered user since Wed 15 Oct 2025
Name:
Matthias Zumkeller
Contributions
2026
POPL
Student Volunteer in Student Volunteers
Author of The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs within the POPL-track
Share
x
Mon 11 May 23:19