| 2026 | FSCD | Universal Properties of Petri Net Unfoldings. | Serge Lechenne, Hugo Paquet |
| 2026 | LICS | Lazy Intermediate Representations for Algebraic Effects. | Simon Castellan, Hugo Paquet |
| 2025 | FSCD | Categorical Continuation Semantics for Concurrency. | Flavien Breuvart, Hugo Paquet |
| 2024 | LICS | Element-free probability distributions and random partitions. | Victor Blanchi, Hugo Paquet |
| 2024 | LICS | Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. | Hugo Paquet, Philip Saville |
| 2023 | LICS | From Thin Concurrent Games to Generalized Species of Structures. | Pierre Clairambault, Federico Olimpieri, Hugo Paquet |
| 2022 | FSCD | A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. | Marcelo Fiore, Zeinab Galal, Hugo Paquet |
| 2021 | ESOP | Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. | Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner |
| 2021 | ESOP | Bayesian strategies: probabilistic programs as generalised graphical models. | Hugo Paquet |
| 2019 | ESOP | Probabilistic Programming Inference via Intensional Semantics. | Simon Castellan, Hugo Paquet |
| 2018 | CSL | Fully Abstract Models of the Probabilistic lambda-calculus. | Pierre Clairambault, Hugo Paquet |
| 2018 | LICS | The concurrent game semantics of Probabilistic PCF. | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |