Frédéric Dabrowski
Associate Professor
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
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 communicationsHigh-level Parallel Programming and Applications, Jul 2020, Porto, PortugalFrederic Dabrowski, The Journal of Supercomputing volume 76, page 4976 (2020)2020Frederic Dabrowski, A denotational semantics of textually aligned SPMD ProgramJournal of Logical and Algebraic Methods in Programming, 2019, ⟨10.1016/j.jlamp.2019.02.010⟩Frederic Dabrowski, Safe Usage of Registers in BSPlibSAC 2019, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297421⟩Wadoud Bousdira, Arvid Jakobsson, Frederic Dabrowski, Safe Usage of Registers in BSPlib (Preprint)2019Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, A Denotational Semantics of Textually Aligned SPMD ProgramsInternational Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. ⟨10.1109/HPCS.2018.00119⟩Frédéric Dabrowski, Textual Alignment in SPMD ProgramsSAC '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. 2017Frederic Dabrowski, Replicated Synchronization for Imperative BSP ProgramsInternational 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 locksACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, SpainFrédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard, A formal semantics of nested atomic sections with thread escapeComputer Languages, Systems and Structures, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard,