BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Verdoolaege:Sven

Contributed to:

CGO 20142014
SAS 20112011
CAV 20092009
CC 20052005
CC 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.