Sven Verdoolaege

According to our database, Sven Verdoolaege authored at least 33 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically.

Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen

ACM Trans. Archit. Code Optim., 2020

2018

Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.

Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen

CoRR, 2018

Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.

Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen

Proceedings of the 27th International Conference on Compiler Construction, 2018

2015

Polyhedral AST Generation Is More Than Scanning Polyhedra.

Tobias Grosser, Sven Verdoolaege, Albert Cohen

ACM Trans. Program. Lang. Syst., 2015

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.

Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

The Relation Between Diamond Tiling and Hexagonal Tiling.

Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan

Parallel Process. Lett., 2014

Hybrid Hexagonal/Classical Tiling for GPUs.

Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013

Polyhedral Process Networks.

Sven Verdoolaege

Proceedings of the Handbook of Signal Processing Systems, 2013

Polyhedral parallel code generation for CUDA.

Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor

ACM Trans. Archit. Code Optim., 2013

Improved loop tiling based on the removal of spurious false dependences.

Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunovic

ACM Trans. Archit. Code Optim., 2013

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs

Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson

CoRR, 2013

Split tiling for GPUs: automatic parallelization using trapezoidal tiles.

Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege

Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units, 2013

2012

Equivalence checking of static affine programs using widening to handle recurrences.

Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe

ACM Trans. Program. Lang. Syst., 2012

2011

Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.

Sven Verdoolaege, Albert Cohen, Anna Beletska

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.

Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor

J. Electron. Test., 2010

<i>isl</i>: An Integer Set Library for the Polyhedral Model.

Sven Verdoolaege

Proceedings of the Mathematical Software, 2010

Polyhedral Process Networks.

Sven Verdoolaege

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation.

Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege

IEEE Trans. Very Large Scale Integr. Syst., 2009

2008

Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications.

Per Gunnar Kjeldsberg, Francky Catthoor, Sven Verdoolaege, Martin Palkovic, Arnout Vandecappelle, Qubo Hu, Einar J. Aas

J. Signal Process. Syst., 2008

Counting with rational generating functions.

Sven Verdoolaege, Kevin M. Woods

J. Symb. Comput., 2008

Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm.

Matthias Köppe, Sven Verdoolaege

Electron. J. Comb., 2008

Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.

Sven Verdoolaege, Maurice Bruynooghe

Proceedings of the 2008 International Conference on Information Theory and Statistical Learning, 2008

An Implementation of the Barvinok--Woods Integer Projection Algorithm.

Matthias Köppe, Sven Verdoolaege, Kevin M. Woods

Proceedings of the 2008 International Conference on Information Theory and Statistical Learning, 2008

2007

pn: A Tool for Improved Derivation of Process Networks.

Sven Verdoolaege, Hristo Nikolov, Todor P. Stefanov

EURASIP J. Embed. Syst., 2007

Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.

Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe

Algorithmica, 2007

2005

Experiences with Enumeration of Integer Projections of Parametric Polytopes.

Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.

Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe

Proceedings of the 2004 International Conference on Compilers, 2004

Optimizing the Memory Bandwidth with Loop Morphing.

José Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor

Proceedings of the 15th IEEE International Conference on Application-Specific Systems, 2004

2003

Multi-dimentsional Incremetal Loops Fusion for Data Locality.

Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor

Proceedings of the 14th IEEE International Conference on Application-Specific Systems, 2003

2000

Abductive reasoning with temporal information

Sven Verdoolaege, Marc Denecker, Frank Van Eynde

CoRR, 2000

1999

Semantic interpretation of temporal information by abductive inference.

Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde

Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

The semantics of temporal adjuncts.

Ness Schelkens, Frank Van Eynde, Sven Verdoolaege

Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

1998

Analysis Methods for (Alleged) RC4.

Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege

Proceedings of the Advances in Cryptology, 1998