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
PLDI 2024 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
2024
PLDI
Author of Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq within the PLDI Research Papers-track
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
Thu 21 Nov 12:57
