Hector Suzanne -

Registered user since Wed 15 May 2024

Name:Hector Suzanne

Country:France

Affiliation:LIP6 - Sorbonne Université & CNRS

Personal website: https://hectorsuzanne.com

Research interests:Compilation, Static Analysis, Linear logic, Categorical Semantics

Contributions

2024

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

2023

LOPSTR

Author of A Reusable Machine-Calculus for Automated Resource Analyses within the LOPSTR 2023-track

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

ICFP

Committee Member in Evaluators within the Artifact Evaluation-track