Dr. 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


Research Interests
Teaching
Research Projects
Phd. Students
Recent Publications

A Denotational Semantics of Textually Aligned SPMD Programs
International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Jul 2018, Orléans, France. Proceedings of the 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD)
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
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. Elsevier., Procedia Computer Sciences, Procedia Computer Science
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. ACM, 2015, 〈http://www.acm.org/conferences/sac/sac2015〉
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, pp.24
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard,