Sven Verdoolaege
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1998–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CC | 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 |
| 2014 | CGO | Hybrid Hexagonal/Classical Tiling for GPUs. | Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege |
| 2013 | ASPLOS | Split tiling for GPUs: automatic parallelization using trapezoidal tiles. | Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege |
| 2011 | SAS | Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. | Sven Verdoolaege, Albert Cohen, Anna Beletska |
| 2009 | CAV | Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
| 2005 | CC | Experiences with Enumeration of Integer Projections of Parametric Polytopes. | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
| 2004 | CASES | Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
| 1998 | ASIACRYPT | Analysis Methods for (Alleged) RC4. | Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege |