-
A Generative Programming Approach To Developing DSL Compilers
Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer high-level constructs and notations dedicated... -
Fast Dynamic Translation Using LLVM On Multi-Core Hosts
International audience -
TIREX : A textual target-level intermediate representation for virtual execut...
Some environments require several compilers, for instance one for the operating system, supporting the full C/C++ norm, and one for the applications, potentially... -
Combining Processor Virtualization and Split Compilation for Heterogeneous Mu...
International audience -
Mise en ordre, mise en forme des savoirs: pour une approche comparative
Ce texte doit paraître en japonais dans les actes du colloque international "Collection et Fragments. Recueils, collections et encyclopédie au Japon" -
Certified compilation of SCADE/LUSTRE
Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each... -
Compilation des QCSP
Nous proposons dans cet article un cadre formel pour la compilation des problèmes de satisfaction de contraintes quantifiées (QCSP). L'objectif d'une telle compilation... -
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation E...
International audience -
High Level Hardware Synthesis of RVC Dataflow Programs
The evolution of video processing algorithms involved the advent of several standards. These standards present many common algorithms but designers are not able to... -
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ...
International audience -
Erbium : Reconciling languages, runtimes, compilation and optimizations for s...
As transistors size and power limitations stroke computer industry, hardware parallelism arose as the solution, bringing old forgotten problems back into equation to... -
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Nu...
Last version = author version of our CSI Journal of Computer Paper (same title and same content) -
Instructions shifting algorithmics
The constant evolution of processors architectures, with superscalar, instruction-level parallelism, prediction and speculation capabilities and the multiple number of... -
GUBS, a behaviour-based language for design in synthetic biology
International audience -
Automatic Code Generation for SIMD Hardware Accelerators
SIMD hardware accelerators o er an alternative to manycores when energy consumption and performance are critical. For scienti c computing, GPGPUs are used in many... -
Expérimentation d'une plate-forme de portage logiciel à l'INRIA
National audience -
Programming parallelism with futures in Heptagon a synchronous functional lan...
Synchronous languages are used to program critical reactive systems. Today, systems require to find a way to execute them safely and in parallel. Parallelism has... -
Towards a safe and secure synchronous language
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics,... -
no data
Embedded systems are hardware and software based equipment. They are subject to many constraints and must run without stopping. To define the behavior of these... -
Source-to-Source Automatic Program Transformations for GPU-like Hardware Acce...
Since the beginning of the 2000s, the raw performance of processors stopped its exponential increase. The modern graphic processing units (GPUs) have been designed as...
