• Sign in
  • Sign up
conf.researchr.org / Hugo Illous
  • SPLASH 2020 profile
  • SPLASH 2022 profile
No Photo

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
xWed 21 May 12:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up