Nombre de documents

16

CV de Frédéric Dabrowski


Pré-publication, Document de travail2 documents

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

Communication dans un congrès10 documents

  • 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>
  • 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>
  • 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>

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>