Suivre
Frédéric Dabrowski
Frédéric Dabrowski
Adresse e-mail validée de univ-orleans.fr
Titre
Citée par
Citée par
Année
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
332010
Feasible reactivity in a synchronous π-calculus
RM Amadio, F Dabrowski
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
192007
Safe reactive programming: The FunLoft proposal
F Boussinot, F Dabrowski
182007
Feasible reactivity for synchronous cooperative threads
RM Amadio, F Dabrowski
Electronic Notes in Theoretical Computer Science 154 (3), 33-43, 2006
162006
A certified data race analysis for a Java-like language
F Dabrowski, D Pichardie
International Conference on Theorem Proving in Higher Order Logics, 212-227, 2009
152009
Replicated synchronization for imperative BSP programs
A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains
Procedia Computer Science 108, 535-544, 2017
142017
Semantics and implementation of minimally synchronous parallel ML
F Loulergue, F Gava, M Arapinis, F Dabrowski
International Journal of Computer and Information Science 5 (3), 182-199, 2004
112004
Functional Bulk Synchronous Parallel Programming in C++.
F Dabrowski, F Loulergue
Applied Informatics, 462-467, 2003
102003
Textual alignment in SPMD programs
F Dabrowski
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1046-1053, 2018
72018
A denotational semantics of textually aligned SPMD programs
F Dabrowski
Journal of Logical and Algebraic Methods in Programming 108, 90-104, 2019
62019
Programmation Réactive Synchrone, Langage et Contrôle des Ressources
F Dabrowski
Université Paris-Diderot-Paris VII, 2007
62007
Nested atomic sections with thread escape: An operational semantics
F Dabrowski, F Loulergue, T Pinsard
2013 International Conference on Parallel and Distributed Computing …, 2013
52013
Cooperative threads and preemptive computations
F Dabrowski, F Boussinot
Proceedings of TV 6, 2006
52006
Nested atomic sections with thread escape: A formal definition
F Dabrowski, F Loulergue, T Pinsard
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1585-1592, 2014
42014
Formalisation of FunLoft
F Boussinot, F Dabrowski
32007
Semantics of Minimally Synchronous Parallel ML.
M Arapinis, F Loulergue, F Gava, F Dabrowski
SNPD 3, 260-267, 2003
32003
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML.
F Gava, F Loulergue, F Dabrowski
SNPD, 293-300, 2003
32003
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML
F Dabrowski, F Loulergue, F Gava
4th International Conference on Software Engineering, Artificial …, 0
3
Safe usage of registers in BSPlib
A Jakobsson, F Dabrowski, W Bousdira
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1400-1407, 2019
22019
Pattern Matching and Exceptions Handling for Bulk Synchronous Parallel ML
F Dabrowski
Master's thesis, University Paris XII Val de Marne, 2003
22003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20