Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model. - Steve Kommrusch; Théo Barollet; Louis-Noël Pouchet (CoRR, 2020)

Do Common Educational Datasets contain Static Information? A Statistical Study. - Théo Barollet; Florent Bouchez-Tichadou; Fabrice Rastello (EDM, 2021)

Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models. - Steve Kommrusch; Théo Barollet; Louis-Noël Pouchet (CoRR, 2021)

Apprentissage de la programmation par les problèmes : génération automatique d'exercices et recommandation. (- Learning problem-based programming : automatic generation of exercises and recommendations). - Théo Barollet (2023)

EasyTracker: A Python Library for Controlling and Inspecting Program Execution. - Théo Barollet; Christophe Guillon; Manuel Selva; François Broquedis; Florent Bouchez-Tichadou; Fabrice Rastello (CGO, 2024)