Publications
Feasible reactivity in a synchronous pi-calculus
R.M. Amadio and F. Dabrowski
In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of
Declarative Programming, 2007
Programmation Réactive Synchrone: langages et contrôle des ressources
Ph.D. Thesis, Université Paris 7, 2007
Bulk Synchronous Parallel ML with Exceptions
L. Gesbert, F. Gava, F. Loulergue and F. Dabrowski
In Peter Kacsuk, Thomas Fahringer, and Zsolt Nemeth, editors,
Distributed and Parallel Systems (DAPSYS 2006), pages 33-42.
Springer, 2006
Cooperative Threads and Preemptive Computations
F. Dabrowski and F. Boussinot
In Proceedings of the workshop on Multithreading in Hardware and
Software:
Formal Approaches to Design and Verification, TV, Seattle,
2006
Bulk Synchronous Parallel ML avec exceptions
Gesbert, L. and Gava, L. and Loulergue, F. and Dabrowski, F.
In Rencontres Francophones du Parallélisme (Renpar'17), 2006
Feasible Reactivity for Synchronous Cooperative Threads
R. M. Amadio and F. Dabrowski
Electronic Notes in TCS, 154(3), 2005, pp. 33-43
Semantics and Implementation of Minimally Synchronous Parallel ML
Loulergue, F. and Gava, F. and Arapinis, M. and Dabrowski, F.
International Journal of Computer and Information Science, 5(3), 2004, pp. 182-199.
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML
Dabrowski, F. and Loulergue, F. and Gava, F.
In proceedings of the 4th International Conference on Software Engineering,
Artificial Intelligence,
Networking, and Parallel/Distributed Computing (SNPD'03),
2003, pp. 301-308.
Semantics of Minimally Synchronous Parallel ML
Arapinis, M. and Loulergue, F. and Gava, F. and Dabrowski, F.
In proceedings of the 4th International Conference on Software Engineering,
Artificial Intelligence,
Networking, and Parallel/Distributed Computing
(SNPD'03),2003, pp. 260-267
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML
Gava, F. and Loulergue, F. and Dabrowski, F.
In proceedings of the 4th International Conference on Software Engineering,
Artificial Intelligence,
Networking, and Parallel/Distributed Computing (SNPD'03),
2003, pp. 293-300
Pattern Matching and Exceptions Handling for Bulk Synchronous Parallel ML
Master Thesis, Université Paris Val-de-Marne, 2003.
Functional Bulk Synchronous Programming in C++
Dabrowski, F. and Loulergue, F.
In proceedings of the 21st IASTED International Multi-conference, Applied Informatics (AI
2003),
Symposium on Parallel and Distributed Computing and Networks ,
february, 2003, pp. 462-467
Long versions as Technical Reports
Feasible Reactivity in a Synchronous pi-calculus
R.M. Amadio and F. Dabrowski
00130322, archive ouverte HAL, 2007
Cooperative Threads and Preemptive Computations
F. Dabrowski and F. Boussinot
inria-00078780, archive ouverte HAL, 2006
Pattern Matching and Exceptions Handling for Bulk Synchronous Parallel ML
F. Dabrowski
TR 2003-06, University of Paris Val-de-Marne, LACL, 2003
Efficiency of Bulk Synchronous Parallel Programming using
C++, BSCF++ and BSMLlib
Dabrowski, F. and Loulergue, F.
TR 2002-10, University of Paris Val-de-Marne, LACL, june, 2002.
Functional Bulk Synchronous Parallel Programming in C++
Dabrowski, F. and Loulergue, F.
2002-13, University of Paris Val-de-Marne, LACL, august, 2002.