A Relational Shape Abstract Domain. - Hugo Illous; Matthieu Lemerre; Xavier Rival (NFM, 2017)

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 (2019)

Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. - Hugo Illous; Matthieu Lemerre; Xavier Rival (SAS, 2020)