Nombre de documents

17

CV de Frédéric Dabrowski


Communication dans un congrès11 documents

  • Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains. Replicated Synchronization for Imperative BSP Programs. International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. Elsevier., Procedia Computer Science. <hal-01494832>
  • Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested atomic sections with thread escape: Compilation to threads and locks. ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain. ACM, 2015, <http://www.acm.org/conferences/sac/sac2015>. <hal-01105093>
  • Frederic Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. ACM. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. 2014. <hal-00905949>
  • Frederic Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. IEEE Computer Society. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013, Taipei, Taiwan. 2013. <hal-00864820>
  • Frédéric Dabrowski, David Pichardie. A Certified Data Race Analysis for a Java-like Language. TPHOL'09, 2009, Germany. pp.212--227, 2009. <hal-00465547>
  • Frédéric Boussinot, Frédéric Dabrowski. Safe Reactive Programming: the FunLoft Proposal. MULTIPROG'08, 2008, Sweden. 2008. <hal-00465563>
  • Roberto M. Amadio, Frederic Dabrowski. Feasible reactivity in a synchronous pi-calculus. Andreas Podelski. ACM SIGPLAN Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. ACM, pp.221-231, 2007. <hal-00130322>
  • Roberto M. Amadio, Frederic Dabrowski. Feasible Reactivity for Synchronous Cooperative Threads.. Process Algebra, Jul 2006, France. Elsevier, pp.33-43, 2006, Electronic Notes in Theoretical Computer Science, 154(3). <hal-00147244>
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. Springer, pp.33-42, 2007, Distributed and Parallel Systems. <10.1007/978-0-387-69858-8_4>. <inria-00452559>
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML avec exceptions. Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France. 2006. <inria-00452566>
  • Frédéric Dabrowski, Frédéric Boussinot. Cooperative Threads and Preemptive Computations. Multithreading in Hardware and Software: Formal Approaches to Design and Verification, TV06, Aug 2006, United States. pp.40-51, 2006. <hal-00151975>

Pré-publication, Document de travail2 documents

  • Frédéric Boussinot, Frederic Dabrowski. Safe Reactive Programming: The FunLoft Proposal. 2007. <inria-00184100>
  • Frédéric Boussinot, Frederic Dabrowski. Formalisation of FunLoft. 2007. <inria-00183242>

Rapport1 document

  • Frédéric Boussinot, Frederic Dabrowski. Cooperative Threads and Preemptive Computations. [Research Report] 2006, pp.15. <inria-00078780>

Thèse1 document

  • Frederic Dabrowski. Programmation Réactive Synchrone, Langage et Contrôle des Ressources. Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français. <tel-00151974>

Article dans une revue2 documents

  • Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. A formal semantics of nested atomic sections with thread escape. Computer Languages, Systems and Structures, Elsevier, 2015, pp.24. <hal-01143199>
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. <10.1016/j.future.2009.05.021>. <inria-00452527>