Pierre Goutagny -

Registered user since Mon 30 Sep 2024

Name:Pierre Goutagny

Country:France

Affiliation:Inria and University of Lille

Personal website: https://pierregoutagny.fr/

GitHub: https://github.com/pierregoutagny

Contributions

2026

PLDI

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

POPL

Author of A theory of lists with combinators for SMT solvers within the Student Research Competition-track

2025

Static Analysis Symposium

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

2024

ProLaLa

Author of CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution within the ProLaLa 2024-track