| Bulk synchronous parallel ML with exceptions L Gesbert, F Gava, F Loulergue, F Dabrowski Future Generation Computer Systems 26 (3), 486-490, 2010 | 34 | 2010 |
| Feasible reactivity in a synchronous π-calculus RM Amadio, F Dabrowski Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 19 | 2007 |
| Safe reactive programming: The FunLoft proposal F Boussinot, F Dabrowski | 18 | 2007 |
| Feasible reactivity for synchronous cooperative threads RM Amadio, F Dabrowski Electronic Notes in Theoretical Computer Science 154 (3), 33-43, 2006 | 17 | 2006 |
| 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 | 15 | 2009 |
| Replicated synchronization for imperative BSP programs A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains Procedia Computer Science 108, 535-544, 2017 | 14 | 2017 |
| 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 | 11 | 2004 |
| Functional bulk synchronous parallel programming in C++. F Dabrowski, F Loulergue 21 st IASTED International Multi-Conference on Applied Informatics, 462-467, 2003 | 10 | 2003 |
| Textual alignment in SPMD programs F Dabrowski Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1046-1053, 2018 | 7 | 2018 |
| A denotational semantics of textually aligned SPMD programs F Dabrowski Journal of Logical and Algebraic Methods in Programming 108, 90-104, 2019 | 6 | 2019 |
| Programmation Réactive Synchrone, Langage et Contrôle des Ressources F Dabrowski Université Paris-Diderot-Paris VII, 2007 | 6 | 2007 |
| Nested atomic sections with thread escape: An operational semantics F Dabrowski, F Loulergue, T Pinsard 2013 International Conference on Parallel and Distributed Computing …, 2013 | 5 | 2013 |
| Cooperative threads and preemptive computations F Dabrowski, F Boussinot Proceedings of TV 6, 2006 | 5 | 2006 |
| 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 | 4 | 2014 |
| Formalisation of FunLoft F Boussinot, F Dabrowski | 3 | 2007 |
| Semantics of Minimally Synchronous Parallel ML. M Arapinis, F Loulergue, F Gava, F Dabrowski SNPD 3, 260-267, 2003 | 3 | 2003 |
| A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. F Gava, F Loulergue, F Dabrowski SNPD, 293-300, 2003 | 3 | 2003 |
| 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 | 2 | 2019 |
| Pattern Matching and Exceptions Handling for Bulk Synchronous Parallel ML F Dabrowski Master's thesis, University Paris XII Val de Marne, 2003 | 2 | 2003 |
