Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hugo Pompougnac
conf.researchr.org general profile
CGO 2024 profile
PLDI 2025 profile
Registered user since Wed 16 Aug 2023
Name:
Hugo Pompougnac
Country:
France
Affiliation:
Université Grenoble Alpes; Inria; CNRS; Grenoble INP
Contributions
2025
PLDI
Author of First-Class Verification Dialects for MLIR within the PLDI Research Papers-track
2024
CGO
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Tue 3 Jun 13:06
