isl: An Integer Set Library for the Polyhedral Model S Verdoolaege International Congress on Mathematical Software, 299-302, 2010 | 527 | 2010 |
Polyhedral parallel code generation for CUDA S Verdoolaege, J Carlos Juega, A Cohen, J Ignacio Gomez, C Tenllado, ... ACM Transactions on Architecture and Code Optimization (TACO) 9 (4), 1-23, 2013 | 494 | 2013 |
Tensor comprehensions: Framework-agnostic high-performance machine learning abstractions N Vasilache, O Zinenko, T Theodoridis, P Goyal, Z DeVito, WS Moses, ... arXiv preprint arXiv:1802.04730, 2018 | 475 | 2018 |
Counting integer points in parametric polytopes using Barvinok's rational functions S Verdoolaege, R Seghir, K Beyls, V Loechner, M Bruynooghe Algorithmica 48, 37-66, 2007 | 232 | 2007 |
Analysis methods for (alleged) RC4 LR Knudsen, W Meier, B Preneel, V Rijmen, S Verdoolaege Advances in Cryptology—ASIACRYPT’98: International Conference on the Theory …, 1998 | 228 | 1998 |
Polyhedral extraction tool S Verdoolaege, T Grosser Second International Workshop on Polyhedral Compilation Techniques (IMPACT …, 2012 | 183 | 2012 |
Pencil: A platform-neutral compute intermediate language for accelerator programming R Baghdadi, U Beaugnon, A Cohen, T Grosser, M Kruse, C Reddy, ... 2015 International Conference on Parallel Architecture and Compilation (PACT …, 2015 | 158 | 2015 |
Hybrid hexagonal/classical tiling for GPUs T Grosser, A Cohen, J Holewinski, P Sadayappan, S Verdoolaege Proceedings of Annual IEEE/ACM International Symposium on Code Generation …, 2014 | 153 | 2014 |
PN: a tool for improved derivation of process networks S Verdoolaege, H Nikolov, T Stefanov EURASIP journal on Embedded Systems 2007, 1-13, 2007 | 139 | 2007 |
Split tiling for GPUs: automatic parallelization using trapezoidal tiles T Grosser, A Cohen, PHJ Kelly, J Ramanujam, P Sadayappan, ... Proceedings of the 6th Workshop on General Purpose Processor Using Graphics …, 2013 | 110 | 2013 |
Equivalence checking of static affine programs using widening to handle recurrences S Verdoolaege, G Janssens, M Bruynooghe ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 1-35, 2012 | 99 | 2012 |
Polyhedral AST generation is more than scanning polyhedra T Grosser, S Verdoolaege, A Cohen ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (4), 1-50, 2015 | 98 | 2015 |
Analytical computation of Ehrhart polynomials: Enabling more compiler analyses and optimizations S Verdoolaege, R Seghir, K Beyls, V Loechner, M Bruynooghe Proceedings of the 2004 international conference on Compilers, architecture …, 2004 | 91 | 2004 |
Multi-dimensional incremental loop fusion for data locality S Verdoolaege, M Bruynooghe, G Janssens, P Catthoor Proceedings IEEE International Conference on Application-Specific Systems …, 2003 | 79 | 2003 |
Computing parametric rational generating functions with a primal Barvinok algorithm M Köppe, S Verdoolaege arXiv preprint arXiv:0705.3651, 2007 | 75 | 2007 |
Schedule trees S Verdoolaege, S Guelton, T Grosser, A Cohen International Workshop on Polyhedral Compilation Techniques, Date 1, 20-2014, 2014 | 68 | 2014 |
Polyhedral process networks S Verdoolaege Handbook of Signal Processing Systems, 1335-1375, 2013 | 67 | 2013 |
The next 700 accelerated layers: From mathematical expressions of network computation graphs to accelerated GPU kernels, automatically N Vasilache, O Zinenko, T Theodoridis, P Goyal, Z Devito, WS Moses, ... ACM Transactions on Architecture and Code Optimization (TACO) 16 (4), 1-26, 2019 | 66 | 2019 |
Counting affine calculator and applications S Verdoolaege First International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011 | 56 | 2011 |
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation P Clauss, FJ Fernández, D Garbervetsky, S Verdoolaege IEEE transactions on very large scale integration (VLSI) systems 17 (8), 983-996, 2009 | 52 | 2009 |