Publications

Mickaël Laurent, Pierre Donat-Bouillud, Filip Křikava, Jan Vitek (2026). Revisiting Row Polymorphism for Set-Theoretic Types. OOPSLA 2026.

Matěj Kocourek, Filip Křikava, Pierre Donat-Bouillud, Jan Vitek (2026). Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis. MPLR 2026.

PDF Cite Code DOI

Pierre Donat-Bouillud, Coralie Hirschi, Etienne Le Rossignol (2026). Educational Legacies of Christian Missions: Evidence from the Democratic Republic of the Congo. JDE.

Cite DOI ScienceDirect

Pierre Donat-Bouillud, Filip Křikava, Sebastián Krynski, Jan Vitek (2025). R4R: Reproducibility for R. ACM REP 2025.

PDF Cite Code Project Slides DOI

Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, Jan Vitek (2022). signatr: A Data-Driven Fuzzing Tool for R. Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering.

PDF Cite Project

Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph Kirsch, Jan Vitek (2021). What We Eval in the Shadows. 2021 PACMPL Proceedings of the ACM on Programming Languages.

PDF Cite Project

Pierre Donat-Bouillud, Jean-Louis Giavitto, Florent Jacquemard (2019). Optimization of audio graphs by resampling. DAFx 2019 - International Conference on Digital Audio Effects.

José Miguel Fernandez, Jean-Louis Giavitto, Pierre Donat-Bouillud (2019). AntesCollider: Control and Signal Processing in the Same Score. ICMC 2019 - International Computer Music Conference.

Pierre Donat-Bouillud (2018). Ordonnancement adaptatif d'un graphe audio avec dégradation de qualité. JIM 2018 - Journées d’Informatique Musicale.

Pierre Donat-Bouillud, Jean-Louis Giavitto (2017). Typing heterogeneous dataflow graphs for static buffering and scheduling. ICMC 2017 - 43rd International Computer Music Conference.

Pierre Donat-Bouillud, Christoph M Kirsch (2017). Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs. 2017 IEEE Real-Time Systems Symposium (RTSS).

Pierre Donat-Bouillud, Jean-Louis Giavitto, Arshia Cont, Nicolas Schmidt Gubbins, Yann Orlarey (2016). Embedding native audio-processing in a score following system with quasi sample accuracy. Proceedings of the International Computer Music Conference.

Nathanaël Cheriere, Pierre Donat-Bouillud, Shadi Ibrahim, Matthieu Simonin (2016). On the Usability of Shortest Remaining Time First Policy in Shared Hadoop Clusters. SAC 2016-The 31st ACM/SIGAPP Symposium on Applied Computing.

Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson (2015). A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting. Mathematics and Computation in Music: 5th International Conference, MCM 2015.

PDF Cite Project

Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai (2015). Towards an Equational Theory of Rhythm Notation. Music Encoding Conference 2015.

PDF Cite Project

Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson (2015). A Term Rewriting Based Structural Theory of Rhythm Notation.

PDF Cite Project