fkcc: the Farkas Calculator, International Workshop on Tools for Automatic Program Analysis (TAPAS'19), 2019. ,
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, International Static Analysis Symposium (SAS'10), 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00523298
A practical automatic polyhedral parallelizer and locality optimizer, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.101-113, 2008. ,
Linear Invariant Generation Using Non-linear Constraint Solving, CAV (LNCS), pp.420-432, 2003. ,
Some Efficient Solutions to the Affine Scheduling Problem. Part I. One-dimensional Time, International Journal of Parallel Programming, vol.21, pp.313-348, 1992. ,
Some Efficient Solutions to the Affine Scheduling Problem, Part II: Multi-Dimensional Time, International Journal of Parallel Programming, vol.21, pp.389-420, 1992. ,
Counting Affine Calculator and Applications, First International Workshop on Polyhedral Compilation Techniques (IMPACT'11), 2011. ,