Travelled to:1 × USA
Collaborated with:M.Oulamara Sung Kook Kim A.V.Thakur
Talks about:determinist (1) interpret (1) ellipsoid (1) dimension (1) parallel (1) fixpoint (1) extrapol (1) abstract (1) higher (1) comput (1)
Person: Arnaud J. Venet
DBLP: Venet:Arnaud_J=
Contributed to:
2015
2020Wrote 2 papers:
- CAV-2015-OulamaraV #abstract interpretation
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation (MO, AJV), pp. 415–430.
- POPL-2020-KimVT #fixpoint #parallel
- Deterministic parallel fixpoint computation (SKK, AJV, AVT), p. 33.