Sven Verdoolaege

35 papers A* 1A 2B 4Misc 1Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2020 J jnl
The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically.
ACM Trans. Archit. Code Optim.
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
2018 B conf
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.
CC
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen
2018 J jnl
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.
CoRR
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
2015 B conf
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.
PACT
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
2015 J jnl
Polyhedral AST Generation Is More Than Scanning Polyhedra.
ACM Trans. Program. Lang. Syst.
Tobias Grosser, Sven Verdoolaege, Albert Cohen
2014 A conf
Hybrid Hexagonal/Classical Tiling for GPUs.
CGO
Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege
2014 J jnl
The Relation Between Diamond Tiling and Hexagonal Tiling.
Parallel Process. Lett.
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
2013 J jnl
Improved loop tiling based on the removal of spurious false dependences.
ACM Trans. Archit. Code Optim.
Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunovic
2013 J jnl
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
CoRR
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
2013 — ch.
Polyhedral Process Networks.
Handbook of Signal Processing Systems
Sven Verdoolaege
2013 J jnl
Polyhedral parallel code generation for CUDA.
ACM Trans. Archit. Code Optim.
Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor
2013 — conf
Split tiling for GPUs: automatic parallelization using trapezoidal tiles.
GPGPU@ASPLOS
Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege
2012 J jnl
Equivalence checking of static affine programs using widening to handle recurrences.
ACM Trans. Program. Lang. Syst.
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
2011 B conf
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.
SAS
Sven Verdoolaege, Albert Cohen, Anna Beletska
2010 J jnl
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.
J. Electron. Test.
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2010 — ch.
Polyhedral Process Networks.
Handbook of Signal Processing Systems
Sven Verdoolaege
2009 A* conf
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.
CAV
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
2009 — conf
Experience with widening based equivalence checking in realistic multimedia systems.
HLDVT
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2009 J jnl
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation.
IEEE Trans. Very Large Scale Integr. Syst.
Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege
2008 — conf
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.
ITSL
Sven Verdoolaege, Maurice Bruynooghe
2008 — conf
An Implementation of the Barvinok--Woods Integer Projection Algorithm.
ITSL
Matthias Köppe, Sven Verdoolaege, Kevin M. Woods
2008 J jnl
Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm.
Electron. J. Comb.
Matthias Köppe, Sven Verdoolaege
2008 J jnl
Counting with rational generating functions.
J. Symb. Comput.
Sven Verdoolaege, Kevin M. Woods
2008 J jnl
Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications.
J. Signal Process. Syst.
Per Gunnar Kjeldsberg, Francky Catthoor, Sven Verdoolaege, Martin Palkovic, Arnout Vandecappelle, Qubo Hu, Einar J. Aas
2007 J jnl
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.
Algorithmica
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
2007 J jnl
pn: A Tool for Improved Derivation of Process Networks.
EURASIP J. Embed. Syst.
Sven Verdoolaege, Hristo Nikolov, Todor P. Stefanov
2005 B conf
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
CC
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
2004 Misc conf
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.
CASES
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
2004 — conf
Optimizing the Memory Bandwidth with Loop Morphing.
ASAP
José Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor
2003 — conf
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
ASAP
Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2000 J jnl
Abductive reasoning with temporal information
CoRR
Sven Verdoolaege, Marc Denecker, Frank Van Eynde
2000 J jnl
Semantic interpretation of temporal information by abductive inference
CoRR
Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
1999 — conf
Semantic interpretation of temporal information by abductive inference.
CLIN
Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
1999 — conf
The semantics of temporal adjuncts.
CLIN
Ness Schelkens, Frank Van Eynde, Sven Verdoolaege
1998 A conf
Analysis Methods for (Alleged) RC4.
ASIACRYPT
Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege