Sven Verdoolaege

According to our database1, Sven Verdoolaege authored at least 34 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2015
Polyhedral AST Generation Is More Than Scanning Polyhedra.
ACM Trans. Program. Lang. Syst., 2015

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.
Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014
The Relation Between Diamond Tiling and Hexagonal Tiling.
Parallel Processing Letters, 2014

Hybrid Hexagonal/Classical Tiling for GPUs.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013
Polyhedral parallel code generation for CUDA.
TACO, 2013

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

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

Split tiling for GPUs: automatic parallelization using trapezoidal tiles.
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.
ACM Trans. Program. Lang. Syst., 2012

2011
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

2010
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.
J. Electronic Testing, 2010

isl: An Integer Set Library for the Polyhedral Model.
Proceedings of the Mathematical Software, 2010

Polyhedral Process Networks.
Proceedings of the Handbook of Signal Processing Systems, 2010

2009
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation.
IEEE Trans. VLSI Syst., 2009

Experience with widening based equivalence checking in realistic multimedia systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

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

Counting with rational generating functions.
J. Symb. Comput., 2008

Computing Parametric Rational Generating Functions with a Primal Barvinok Algorithm.
Electr. J. Comb., 2008

Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.
Proceedings of the 2008 International Conference on Information Theory and Statistical Learning, 2008

An Implementation of the Barvinok--Woods Integer Projection Algorithm.
Proceedings of the 2008 International Conference on Information Theory and Statistical Learning, 2008

2007
pn: A Tool for Improved Derivation of Process Networks.
EURASIP J. Emb. Sys., 2007

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

2005
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
Proceedings of the Compiler Construction, 14th International Conference, 2005

2004
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.
Proceedings of the 2004 International Conference on Compilers, 2004

Optimizing the Memory Bandwidth with Loop Morphing.
Proceedings of the 15th IEEE International Conference on Application-Specific Systems, 2004

2003
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
Proceedings of the 14th IEEE International Conference on Application-Specific Systems, 2003

2000
Abductive reasoning with temporal information
CoRR, 2000

Semantic interpretation of temporal information by abductive inference
CoRR, 2000

1999
Semantic interpretation of temporal information by abductive inference.
Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

The semantics of temporal adjuncts.
Proceedings of the Computational Linguistics in the Netherlands 1999, 1999

1998
Analysis Methods for (Alleged) RC4.
Proceedings of the Advances in Cryptology, 1998


  Loading...