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
3572010
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
3302013
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
2011998
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
1922007
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
1632018
PN: a tool for improved derivation of process networks
S Verdoolaege, H Nikolov, T Stefanov
EURASIP journal on Embedded Systems 2007 (1), 075947, 2007
1312007
Polyhedral extraction tool
S Verdoolaege, T Grosser
Second International Workshop on Polyhedral Compilation Techniques (IMPACT …, 2012
1302012
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
1202014
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
872015
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
832013
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
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
arXiv preprint arXiv:0705.3651, 2007
622007
Polyhedral process networks
S Verdoolaege
Handbook of Signal Processing Systems, 1335-1375, 2013
552013
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
512015
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
512012
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
492009
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
412009
Counting affine calculator and applications
S Verdoolaege
First International Workshop on Polyhedral Compilation Techniques (IMPACT’11 …, 2011
392011
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