• Sign in
  • Sign up
conf.researchr.org / Simon Spies
  • ICFP 2022 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
Simon Spies

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
xSat 4 Feb 07:36
using conf.researchr.org (v1.58.0)
Support page
Sign Up