conf.researchr.org / Simon Spies

Registered user since Sat 7 Nov 2020

Name:Simon Spies
Country:Germany
Affiliation:MPI-SWS

Contributions

PLDI 2021 Author of Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the PLDI-track
POPL 2021 Author of Transfinite Step-Indexing for Termination within the POPL-track