Login / Signup
Basile Clément
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Extreme Value Theory
Linear Algebra
Multiscale
Service Delivery
Top Venues
CoRR
Proc. ACM Program. Lang.
</>
Publications
</>
Basile Clément
,
Albert Cohen
End-to-end translation validation for the halide language.
Proc. ACM Program. Lang.
6 (OOPSLA) (2022)
Frédéric Bour
,
Basile Clément
,
Gabriel Scherer
Tail Modulo Cons.
CoRR
(2021)
Ulysse Beaugnon
,
Basile Clément
,
Nicolas Tollenaere
,
Albert Cohen
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU.
CoRR
(2019)