| 2026 | VMCAI | Finding Photonics Circuits via δ-Weakening SMT. | Marco Lewis, Benot Valiron |
| 2025 | CSL | A Rewriting Theory for Quantum λ-Calculus. | Claudia Faggian, Gaetan Lopez, Benot Valiron |
| 2024 | APLAS | Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures. | Vtor Fernandes, Marc de Visme, Benot Valiron |
| 2024 | FSCD | Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. | Kostia Chardonnet, Louis Lemonnier, Benot Valiron |
| 2023 | CSL | A Curry-Howard Correspondence for Linear, Reversible Computation. | Kostia Chardonnet, Alexis Saurin, Benot Valiron |
| 2023 | LICS | A Complete Equational Theory for Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | MFCS | LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | QCE | Simulation of Linear Optical Interferometers (Extended Abstract). | Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benot Valiron |
| 2021 | APLAS | Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. | Agustn Borgna, Simon Perdrix, Benot Valiron |
| 2021 | ESOP | An Automated Deductive Verification Framework for Circuit-building Quantum Programs. | Christophe Chareton, Sbastien Bardin, Franois Bobot, Valentin Perrelle, Benot Valiron |
| 2021 | MFCS | Geometry of Interaction for ZX-Diagrams. | Kostia Chardonnet, Benot Valiron, Renaud Vilmart |
| 2020 | RC | Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. | Timothe Goubault de Brugire, Marc Baboulin, Benot Valiron, Simon Martiel, Cyril Allouche |
| 2020 | RC | Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. | Kostia Chardonnet, Alexis Saurin, Benot Valiron |
| 2019 | ICCS | Synthesizing Quantum Circuits via Numerical Optimization. | Timothe Goubault de Brugire, Marc Baboulin, Benot Valiron, Cyril Allouche |
| 2019 | LICS | Realizability in the Unitary Sphere. | Alejandro Daz-Caro, Mauricio Guillermo, Alexandre Miquel, Benot Valiron |
| 2018 | FOSSACS | From Symmetric Pattern-Matching to Quantum Control. | Amr Sabry, Benot Valiron, Juliana Kaizer Vizzotto |
| 2017 | POPL | The geometry of parallelism: classical, probabilistic, and quantum effects. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2016 | RC | Generating Reversible Circuits from Higher-Order Functional Programs. | Benot Valiron |
| 2015 | LICS | Parallelism and Synchronization in an Infinitary Context. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2014 | ICTAC | Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. | Benot Valiron, Steve Zdancewic |
| 2014 | POPL | Applying quantitative semantics to higher-order quantum computing. | Michele Pagani, Peter Selinger, Benot Valiron |
| 2013 | PLDI | Quipper: a scalable quantum programming language. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2013 | RC | An Introduction to Quantum Programming in Quipper. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2008 | FOSSACS | A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). | Peter Selinger, Benot Valiron |