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
SPLASH 2023 profile
Registered user since Sat 7 Nov 2020
Name:
Simon Spies
Country:
Germany
Affiliation:
MPI-SWS
Contributions
2023
SPLASH
Author of Melocoton: A Program Logic for Verified Interoperability Between OCaml and C within the OOPSLA-track
POPL
Author of DimSum: A Decentralized Approach to Multi-language Semantics and Verification within the POPL-track
2022
ICFP
Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track
PLDI
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
Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
2021
PLDI
Author of Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the PLDI-track
POPL
Author of Transfinite Step-Indexing for Termination within the POPL-track
Share
x
Fri 29 Mar 11:58