Publications

• Paul Feautrier. Dataflow analysis of scalar and array references. International Journal of Parallel Programming, 20(1):23-53, 1991. [bib|pdf]

• Jean-Francois Collard, Denis Barthou, Paul Feautrier: Fuzzy Array Dataflow Analysis. PPOPP 1995: 92-101 [bib|pdf]

• Denis Barthou, Jean-Francois Collard, Paul Feautrier: Fuzzy Array Dataflow Analysis. J. Parallel Distrib. Comput. 40(2): 210-226 (1997) [bib| pdf ]

• D. Barthou. Array Dataflow Analysis is presence of non-affines constraints. Phd thesis, PRiSM Laborary, University of Versailles, 1998. (In English with a summary in French)[bib|pdf] 
• Marouane Belaoucha and Denis Barthou and Adrien Eliche and Sid-Ahmed-Ali Touati. FADAlib: an Open Source C++ Library for Fuzzy Array Dataflow Analysis. In the proceedings of the Seventh International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2010). May 31- June 2, 2010, University of Amsterdam, The Netherlands. Elsevier.