Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simon Spies
conf.researchr.org general profile
ICFP 2022 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Sat 7 Nov 2020
Name:
Simon Spies
Country:
Germany
Affiliation:
MPI-SWS
Contributions
POPL 2023
Author of DimSum: A Decentralized Approach to Multi-language Semantics and Verification within the POPL-track
ICFP 2022
Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track
PLDI 2022
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the SIGPLAN Track-track
POPL 2022
Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
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
Share
x
Sat 4 Feb 07:36