Frédéric Dabrowski

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 7

Top Venues

SAC

HPCS

J. Log. Algebraic Methods Program.

PDCAT

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Darine Rammal, Wadoud Bousdira, Frédéric Dabrowski
Synchronous cooperative threading model in MSSL. SAC (2023)
Frédéric Dabrowski
On Single-Valuedness in Textually Aligned SPMD Programs. Int. J. Parallel Program. 49 (6) (2021)
Frédéric Dabrowski
A denotational semantics of textually aligned SPMD programs. J. Log. Algebraic Methods Program. 108 (2019)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira
Safe usage of registers in BSPlib. SAC (2019)
Frédéric Dabrowski
A Denotational Semantics of Textually Aligned SPMD Programs. HPCS (2018)
Frédéric Dabrowski
Textual alignment in SPMD programs. SAC (2018)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains
Replicated Synchronization for Imperative BSP Programs. ICCS (2017)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
A formal semantics of nested atomic sections with thread escape. Comput. Lang. Syst. Struct. 42 (2015)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested atomic sections with thread escape: compilation. SAC (2015)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested atomic sections with thread escape: a formal definition. SAC (2014)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested Atomic Sections with Thread Escape: An Operational Semantics. PDCAT (2013)
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Bulk synchronous parallel ML with exceptions. Future Gener. Comput. Syst. 26 (3) (2010)
Frédéric Dabrowski, David Pichardie
A Certified Data Race Analysis for a Java-like Language. TPHOLs (2009)
Roberto M. Amadio, Frédéric Dabrowski
Feasible reactivity in a synchronous Pi-calculus. PPDP (2007)
Roberto M. Amadio, Frédéric Dabrowski
Feasible reactivity in a synchronous pi-calculus CoRR (2007)
Roberto M. Amadio, Frédéric Dabrowski
Feasible Reactivity for Synchronous Cooperative Threads. EXPRESS (2005)
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD (2003)
Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
Semantics of Minimally Synchronous Parallel ML. SNPD (2003)
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD (2003)
Frédéric Dabrowski, Frédéric Loulergue
Functional Bulk Synchronous Parallel Programming in C++. Applied Informatics (2003)

Frédéric Dabrowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Dabrowski