Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hugo Illous
conf.researchr.org general profile
SPLASH 2020 profile
SPLASH 2022 profile
Not registered as user
Name:
Hugo Illous
Country:
France
Affiliation:
CEA & INRIA / ENS Paris
Contributions
2022
SPLASH
Author of Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries within the COVID Time Papers In Person-track
2020
Static Analysis Symposium
Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track
Share
x
Sun 22 Dec 03:31