-
The Tapenade Automatic Differentiation tool: principles, model, and specifica...
Tapenade is an Automatic Differentiation tool which, given a Fortran or C code that computes a function, creates a new code that computes its tangent or adjoint... -
Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sarda...
International audience -
A Case for Strongly Polynomial Time Sub-Polyhedral Scheduling Using Two-Varia...
International audience -
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
The goal of this thesis is to design algorithms that run with better complexity when compiling or parallelizing loop programs. The framework within which our... -
Golo, a Dynamic, Light and Efficient Language for Post-Invokedynamic JVM
International audience -
A Polynomial Spilling Heuristic: Layered Allocation
International audience -
Transformation As Search
International audience -
Gradual Typing Embedded Securely in JavaScript
International audience -
A Uniform Programming Language for Implementing XML Standards
International audience
