Functional Bulk Synchronous Parallel Programming in C++. - Frédéric Dabrowski; Frédéric Loulergue (Applied Informatics, 2003)

Semantics of Minimally Synchronous Parallel ML. - Myrto Arapinis; Frédéric Loulergue; Frédéric Gava; Frédéric Dabrowski (SNPD, 2003)

A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (SNPD, 2003)

Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (SNPD, 2003)

Feasible Reactivity for Synchronous Cooperative Threads. - Roberto M. Amadio; Frédéric Dabrowski (EXPRESS, 2005)

Feasible reactivity in a synchronous Pi-calculus. - Roberto M. Amadio; Frédéric Dabrowski (PPDP, 2007)

Programmation Réactive Synchrone, Langage et Contrôle des Ressources. - Frédéric Dabrowski (2007)

A Certified Data Race Analysis for a Java-like Language. - Frédéric Dabrowski; David Pichardie (TPHOLs, 2009)

Bulk synchronous parallel ML with exceptions. - Louis Gesbert; Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (Future Gener. Comput. Syst., 2010)

Nested Atomic Sections with Thread Escape: An Operational Semantics. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (PDCAT, 2013)

Nested atomic sections with thread escape: a formal definition. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (SAC, 2014)

Nested atomic sections with thread escape: compilation. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (SAC, 2015)

A formal semantics of nested atomic sections with thread escape. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (Comput. Lang. Syst. Struct., 2015)

Replicated Synchronization for Imperative BSP Programs. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira; Frédéric Loulergue; Gaétan Hains (ICCS, 2017)

Textual alignment in SPMD programs. - Frédéric Dabrowski (SAC, 2018)

Safe usage of registers in BSPlib. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira (SAC, 2019)

A denotational semantics of textually aligned SPMD programs. - Frédéric Dabrowski (J. Log. Algebraic Methods Program., 2019)

On Single-Valuedness in Textually Aligned SPMD Programs. - Frédéric Dabrowski (Int. J. Parallel Program., 2021)

Synchronous cooperative threading model in MSSL. - Darine Rammal; Wadoud Bousdira; Frédéric Dabrowski (SAC, 2023)

Formal Methods for Synchronization in Parallel and Concurrent Programming Languages. - Frédéric Dabrowski (2024)

A Mechanized Formalization of an FRP Language with Effects. - Jordan Ischard; Frédéric Dabrowski; Jules Chouquet; Frédéric Loulergue (SAC, 2025)

Functional Reactive Programming with Effects, A More Permissive Approach. - Frédéric Dabrowski; Jordan Ischard (CoRR, 2025)