-
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... -
Odyssée User's Guide Version 1.7
Odyssée is an automatic differentiation processor for fortran code which implements both the forward and reverse mode of automatic differentiation. This document... -
Odyssée Version 1.6 The User's Reference Manual
Odyssée is an automatic differentiation software performing transformation of fortran 77 codes which implements both the forward and reverse mode of automatic... -
Understanding Collateral Evolution in Linux Device Drivers
In a modern operating system (OS), device drivers can make up over 70% of the source code. Driver code is also heavily dependent on the rest of the OS, for functions... -
Synthesizing Accurate Floating-Point Formulas
International audience -
Views and program transformations for modular maintenances
Maintenance consumes a large part of the cost of software development which makes the optimization of that cost among the important issues in the world of software... -
A Quest for Exactness: Program Transformation for Reliable Real Numbers
This thesis presents an algorithm that eliminates square root and division operations in some straight-line programs used in embedded systems while preserving the... -
Efficient first order functional program interpreter with time bound certific...
Colloque avec actes et comité de lecture. internationale.
