Frédéric Dabrowski

24 papers C 5Misc 7Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 Misc conf
A Mechanized Formalization of an FRP Language with Effects.
SAC
Jordan Ischard, Frédéric Dabrowski, Jules Chouquet, Frédéric Loulergue
2025 J jnl
Functional Reactive Programming with Effects, A More Permissive Approach.
CoRR
Frédéric Dabrowski, Jordan Ischard
2024 — book
Formal Methods for Synchronization in Parallel and Concurrent Programming Languages.
Frédéric Dabrowski
2023 Misc conf
Synchronous cooperative threading model in MSSL.
SAC
Darine Rammal, Wadoud Bousdira, Frédéric Dabrowski
2021 J jnl
On Single-Valuedness in Textually Aligned SPMD Programs.
Int. J. Parallel Program.
Frédéric Dabrowski
2019 J jnl
A denotational semantics of textually aligned SPMD programs.
J. Log. Algebraic Methods Program.
Frédéric Dabrowski
2019 Misc conf
Safe usage of registers in BSPlib.
SAC
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira
2018 — conf
A Denotational Semantics of Textually Aligned SPMD Programs.
HPCS
Frédéric Dabrowski
2018 Misc conf
Textual alignment in SPMD programs.
SAC
Frédéric Dabrowski
2017 Misc conf
Replicated Synchronization for Imperative BSP Programs.
ICCS
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains
2015 J jnl
A formal semantics of nested atomic sections with thread escape.
Comput. Lang. Syst. Struct.
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
2015 Misc conf
Nested atomic sections with thread escape: compilation.
SAC
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
2014 Misc conf
Nested atomic sections with thread escape: a formal definition.
SAC
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
2013 C conf
Nested Atomic Sections with Thread Escape: An Operational Semantics.
PDCAT
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
2010 J jnl
Bulk synchronous parallel ML with exceptions.
Future Gener. Comput. Syst.
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2009 — conf
A Certified Data Race Analysis for a Java-like Language.
TPHOLs
Frédéric Dabrowski, David Pichardie
2007 C conf
Feasible reactivity in a synchronous Pi-calculus.
PPDP
Roberto M. Amadio, Frédéric Dabrowski
2007 J jnl
Feasible reactivity in a synchronous pi-calculus
CoRR
Roberto M. Amadio, Frédéric Dabrowski
2007 — —
Programmation Réactive Synchrone, Langage et Contrôle des Ressources.
Frédéric Dabrowski
2005 — conf
Feasible Reactivity for Synchronous Cooperative Threads.
EXPRESS
Roberto M. Amadio, Frédéric Dabrowski
2003 C conf
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML.
SNPD
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2003 — conf
Functional Bulk Synchronous Parallel Programming in C++.
Applied Informatics
Frédéric Dabrowski, Frédéric Loulergue
2003 C conf
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML.
SNPD
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2003 C conf
Semantics of Minimally Synchronous Parallel ML.
SNPD
Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski