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

https://orcid.org/0000-0001-9009-0676

Research Interests

Semantics of Programming Languages
Program Analysis
Concurrency

Research Projects

BSP Program Analysis, Partnership with Huwaei, 2016-2019.
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

Darine Rammal, (MNSR, 2019-202?), Reactive Programming languages for IOT, (co-supervised with P. Réty and W. Bousdira)
Arvid Jakobsson, (CIFRE Huawei, 2016-2019), BSP-programs Static Analysis, (co-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

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,