| isl: An integer set library for the polyhedral model S Verdoolaege International Congress on Mathematical Software, 299-302, 2010 | 468 | 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 | 434 | 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 | 329 | 2018 |
| Counting integer points in parametric polytopes using Barvinok's rational functions S Verdoolaege, R Seghir, K Beyls, V Loechner, M Bruynooghe Algorithmica 48 (1), 37-66, 2007 | 225 | 2007 |
| Analysis methods for (alleged) RC4 LR Knudsen, W Meier, B Preneel, V Rijmen, S Verdoolaege International Conference on the Theory and Application of Cryptology and …, 1998 | 212 | 1998 |
| Polyhedral extraction tool S Verdoolaege, T Grosser Second International Workshop on Polyhedral Compilation Techniques (IMPACT …, 2012 | 162 | 2012 |
| 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 |
| 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 | 138 | 2014 |
| 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 | 132 | 2015 |
| 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 | 94 | 2013 |
| 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 | 86 | 2004 |
| 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 | 81 | 2015 |
| 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 | 80 | 2003 |
| Computing parametric rational generating functions with a primal Barvinok algorithm M Köppe, S Verdoolaege arXiv preprint arXiv:0705.3651, 2007 | 70 | 2007 |
| Polyhedral process networks S Verdoolaege Handbook of Signal Processing Systems, 1335-1375, 2013 | 67 | 2013 |
| Schedule trees S Verdoolaege, S Guelton, T Grosser, A Cohen International Workshop on Polyhedral Compilation Techniques, Date: 2014/01 …, 2014 | 58 | 2014 |
| 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 | 58 | 2012 |
| 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 | 50 | 2009 |
| Counting affine calculator and applications S Verdoolaege First International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011 | 49 | 2011 |
| Equivalence checking of static affine programs using widening to handle recurrences S Verdoolaege, G Janssens, M Bruynooghe International Conference on Computer Aided Verification, 599-613, 2009 | 48 | 2009 |
