search for: popl17

...ear-algebra kernels (we use gemm-specific optimizations). The > first two require additional flags to be enabled. On the topic of performance, this paper might be of interest: Fast Polyhedral Abstract Domain Gagandeep Singh, Markus Püschel, Martin Vechev http://www.srl.inf.ethz.ch/papers/POPL17-Polyhedra.pdf > Our experimental results demonstrate massive gains in both space and > time: we show end-to-end speedups of two to five orders of magnitude > compared to state-of-the-art Polyhedra implementations as well as > significant memory gains, on all larger benchmarks. In fact...

[add subject] Dear LLVM community, hope all of you had a good start into 2018 and a quiet branching of LLVM 6.0. With the latest LLVM release out of the way and a longer development phase starting, we would like to restart the process of including Polly and isl into core LLVM to bring changes in early on before the next LLVM release. Short summary: * Today Polly is already part of each LLVM

...pecific optimizations). The >> first two require additional flags to be enabled. > > On the topic of performance, this paper might be of interest: > > Fast Polyhedral Abstract Domain > Gagandeep Singh, Markus Püschel, Martin Vechev > http://www.srl.inf.ethz.ch/papers/POPL17-Polyhedra.pdf > >> Our experimental results demonstrate massive gains in both space and >> time: we show end-to-end speedups of two to five orders of magnitude >> compared to state-of-the-art Polyhedra implementations as well as >> significant memory gains, on all large...