Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. - Mendes Oulamara; Arnaud J. Venet (CAV (1), 2015)

An algorithm for geo-distributed and redundant storage in Garage. - Mendes Oulamara; Alex Auvolat (CoRR, 2023)