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

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,