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

Semantics of Programming Languages
Program Analysis
Concurrency

Teaching

Research Projects

PaPDAS (co-PI, in partnership with JST (Japan Science and Technology Agency)) ANR SIMI 2 2011-2014 Parallel Program Development with Algorithmic Skeletons
PARSEC ANR SetIn 2006-2010 PARallelism and SECurity
CRISS ACI Sécurité 2003-2006 Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones
CARAML ACI GRID 2002-2004 CoordinAtion et Répartition des Applications Multiprocesseurs en Objective CamL

Phd. Students

Arvid Jakobsson, (CIFRE Huawei, 2016-), BSP-programs Static Analysis, (supervised with W. Bousdira, F. Loulergue, W. Suijlen, G. Hains)
Sylvain Dailler, (French ANR, 2011-2015), Modular Certified Compilation for Parallel Programming, (co-supervised with F. Loulergue). Now Research Engineer at Inria
Thomas Pinsard, (MNSR, 2009-2014), Nested Atomic Section with Thread Escape : Semantics and Compilation, (co-supervised with F. Loulergue). Now Lecturer at IUT d'Orléans.

Recent Publications

Safe Usage of Registers in BSPlib
SAC 2019, Apr 2019, Limassol, Cyprus
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 Program
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press
Frederic Dabrowski,

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
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
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, pp.24
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard,