software.md

layout	title
default	Software

Benchmarks

Benchmarks containing static control parts.

• Polybench

Code Generators

Tools and libraries to translate a polyhedral representation into source code.

• CADGen
• CLooG BASTOUL2004CLOOG
• CodeGen
• CodeGen+ CHEN2012
• isl

Compilers

Static C/FORTRAN

• Graphite (for GCC) TRIFINOVIC2010
• IBM XL BONDHUGULA2010XLC
• Polly (for LLVM) GROSSER2012POLLY

Source-to-Source

• CHiLL CHEN2008CHILL
• LooPo GRIEBL1996LOOPO
• Pluto BONDHUGULA2008PLUTO
• PoCC
• PolyOpt/C POUCHET2011POLYOPT
• PolyOpt/Fortran
• RosePolly
• PPCG VERDOOLAEGE2013PPCG
• R-Stream SCHWEITZ2006RSTREAM
• Traco BIELECKI2016

Speculative and Just-in-time Compilers

• APOLLO JIMBOREAN2014SPECULATIVE

Equational Programming

• AlphaZ YUKI2012ALPHAZ

Hardware Compilers

• Dcc ALIAS2021DPN

Dependency analysis

• candl
• FADA toolkit BELAOUCHA2010FADALIB
• isl
• Petit KELLY1995PETIT

Exchange formats

• OpenSCoP

Front ends

Tools and libraries to translate a high level language into a polyhedral representation.

• clan BASTOUL2008CLAN
• pet VERDOOLAEGE2012
• RStreamTF R-Stream TF, a TensorFlow front-end to polyhedral compilers.

Interactive Environments

• iscc VERDOOLAEGE2011IMPACT
• Omega calculator KELLY1996OMEGA
• Omega+ calculator

Libraries

Libraries to perform calculations on polyhedra.

• barvinok
• IEGenLib
• isl VERDOOLAEGE2010ISL
• Jolylib
• Omega KELLY1996OMEGA
• Omega+
• polylib LOECHNER1999POLYLIB
• piplib
• PPL BAGNARA2008PARMA
• ZPolyTrans

Scripting

• islpy

Visualization

• islplot