| 2025 | SAC | A Mechanized Formalization of an FRP Language with Effects. | Jordan Ischard, Frdric Dabrowski, Jules Chouquet, Frdric Loulergue |
| 2023 | SAC | Synchronous cooperative threading model in MSSL. | Darine Rammal, Wadoud Bousdira, Frdric Dabrowski |
| 2019 | SAC | Safe usage of registers in BSPlib. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira |
| 2018 | SAC | Textual alignment in SPMD programs. | Frdric Dabrowski |
| 2017 | ICCS | Replicated Synchronization for Imperative BSP Programs. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira, Frdric Loulergue, Gatan Hains |
| 2015 | SAC | Nested atomic sections with thread escape: compilation. | Frdric Dabrowski, Frdric Loulergue, Thomas Pinsard |
| 2014 | SAC | Nested atomic sections with thread escape: a formal definition. | Frdric Dabrowski, Frdric Loulergue, Thomas Pinsard |
| 2013 | PDCAT | Nested Atomic Sections with Thread Escape: An Operational Semantics. | Frdric Dabrowski, Frdric Loulergue, Thomas Pinsard |
| 2007 | PPDP | Feasible reactivity in a synchronous Pi-calculus. | Roberto M. Amadio, Frdric Dabrowski |
| 2003 | SNPD | Semantics of Minimally Synchronous Parallel ML. | Myrto Arapinis, Frdric Loulergue, Frdric Gava, Frdric Dabrowski |
| 2003 | SNPD | A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |
| 2003 | SNPD | Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |