Arnaud J. Venet

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Model Theoretic

Recursive Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Memory-Efficient Fixpoint Computation. SAS (2020)
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Deterministic parallel fixpoint computation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Memory-Efficient Fixpoint Computation. CoRR (2020)
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Deterministic Parallel Fixpoint Computation. CoRR (2019)
Mendes Oulamara, Arnaud J. Venet
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. CAV (1) (2015)