Travelled to:1 × Denmark
1 × Korea
1 × USA
2 × United Kingdom
3 × France
Collaborated with:E.Goubault K.Ghorbal F.Védrine M.Martel L.Sahlmann O.Bouissou K.Tekkal A.Costan S.Gaubert
Talks about:static (5) analysi (4) comput (4) zonotop (3) algorithm (2) approxim (2) abstract (2) program (2) precis (2) point (2)
Person: Sylvie Putot
DBLP: Putot:Sylvie
Contributed to:
2012
2011
20102009200720062005
20022018Wrote 10 papers:
- SAS-2012-GoubaultPV #composition #static analysis
- Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
- VMCAI-2011-GoubaultP #finite #precise #static analysis
- Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
- CAV-2010-GhorbalGP #approach #logic
- A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.
- CAV-2009-BouissouGPTV #named #source code
- HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
- CAV-2009-GhorbalGP #abstract domain
- The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
- SAS-2007-GoubaultP #approximate
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
- SAS-2006-GoubaultP #algorithm #static analysis
- Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.
- CAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
- ESOP-2002-GoubaultMP #float #interpreter #precise
- Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
- CAV-2018-GoubaultPS #approximate #difference #equation
- Inner and Outer Approximating Flowpipes for Delay Differential Equations (EG, SP, LS), pp. 523–541.