Frédéric Dabrowski

According to our database, Frédéric Dabrowski authored at least 19 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Synchronous cooperative threading model in MSSL.

Darine Rammal, Wadoud Bousdira, Frédéric Dabrowski

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2021

On Single-Valuedness in Textually Aligned SPMD Programs.

Frédéric Dabrowski

Int. J. Parallel Program., 2021

2019

A denotational semantics of textually aligned SPMD programs.

Frédéric Dabrowski

J. Log. Algebraic Methods Program., 2019

Safe usage of registers in BSPlib.

Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Textual alignment in SPMD programs.

Frédéric Dabrowski

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Replicated Synchronization for Imperative BSP Programs.

Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains

Proceedings of the International Conference on Computational Science, 2017

2015

A formal semantics of nested atomic sections with thread escape.

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard

Comput. Lang. Syst. Struct., 2015

Nested atomic sections with thread escape: compilation.

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Nested atomic sections with thread escape: a formal definition.

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard

Proceedings of the Symposium on Applied Computing, 2014

2013

Nested Atomic Sections with Thread Escape: An Operational Semantics.

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard

Proceedings of the International Conference on Parallel and Distributed Computing, 2013

2010

Bulk synchronous parallel ML with exceptions.

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Future Gener. Comput. Syst., 2010

2009

A Certified Data Race Analysis for a Java-like Language.

Frédéric Dabrowski, David Pichardie

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2007

Programmation Réactive Synchrone, Langage et Contrôle des Ressources.

Frédéric Dabrowski

PhD thesis, 2007

Feasible reactivity in a synchronous Pi-calculus.

Roberto M. Amadio, Frédéric Dabrowski

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2005

Feasible Reactivity for Synchronous Cooperative Threads.

Roberto M. Amadio, Frédéric Dabrowski

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

2003

Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Semantics of Minimally Synchronous Parallel ML.

Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Functional Bulk Synchronous Parallel Programming in C++.

Frédéric Dabrowski, Frédéric Loulergue

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003