pollylabs.org
Software
http://www.pollylabs.org/software.html
Polly is an advanced loop optimization infrastructure for LLVM, which uses an abstract loop model based on integer sets to analyze and transform the program code. Website: polly.llvm.org. The isl integer set library provides functionality for computations with integer sets. Barvinok is a library that provides functionality for symbolic counting. Given a (possibly parametric) description of an integer set, barvinok returns a closed-form expression describing the number of points contained in the set.
pollylabs.org
AST generation paper presented at PLDI 2016
http://www.pollylabs.org/2016/07/11/AST-Generation-at-PLDI.html
AST generation paper presented at PLDI 2016. Presented Polyhedral AST generation is more than scanning polyhedra. At PLDI 2016, which was held this year on June 13-17 on the beautiful shores of Santa Barbara. In the ACM TOPLAS. Paper presented, we provide detailed insights into state-of-the-art polyhedral AST generation techniques used at the heart of Polly. As well as others, and discuss concepts outside of classical AST generation used to enable GPU tiling techniques such as hybrid-hexagonal tiling.
carp.doc.ic.ac.uk
CARP: Correct and Efficient Accelerator Programming
http://carp.doc.ic.ac.uk/external/news.php
CARP: Correct and Efficient Accelerator Programming. News from the CARP project. 19/20 December 2014: Polly/isl workshop in Zurich. The CARP ENS team are involved in running a two day workshop which brings together CARP researchers and LLVM/Polly. Developers to learn about each other's work, to enable the transfer of CARP technology into the LLVM compiler infrastructure project. 1 December 2014: Marieke Huisman is awarded the Prof. de Winter Prize. 29 November 2014: CARP work presented at INVEST workshop.
polyhedral.info
Community - polyhedral.info
http://polyhedral.info/community.html
Spring school on numerical simulation and polyhedral code optimization. XFOR software tools released. Presburger Formulas and Polyhedral Compilation. PolyComp Tutorial at HiPEAC. Two polyhedral papers at PLDI. Learn how to participate. This is a non-exhaustive list of people involved in the polyhedral community. Whoever feels to be part of this community is invited to contribute. Website: who.rocq.inria.fr/Albert.Cohen/. Website: www.infor.uva.es/ arturo/. Christophe Alias is a research scientist (CR1) a...
parkas.di.ens.fr
PARKAS Software
http://parkas.di.ens.fr/software.html
The PARKAS group runs and contributes to several software projects. Find us on GitHub. Synchronous programming with ODEs. Is an experimental language for simulating hybrid systems. It is a first-order synchronous language without clocks that has been augmented with first-order Ordinary Differential Equations (ODEs) that can be reset. Hybrid programs are compiled into the discrete subset and executed by an external numerical solver; currently the Sundials. CVODE solver via an OCaml Interface. Includes fro...
hipacc-lang.org
HIPAcc
http://hipacc-lang.org/install.html
Is a source-to-source compiler based on Clang/LLVM. To build HIPA. From source, either the development package of Clang/LLVM and libc is required, or the corresponding components from the Clang/LLVM have to be installed manually:. On GNU/Linux when using Clang as target compiler). Works only with the release version of Clang/LLVM listed in dependencies.sh. Which corresponds to the current Clang/LLVM 3.8 release version. Can then be compiled in Visual Studio. The build system of HIPA. Environment variable...
polyhedral.info
Software - polyhedral.info
http://polyhedral.info/software.html
Spring school on numerical simulation and polyhedral code optimization. XFOR software tools released. Presburger Formulas and Polyhedral Compilation. PolyComp Tutorial at HiPEAC. Two polyhedral papers at PLDI. Learn how to participate. Benchmarks containing static control parts. Tools and libraries to translate a polyhedral representation into source code. Tools and libraries to translate a high level language into a polyhedral representation. Libraries to perform calculations on polyhedra.
carp.doc.ic.ac.uk
CARP: Correct and Efficient Accelerator Programming
http://carp.doc.ic.ac.uk/external/dissemination.php
CARP: Correct and Efficient Accelerator Programming. GPUVerify: A Verifier for GPU Kernels. Try out GPUVerify now on rise4fun. Check out videos related to GPUVerify below. PENCIL and VOBLA Tool Chain and Benchmarks. The PENCIL and VOBLA tool chains developed during CARP:. This is what you need to compile PENCIL code; it includes the PENCIL header files. PENCIL-to-PENCIL optimizer and linker. VOBLA: VOBLA-to-PENCIL frontend and BLAS implementation in VOBLA. PENCIL linear algebra benchmarks. Part of the CA...
logilab.org.via.forkthecommons.org
Fork the Commons
http://logilab.org.via.forkthecommons.org/view-rql-Any-X,T,CD-ORDERBY-CD-DESC-WHERE-X-is-IN(MicroBlogEntry,-BlogEntry),-X-title-T,-X-creation_date-CD-page_size-10
Collaboratively Curate and Remix Our Common Wealth. This is a remixable version of open licensed content from logilab.org • Fork this collection. You can click on the Google or Yahoo buttons to sign-in with these identity providers, or you just type your identity uri and click on the little login button. Openiduri log in google yahoo cancel. Login password remember me log in cancel Forgot your password? Try public access at http:/ www.logilab.org/view? Logilab à PyConFR 2012 - compte rendu. Il y avait au...