Pierre Huchant
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | EuroPar | Multi-valued Expression Analysis for Collective Checking. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault |
| 2018 | SC | PARCOACH Extension for a Full-Interprocedural Collectives Verification. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault |
| 2018 | SBAC-PAD | Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. | Pierre Huchant, Denis Barthou, Marie Christine Counilh |
| 2016 | EuroPar | Automatic OpenCL Task Adaptation for Heterogeneous Architectures. | Pierre Huchant, Marie Christine Counilh, Denis Barthou |