Concepedia

Simon Spies

SS

5

Publications

101

Citations

5

H-Index

2019

Active since

Affiliations

Radboud University Nijmegen(Current)

Max Planck Institute for Software Systems

Saarland University

Aarhus University

Simon Spies is an author at Radboud University Nijmegen specializing in automated reasoning, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLanguageCompilersSemanticsProgram Analysis

Publications per year

2019–2023

5

Publications

5

Transfinite Iris: resolving an existential dilemma of step-indexed separation logic

Simon Spies, Lennard Gäher, Daniel Gratzer et al. · 2021 · 28 citations · Full text

Simuliris: a separation logic framework for verifying concurrent program optimizations

Lennard Gäher, Michael Sammler, Simon Spies et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Program Checking, Engineering, Compiler Technology +20

Later credits: resourceful reasoning for the later modality

Simon Spies, Lennard Gäher, Joseph Tassarotti et al. · Proceedings of the ACM on Programming Languages · 2022 · 19 citations · Full text

Engineering, Step-indexed Logical Relations, Verification +19

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

Michael Sammler, Simon Spies, Youngju Song et al. · Proceedings of the ACM on Programming Languages · 2023 · 17 citations · Full text

Engineering, Verification, Decentralized Approach +23

Call-by-push-value in Coq: operational, equational, and denotational theory

Yannick Forster, Steven Schäfer, Simon Spies et al. · 2019 · 11 citations

Rows per page

1–5 of 5