Travelled to:1 × France
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:M.Bruynooghe A.Cohen T.Grosser A.Beletska G.Janssens K.Beyls F.Catthoor J.Holewinski P.Sadayappan O.Zinenko C.Reddy J.Shirako V.Sarkar A.C.0001
Talks about:affin (3) integ (2) overapproxim (1) parametr (1) parallel (1) conflict (1) transit (1) spatial (1) schedul (1) project (1)
Person: Sven Verdoolaege
DBLP: Verdoolaege:Sven
Contributed to:
2014
2011
2009
20052018Wrote 5 papers:
- CGO-2014-GrosserCHSV #hybrid
- Hybrid Hexagonal/Classical Tiling for GPUs (TG, AC, JH, PS, SV), p. 66.
- SAS-2011-VerdoolaegeCB #approximate #integer #transitive #tuple
- Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations (SV, AC, AB), pp. 216–232.
- CAV-2009-VerdoolaegeJB #equivalence #source code #using
- Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences (SV, GJ, MB), pp. 599–613.
- CC-2005-VerdoolaegeBBC #case study #experience #integer #parametricity
- Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.
- CC-2018-ZinenkoVRSGS0 #locality #modelling #parallel #scheduling
- Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling (OZ, SV, CR, JS, TG, VS, AC0), pp. 3–13.