Get started
Author

Sven Verdoolaege

Polyhedral parallel code generation for CUDA
2013 · Sven Verdoolaege, Juan Carlos Juega, et al. · ACM Transactions on Architecture and Code Optimization · 388
PDF
isl: An Integer Set Library for the Polyhedral Model
2010 · Sven Verdoolaege · Lecture notes in computer science · 339
PDF
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
2018 · Vasilache, Nicolas, Zinenko, Oleksandr, et al. · arXiv (Cornell University) · 250
PDF
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
2007 · Sven Verdoolaege, Rachid Seghir, et al. · Algorithmica · 171
PDF
pn: A Tool for Improved Derivation of Process Networks
2007 · Sven Verdoolaege, Hristo Nikolov, et al. · EURASIP Journal on Embedded Systems · 133
Analysis Methods for (Alleged) RC4
1998 · Lars R. Knudsen, Willi Meier, et al. · Lecture notes in computer science · 128
PDF
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming
2015 · Riyadh Baghdadi, Ulysse Beaugnon, et al. · International Conference on Parallel Architectures and Compilation Techniques (PACT) · 104
PDF
Split tiling for GPUs
2013 · Tobias Grosser, Albert Cohen, et al. · 90
Hybrid Hexagonal/Classical Tiling for GPUs
2014 · Tobias Grosser, Albert Cohen, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 87
Polyhedral Extraction Tool
2012 · Verdoolaege, Sven, Grosser, Tobias · 80
Hybrid Hexagonal/Classical Tiling for GPUs
2014 · Tobias Grosser, Albert Cohen, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 71
Polyhedral AST Generation Is More Than Scanning Polyhedra
2015 · Tobias Grosser, Sven Verdoolaege, et al. · ACM Transactions on Programming Languages and Systems · 70
Analytical computation of Ehrhart polynomials
2004 · Sven Verdoolaege, Rachid Seghir, et al. · International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) · 65
Equivalence checking of static affine programs using widening to handle recurrences
2012 · Sven Verdoolaege, Gerda Janssens, et al. · ACM Transactions on Programming Languages and Systems · 57
PDF
Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm
2008 · Matthias Köppe, Sven Verdoolaege · The Electronic Journal of Combinatorics · 57
PDF
Multi-dimensional incremental loop fusion for data locality
2004 · S. Verdoolaege, M. Bruynooghe, et al. · IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) · 57
PDF
The Next 700 Accelerated Layers
2019 · Nicolas Vasilache, Oleksandr Zinenko, et al. · ACM Transactions on Architecture and Code Optimization · 43
PDF
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation
2009 · P. Clauss, F.J. Fernandez, et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 40
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
2009 · Sven Verdoolaege, Gerda Janssens, et al. · Lecture notes in computer science · 39
PDF
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling
2018 · Oleksandr Zinenko, Sven Verdoolaege, et al. · 38
PDF
Polyhedral Process Networks
2013 · Sven Verdoolaege · Springer eBooks · 38
Experiences with Enumeration of Integer Projections of Parametric Polytopes
2005 · Sven Verdoolaege, Kristof Beyls, et al. · Lecture notes in computer science · 37
PDF
Counting with rational generating functions
2007 · Sven Verdoolaege, Kevin Woods · Journal of Symbolic Computation · 35
PDF
The Relation Between Diamond Tiling and Hexagonal Tiling
2014 · Tobias Grosser, Sven Verdoolaege, et al. · Parallel Processing Letters · 34
pn: A Tool for Improved Derivation of Process Networks
2007 · Sven Verdoolaege, Hristo Nikolov, et al. · EURASIP Journal on Embedded Systems · 32
Works count: 114
Citation count: 2,756
H-index: 26
I10-index: 37
Year
Topic
Type