| 2026 | LICS | Lazy Intermediate Representations for Algebraic Effects. | Simon Castellan, Hugo Paquet |
| 2026 | LICS | Wiring the π-Calculus to Denotational Semantics. | Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault |
| 2019 | ESOP | Probabilistic Programming Inference via Intensional Semantics. | Simon Castellan, Hugo Paquet |
| 2019 | FOSSACS | Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). | Simon Castellan, Nobuko Yoshida |
| 2018 | FOSSACS | Non-angelic Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel |
| 2018 | LICS | The concurrent game semantics of Probabilistic PCF. | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
| 2017 | MFCS | Distributed Strategies Made Easy. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2016 | CONCUR | Causality vs. Interleavings in Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault |
| 2015 | LICS | The Parallel Intensionally Fully Abstract Games Model of PCF. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2014 | CSL | Symmetry in concurrent games. | Simon Castellan, Pierre Clairambault, Glynn Winskel |