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
3282010
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
3002013
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
2021998
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
1872007
PN: a tool for improved derivation of process networks
S Verdoolaege, H Nikolov, T Stefanov
EURASIP journal on Embedded Systems 2007 (1), 075947, 2007
1282007
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
1192018
Polyhedral extraction tool
S Verdoolaege, T Grosser
Second International Workshop on Polyhedral Compilation Techniques (IMPACT …, 2012
1172012
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
1062014
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
762015
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
762004
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
742013
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
712003
Computing parametric rational generating functions with a primal Barvinok algorithm
M Köppe, S Verdoolaege
the electronic journal of combinatorics 15 (1), R16, 2008
582008
Polyhedral process networks
S Verdoolaege
Handbook of Signal Processing Systems, 1335-1375, 2013
542013
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
472009
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
462015
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
462012
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
402009
Counting affine calculator and applications
S Verdoolaege
First International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011
372011
Experiences with enumeration of integer projections of parametric polytopes
S Verdoolaege, K Beyls, M Bruynooghe, F Catthoor
International Conference on Compiler Construction, 91-105, 2005
372005
The system can't perform the operation now. Try again later.
Articles 1–20