Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B G J L M P S T V Z

A
Arceri, Vincenzo	An abstract domain for objects in dynamic programming languages
B
Benmouhoub, Farah	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
G
Garoche, Pierre-Loic	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
J
Jacquemin, Maxime	A Dividing Method Minimizing the Linearization Term in Affine Arithmetic
L
Labacanne, Pascal	Transforming development processes of avionics software with formal methods
M
Martel, Matthieu	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
Maréchal, Alexandre	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Mastroeni, Isabella	An abstract domain for objects in dynamic programming languages
Miné, Antoine	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Mirliaz, Solène	Flow Insensitive Relational Static Analysis
P
Pasqua, Michele	An abstract domain for objects in dynamic programming languages
Pelleau, Marie	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Pichardie, David	Flow Insensitive Relational Static Analysis
S
Schmidt, Bernard	Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry - joint invited with TAPAS
T
Truchet, Charlotte	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
V
Vedrine, Franck	A Dividing Method Minimizing the Linearization Term in Affine Arithmetic
Z
Zaffanella, Enea	Some thoughts on the design of abstract domains
Ziat, Ghiles	Combination of Boxes and PolyhedraAbstractions for Constraint Solving