-
A Table-Driven Compiler for Pretty Printing Specifications
In this paper we present the design and the implementation of a compiler for Aïoli, a toolkit to build interactive and symbolic applications. This compiler produces... -
Mathemagix User Guide
101 pages -
A HIGH-LEVEL PARALLEL DEVELOPMENT FRAMEWORK FOR GRAPHIC ACCELERATORS: AN IMPL...
Graphic cards (GPUs), initially used for graphic processing, have a highly parallel architecture. Innovations in both architecture and programming languages opened the... -
From Bytecode to JavaScript: the Js_of_ocaml Compiler
International audience -
Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data...
International audience -
Parameterized Construction of Program Representations for Sparse Dataflow Ana...
International audience -
Parameterized Construction of Program Representations for Sparse Dataflow Ana...
Data-flow analyses usually associate information with control flow regions. Informally, if these regions are too small, like a point between two consecutive... -
SmallEiffel : l'Eiffel à Très Grande Vitesse
Article dans une revue de vulgarisation. -
A compiler for parallel Unity programs using OpenMp
Colloque avec actes et comité de lecture. internationale. -
Design of a customisable processor IP
Colloque avec actes et comité de lecture.
