Frédéric Dabrowski

Associate Professor
Head of the LMV Team
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans - Computer Sciences Department

Université d'Orléans - Faculté des sciences
Bâtiment IIIA
Rue Léonard de Vinci, B.P. 6759
F-45067 ORLEANS Cedex 2, France

☎ +33 (0)2 38 49 27 51
@ firstname.lastname@univ-orleans.fr
ORCID iD iconhttps://orcid.org/0000-0001-9009-0676


Research Interests
Research Projects
Phd. Students
Recent Publications

Verification of DRMA communications
High-level Parallel Programming and Applications, Jul 2020, Porto, Portugal
Frederic Dabrowski,

The Journal of Supercomputing volume 76, page 4976 (2020)
2020
Frederic Dabrowski,

A denotational semantics of textually aligned SPMD Program
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, ⟨10.1016/j.jlamp.2019.02.010⟩
Frederic Dabrowski,

Safe Usage of Registers in BSPlib
SAC 2019, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297421⟩
Wadoud Bousdira, Arvid Jakobsson, Frederic Dabrowski,

Safe Usage of Registers in BSPlib (Preprint)
2019
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira,

A Denotational Semantics of Textually Aligned SPMD Programs
International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. ⟨10.1109/HPCS.2018.00119⟩
Frédéric Dabrowski,

Textual Alignment in SPMD Programs
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167254⟩
Frederic Dabrowski,

Textual Alignment in SPMD Programs
[Research Report] RR-2017-07, LIFO, Université d'Orléans. 2017
Frederic Dabrowski,

Replicated Synchronization for Imperative BSP Programs
International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains,

Nested atomic sections with thread escape: Compilation to threads and locks
ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard,

A formal semantics of nested atomic sections with thread escape
Computer Languages, Systems and Structures, Elsevier, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard,