-
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.
