Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vincent Laporte
conf.researchr.org general profile
ICFP 2016 profile
POPL 2024 profile
Not registered as user
Name:
Vincent Laporte
Affiliation:
IMDEA Software Institute, Spain
Contributions
2024
PriSC
Committee Member in Program Committee within the PriSC 2024-track
2016
ICFP
Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track
Share
x
Mon 30 Dec 18:21