BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Hungary
1 × Korea
1 × Spain
Collaborated with:
S.Gaubert ∅ P.Benchimol E.Goubault W.Godard C.Hymans
Talks about:
max (2) polyhedra (1) algorithm (1) polynomi (1) disjunct (1) abstract (1) program (1) manipul (1) analysi (1) vertex (1)

Person: Xavier Allamigeon

DBLP DBLP: Allamigeon:Xavier

Contributed to:

ICALP (1) 20142014
ESOP 20082008
SAS 20082008
SAS 20062006

Wrote 4 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-2008-Allamigeon #abstraction #array
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
SAS-2008-AllamigeonGG #invariant #using
Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
SAS-2006-AllamigeonGH #c #embedded #source code #static analysis #string
Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
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.