F
Frédéric Dabrowski
Researcher at University of Orléans
Publications - 25
Citations - 145
Frédéric Dabrowski is an academic researcher from University of Orléans. The author has contributed to research in topics: Bulk synchronous parallel & Thread (computing). The author has an hindex of 7, co-authored 25 publications receiving 140 citations. Previous affiliations of Frédéric Dabrowski include French Institute for Research in Computer Science and Automation.
Papers
More filters
Journal ArticleDOI
Bulk synchronous parallel ML with exceptions
TL;DR: A way to add exception handling to this set by extending and adapting OCaml's exceptions is described, together with their implementation, and results over an example are given.
Journal ArticleDOI
Feasible Reactivity for Synchronous Cooperative Threads
TL;DR: In this paper, the authors present static analysis methods to guarantee that each instant terminates in time polynomial in the size of the parameters of the program at the beginning of the computation.
Book ChapterDOI
A Certified Data Race Analysis for a Java-like Language
TL;DR: This work formalises in the coq proof assistant a java bytecode data race analyser based on the conditional must-not alias analysis of Naik and Aiken that includes a context-sensitive points-to analysis and an instrumented semantics that counts method calls and loop iterations.
Proceedings ArticleDOI
Feasible reactivity in a synchronous Π-calculus
TL;DR: A method to annotate programs and related static analysis techniques that guarantee feasible reactivity for programs expressed in the SΠ-calculus are proposed.
Semantics and Implementation of Minimally Synchronous Parallel ML
TL;DR: This paper presents a new functional parallel language: Minimally Synchronous Parallel ML (MSPML), which follows the execution and cost model of the Message Passing Machine model but has a minimally synchronous distributed semantics.