Hugo Illous

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 3

Top Topics

Shape Recognition

Domain Independent

Top Venues

Formal Methods Syst. Des.

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

Hugo Illous, Matthieu Lemerre, Xavier Rival
A relational shape abstract domain. Formal Methods Syst. Des. 57 (3) (2021)
Hugo Illous, Matthieu Lemerre, Xavier Rival
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. SAS (2020)
Hugo Illous, Matthieu Lemerre, Xavier Rival
A Relational Shape Abstract Domain. NFM (2017)