Sven Verdoolaege

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 3

Top Topics

Code Generation

Scripting Language

Top Venues

ACM Trans. Archit. Code Optim.

ACM Trans. Program. Lang. Syst.

Publications

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