Pierre Huchant

According to our database, Pierre Huchant authored at least 5 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Static Analysis and Dynamic Adaptation of Parallelism. (Analyse statique et adaptation dynamique du parallélisme).

Pierre Huchant

PhD thesis, 2019

Multi-valued Expression Analysis for Collective Checking.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

2018

PARCOACH Extension for a Full-Interprocedural Collectives Verification.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels.

Pierre Huchant, Denis Barthou, Marie Christine Counilh

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

2016

Automatic OpenCL Task Adaptation for Heterogeneous Architectures.

Pierre Huchant, Marie Christine Counilh, Denis Barthou

Proceedings of the Euro-Par 2016: Parallel Processing, 2016