• Sign in
  • Sign up
conf.researchr.org / Pierre Goutagny
  • ICFP/SPLASH 2025 profile
  • PLDI 2026 profile
  • POPL 2026 profile
  • SPLASH 2024 profile

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
Share
xSat 14 Mar 04:17
using conf.researchr.org (v1.73.1)
Support page
Sign Up