Simon Spies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2019–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. | Simon Spies, Lennard Gher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal |
| 2020 | CPP | Undecidability of higher-order unification formalised in Coq. | Simon Spies, Yannick Forster |
| 2019 | CPP | Call-by-push-value in coq: operational, equational, and denotational theory. | Yannick Forster, Steven Schfer, Simon Spies, Kathrin Stark |