Travelled to:1 × Cyprus
1 × Denmark
1 × Portugal
1 × Spain
1 × United Kingdom
Collaborated with:E.Goubault X.Allamigeon P.Benchimol A.Adjé A.Taly S.Zennou A.Costan M.Martel S.Putot
Talks about:analysi (3) static (3) polici (3) iter (3) algorithm (2) invari (2) comput (2) max (2) polyhedra (1) polynomi (1)
Person: Stéphane Gaubert
DBLP: Gaubert:St=eacute=phane
Contributed to:
2014
2010
20082007
2005Wrote 5 papers:
- ICALP-v1-2014-AllamigeonBG #algorithm #game studies #polynomial
- The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average (XA, PB, SG), pp. 89–100.
- ESOP-2010-AdjeGG #invariant #policy #static analysis
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
- SAS-2008-AllamigeonGG #invariant #using
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
- ESOP-2007-GaubertGTZ #policy #relational #static analysis
- Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
- 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.