Automatic OpenCL Task Adaptation for Heterogeneous Architectures. - Pierre Huchant; Marie Christine Counilh; Denis Barthou (Euro-Par, 2016)

Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. - Pierre Huchant; Denis Barthou; Marie Christine Counilh (SBAC-PAD, 2018)

PARCOACH Extension for a Full-Interprocedural Collectives Verification. - Pierre Huchant; Emmanuelle Saillard; Denis Barthou; Hugo Brunie; Patrick Carribault (CORRECTNESS@SC, 2018)

Multi-valued Expression Analysis for Collective Checking. - Pierre Huchant; Emmanuelle Saillard; Denis Barthou; Patrick Carribault (Euro-Par, 2019)

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