Travelled to:1 × Cyprus
1 × France
Collaborated with:D.Cachera T.P.Jensen F.Kirchner
Talks about:interpret (1) polynomi (1) abstract (1) program (1) gröbner (1) farewel (1) linear (1) invari (1) inject (1) model (1)
Person: Arnaud Jobin
DBLP: Jobin:Arnaud
Contributed to:
2012
2010Wrote 2 papers:
- SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code
- Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
- QAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling
- Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.