2025
- Neven Villani (Class of 2020), Johannes Hostert, Derek Dreyer, Ralf Jung: Tree Borrows, PLDI 2025, (Distinguished Paper Award)
2024
- Gaspard Reghem (ENS Paris-Saclay, class of 2021), Rob J. van Glabbeek: Branching Bisimilarity for Processes with Time-outs, CONCUR 2024
- Masahito Hasegawa (Kyoto University) and Serge Lechenne (ENS Paris-Saclay, class of 2021): "Braids, Twists, Trace, and Duality in Combinatory Algebras," LICS 2024
- Serge Lechenne (ENS Paris-Saclay, class of 2021), Clovis Eberhart and Ichiro Hasuo: A Compositional Approach to Petri Nets, CMCS 2024
- Christel Baier (TU Dresden), Roxane van den Bossche (TU Dresden, ENS Paris-Saclay, class of 2021), Sascha Klüppelholz (TU Dresden), Johannes Lehmann (TU Dresden), and Jakob Piribauer (TU Dresden): Backward Responsibility in Transition Systems Using General Power Indices. AAAI 2024
- Tanguy Bozec (University of Grenoble-Alpes and ENS Paris-Saclay, Class of 2021), Nicolas Peltier (University of Grenoble-Alpes and CNRS), Quentin Petitjean (LMF, University of Paris-Saclay and CNRS), Mihaela Sighireanu (LMF, University of Paris-Saclay and CNRS). What Is Decidable in Separation Logic Beyond Progress, Connectivity, and Establishment? IJCAR 2024
- Martin Bromberger (Max Planck Institute for Informatics), Florent Krasnopol (ENS Paris-Saclay, class of 2021), Sibylle Möhle (Max Planck Institute for Informatics), and Christoph Weidenbach (Max Planck Institute for Informatics). First-Order Automatic Literal Model Generation IJCAR 2024
2023
- Josué Moreau and Léo Kulinski: Musical Juggling: When Musical Notes Fall Under the Influence of Gravity, Paris-Saclay 2023 Multidisciplinary Junior Conference
- Basavesh Ammanaghatta Shivakumar (MPI-SP), Gilles Barthe (MPI-SP and IMDEA Software Institute), Benjamin Grégoire (Inria and Université Côte d'Azur), Vincent Laporte (Inria Nancy), Tiago Oliviera (MPI-SP), Swarn Priya (Inria and Université Côte d'Azur), Peter Schwabe (MPI-SP & Radboud University), Lucas Tabary-Maujean (ENS Paris-Saclay, class of 2021): Typing High-Speed Cryptography against Spectre v1, SP 2023 (Distinguished Paper Awards)
- Thomas Lamiaux (class of 2020), Axel Ljungström, Anders Mörtberg: Computing Cohomology Rings in Cubical Agda. CPP 2023 (Distinguished Paper Award)
2022
- Manon Blanc (Class of 2017) and Olivier Bournez. “A Characterization of Polynomial-Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations.” MCU 2022 (Best Student Paper Award)
- Antonin Callard (Class of 2018) and Benjamin Hellouin de Menibus. The Aperiodic Domino Problem in Higher Dimensions. STACS 2022
- Hugo Jacob (class of 2019), Marcin Pilipczuk. Bounding Twin-Width for Bounded-Treewidth Graphs, Planar Graphs, and Bipartite Graphs. WG 2022
- Hans L. Bodlaender, Carla Groenland, Hugo Jacob (class of 2019). List Coloring Trees in Logarithmic Space. ESA 2022
- Hans L. Bodlaender, Carla Groenland, Hugo Jacob (class of 2019), Marcin Pilipczuk, Michal Pilipczuk. On the Complexity of Problems on Tree-Structured Graphs. IPEC 2022
- Hans L. Bodlaender, Carla Groenland, Hugo Jacob (class of 2019). On the Parameterized Complexity of Computing Tree-Partitions. IPEC 2022
- Hans L. Bodlaender, Carla Groenland, Hugo Jacob (class of 2019), Lars Jaffke, Paloma T. Lima. XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure. IPEC 2022 (Best Paper Award)
- Darya Melnyk, Jukka Suomela, and Neven Villani (Class of 2020). Mending Partial Solutions with Few Changes. OPODIS 2022
2021
- Léonard Brice (Class of 2017), Jean-François Raskin, and Marie Van Den Bogaard. Subgame-Perfect Equilibria in Mean-Payoff Games, CONCUR 2021 (Best Paper Award)
- Yoan Géran, Bastien Laboureix, Corto Mascle, and Valentin D. Richard (Class of 2017). Keyboards as a New Model of Computation, MFCS 2021 (Best Student Paper Award)
- Hugo Jacob (Class of 2019), Thomas Bellitto, Oscar Defrain, and Marcin Pilipczuk. Close Relatives (Of Feedback Vertex Set), Revisited. IPEC 2021
- Pascal Vanier and Antonin Callard (Class of 2018). Computational Characterization of Surface Entropies for Z² Subshifts of Finite Type, ICALP 2021.