Frédéric Dabrowski
Frédéric Dabrowski
Verified email at univ-orleans.fr
Title
Cited by
Cited by
Year
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
322010
Feasible reactivity for synchronous cooperative threads
RM Amadio, F Dabrowski
Electronic Notes in Theoretical Computer Science 154 (3), 33-43, 2006
182006
Safe reactive programming: The FunLoft proposal
F Boussinot, F Dabrowski
172007
Feasible reactivity in a synchronous π-calculus
RM Amadio, F Dabrowski
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
172007
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
142009
Replicated synchronization for imperative BSP programs
A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains
Procedia Computer Science 108, 535-544, 2017
132017
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
21 st IASTED International Multi-Conference on 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
62018
Programmation Réactive Synchrone, Langage et Contrôle des Ressources
F Dabrowski
Université Paris-Diderot-Paris VII, 2007
62007
A denotational semantics of textually aligned SPMD Programs
F Dabrowski
Journal of Logical and Algebraic Methods in Programming 108, 90-104, 2019
52019
Cooperative threads and preemptive computations
F Dabrowski, F Boussinot
Proceedings of TV 6, 2006
52006
Nested atomic sections with thread escape: An operational semantics
F Dabrowski, F Loulergue, T Pinsard
2013 International Conference on Parallel and Distributed Computing …, 2013
42013
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
32014
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
Formalisation of FunLoft
F Boussinot, F Dabrowski
22007
Pattern Matching and Exceptions Handling for Bulk Synchronous Parallel ML
F Dabrowski
Master’s thesis,, University Paris XII Val de Marne, 2003
22003
The system can't perform the operation now. Try again later.
Articles 1–20