Sylvie Putot
I am researcher at CEA-LIST since 2001, HDR 2012,
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 development of the static analyzer of numerical properties
FLUCTUAT.
I am also associate professor at Ecole Polytechnique since 2007.
Publications in international conferences
- Assale Adje, Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot, Static Analysis of Programs with Imprecise Probabilistic Inputs, Accepted at Verified Software: Theories, Tools and Experiments (VSTTE'13), 2013.
- Eric Goubault, Sylvie Putot and Franck Védrine, Modular Static Analysis with Zonotopes, Proceedings of Static Analysis Symposium SAS'12, Deauville, France, LNCS volume 7460, pp 24-40, slides
- Eric Goubault, Tristan Le Gall and Sylvie Putot, An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations, Proceedings of the Workshop on Numerical and Symbolic Abstract Domains, NSAD'12, Electronic Notes in Theoretical Computer Science, volume 287, pp 65-76, 2012
- D. Menard, R. Rocher, O. Sentieys, N. Simon, L.-S. Didier, T. Hilaire, B. Lopez, E. Goubault, S. Putot, F. Védrine, A. Najahi, G. Revy,
L. Fangain, C. Samoyeau, F. Lemonnier, C. Clienti: Design of fixed-point embedded systems (DEFIS) French ANR project,
Proceedings of the Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany
- 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, slides
- 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
slides, the movies shown: intro: behaviour of Householder algorithm for sqrt, Householder analysed by FLUCTUAT, analysis of an algorithm for the arctangent
- 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
HDR
PhD Thesis
Oral communications (international conferences and workshops)
- Olivier Mullier, Eric Goubault, Michel Kieffer and Sylvie Putot, Under-approximation of the range of vector-valued functions extended,
SWIM’11 Small Workshop on Interval Methods, June 14 - 15, 2011.
- 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
Academic projects
- ANR INS project CAFEIN, Combining Formal Analyses for the Study of Numerical Invariants (2013-2016)
- ANR INS project DEFIS, Design of fixed-point embedded systems (2011-2015)
- Digiteo DIM LSC project SANSCRIT, Sous-approximations pour l'ANalyse Statique et la Commande Robuste (2010-2013, coordinator)
- 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)
- Research Group (GdR) MASCOT NUM Methods for Stochastic Analysis of Codes and Numerical Transformations
Links
Teaching
