Sylvie Putot
I am researcher at CEA-LIST since 2001,
in the joint research team MEASI
(ModElling and Analysis of Systems in Interaction)
between CEA/Saclay, Ecole Polytechnique and CNRS.
My main interests are in the static analysis by abstract interpretation of numerical properties and in the quality of
finite precision computations. I am involved in the
FLUCTUAT analyzer development.
Publications in international conferences
- Eric Goubault and Sylvie Putot, Static Analysis of Finite Precision Computations, Proceedings of Verification, Model Checking and Abstract Interpretation VMCAI'11, Austin, Texas, LNCS volume 6530, pp. 232-247
- Khalil Ghorbal, Eric Goubault and Sylvie Putot, A Logical Product to Zonotope Intersection, Proceedings of Computer Aided Verification CAV'10, Edinburgh, Scotland, LNCS volume 6174, pp. 212-226
- David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal and Franck Védrine, Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, Proceedings of 14th International Workshop on Formal Methods for Industrial Critical Systems FMICS'09, LNCS volume 5825, pp. 53-69
- Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal and Franck Védrine, HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment, Proceedings of Computer Aided Verification CAV'09, Grenoble, France, LNCS volume 5649, pp. 620-626
- Khalil Ghorbal, Eric Goubault and Sylvie Putot, The Zonotope Abstract Domain Taylor1+, Proceedings of Computer Aided Verification CAV'09, Grenoble, France, LNCS volume 5649, pp. 627-633
- O. Bouissou, E. Conquet, P. Cousot, R. Cousot, J. Feret, K. Ghorbal, E. Goubault, D. Lesens, L. Mauborgne, A. Mine, S. Putot and X. Rival, Space Software Validation using Abstract Interpretation, Proceedings of the Int. Space System Engineering Conference, Data Systems in Aerospace DASIA'09, Istambul, Turkey.
- Eric Goubault, Sylvie Putot, Philippe Baufreton and Jean Gassino,
Static Analysis of the Accuracy in Control Systems : Principles and Experiments, Proceedings of 12th International Workshop on Formal Methods for Industrial Critical Systems FMICS'07, Berlin, Germany, LNCS volume 4916, pp. 3-20
- Eric Goubault and Sylvie Putot, Under-Approximations of Computations
in Real Numbers Based on Generalized Affine Arithmetic, Proceedings of Static Analysis Symposium SAS'07,
Kongens Lyngby Denmark, LNCS volume 4634, pp. 137-152
- Eric Goubault and Sylvie Putot, Static Analysis
of Numerical Algorithms, Proceedings of Static Analysis Symposium SAS'06, Seoul,
LNCS volume 4134, pp. 18-34
- Eric Goubault, Matthieu Martel and Sylvie Putot, Some future
challenges in the validation of control systems,
Proceedings of Embedded Real-Time Systems ERTS'06, Toulouse
- Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel and Sylvie Putot,
A policy iteration algorithm for computing fixed points
in static analysis of programs,
Proceedings of Computer Aided Verification CAV'05, Edinburgh, LNCS volume 3576, pp. 462-475
- Eric Goubault and Sylvie Putot, Weakly relational domains
for floating-point computation analysis,
Proceedings of the workshop on Numerical and Symbolic Abstract Domains NSAD'05, Paris (affiliated event
of VMCAI'05)
- Eric Goubault, Matthieu Martel and Sylvie Putot,
Static Analysis-Based Validation of Floating-Point Computations, Proceedings of Dagstuhl Seminar
Numerical Software with Result Verification 2003, LNCS volume 2991, pp 306-313
- Eric Goubault, Matthieu Martel, and Sylvie Putot,
Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter,
Proceedings of ESOP'02, Grenoble, LNCS volume 2305, pp 209-212
- François Charlet, Cédric Bermond, Sylvie Putot, Gilles Le Carval, Bernard Flechet,
Extraction of (R,L,C,G) interconnect parameters in 2D transmission lines using fast
and efficient numerical tools, Proceedings of International Conference on Simulation
of Semiconductor Processes and Devices SISPAD'00
- Sylvie Putot, François Charlet et Patrick Witomski,
A fast and accurate computation of interconnect capacitance,
Proceedings of IEEE International Electron Devices Meeting IEDM'99, Washington D.C.
- Sylvie Putot, François Charlet et Patrick Witomski,
A new algorithm for interconnect capacitance extraction based on a fictitious domain method,
Proceedings of International Conference on Simulation of Semiconductor Processes and Devices
SISPAD'99
Journal papers
Preprints
PhD Thesis
Oral communications (international conferences)
- Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq and Sylvie Putot, A generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs, 14th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Lyon, sept 27 - 30, 2010.
- Eric Goubault and Sylvie Putot, Inner and outer approximation of functionals using generalized affine forms, 13th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, El Paso, sept 29 - oct 3, 2008.
- Eric Goubault and Sylvie Putot, Static Analysis-Based Validation of Floating-Point Programs Using Affine Arithmetic, 4th International Taylor Model Workshop, Boca Raton, dec 16-19, 2006, slides
Recent presentations
Academic projects
- Digiteo DIM LSC project SANSCRIT, Sous-approximations pour l'ANalyse Statique et la Commande Robuste (2010-2013)
- ANR "Blanc" project CPP:
Confidence, proof and probability (2009-2012)
- Digiteo "Emergence" Project PASO: Proof, Static Analysis and Optimisation (2009-2011, coordinator)
- ANR "Arpège" project ASOPT: Static Analysis and Optimisation (2009-2011)
- ANR "Blanc" project EVA-Flo,
Automatic evaluation and validation of floating-point computation (2006-2010)
Links
Teaching
