Hugo Illous

Abstract Heap Relations for a Compositional Shape Analysis. (Abstractions Relationnelles de la Mémoire pour une Analyse Compositionnelle de Structures de Données)

Hugo Illous, Hugo Illous, 2019 .

New Results - Memory Abstraction

Bor-Yuh Evan Chang, Xavier Rival, Matthieu Lemerre, 2016 .

A relational shape abstract domain

Xavier Rival, Matthieu Lemerre, Hugo Illous, 2017, Formal Methods in System Design.

Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries

Xavier Rival, Matthieu Lemerre, Hugo Illous, 2020, SAS.

A relational shape abstract domain

Xavier Rival, Matthieu Lemerre, Hugo Illous, 2021, Formal Methods Syst. Des..