Antoine Morvan

Polyhedral Bubble Insertion: A Method to Improve Nested Loop Pipelining for High-Level Synthesis

Patrice Quinton, Steven Derrien, Antoine Morvan, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Runtime dependency analysis for loop pipelining in High-Level Synthesis

Steven Derrien, Antoine Morvan, Mythri Alle, 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

ompVerify: Polyhedral Analysis for the OpenMP Programmer

Patrice Quinton, Tomofumi Yuki, Sanjay V. Rajopadhye, 2011, IWOMP.