15 citations · 29 across the 5 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 15 cited
Polly's Polyhedral Scheduling in the Presence of Reductions
Johannes Doerfert, Kevin Streit, Sebastian Hack +1
The polyhedral model provides a powerful mathematical abstraction to enable effective optimization of loop nests with respect to a given optimization goal, e.g., exploiting paralle…
cs.PL2015
A Linear First-Order Functional Intermediate Language for Verified Compilers
Sigurd Schneider, Gert Smolka, Sebastian Hack
We present the linear first-order intermediate language IL for verified compilers. IL is a functional language with calls to a nondeterministic environment. We give IL terms a seco…