Follow
Sven Verdoolaege
Sven Verdoolaege
Polly Labs
Verified email at inria.fr
Title
Cited by
Cited by
Year
isl: An Integer Set Library for the Polyhedral Model
S Verdoolaege
International Congress on Mathematical Software, 299-302, 2010
5252010
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
4962013
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
4552018
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
2332007
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
2251998
Polyhedral extraction tool
S Verdoolaege, T Grosser
Second International Workshop on Polyhedral Compilation Techniques (IMPACT …, 2012
1772012
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
1582015
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
1532014
PN: a tool for improved derivation of process networks
S Verdoolaege, H Nikolov, T Stefanov
EURASIP journal on Embedded Systems 2007, 1-13, 2007
1382007
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
1072013
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
962015
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
922004
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
792003
Computing parametric rational generating functions with a primal Barvinok algorithm
M Köppe, S Verdoolaege
arXiv preprint arXiv:0705.3651, 2007
732007
Schedule trees
S Verdoolaege, S Guelton, T Grosser, A Cohen
International Workshop on Polyhedral Compilation Techniques, Date: 2014/01 …, 2014
682014
Polyhedral process networks
S Verdoolaege
Handbook of Signal Processing Systems, 1335-1375, 2013
672013
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
622019
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
622012
Counting affine calculator and applications
S Verdoolaege
First International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011
572011
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
522009
The system can't perform the operation now. Try again later.
Articles 1–20