BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Putot:Sylvie

Contributed to:

SAS 20122012
VMCAI 20112011
CAV 20102010
CAV 20092009
SAS 20072007
SAS 20062006
CAV 20052005
ESOP 20022002
CAV (2) 20182018

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.