X-Stack Project Products

D-­TEC: DSL Technology for Exascale Computing

List

• D-TEC compiler and verification research work, X10-ROSE support, Embedded DSL compilers, and ROSE connection to OpenTuner: http://www.rosecompiler.org/
• The Open Fortran Project’s (OFP) parser: https://github.com/OpenFortranProject/ofp-sdf .
• Rosebud: https://svn.rice.edu/r/rosebud .
• Halide: http://halide-lang.org
• OpenTuner: http://opentuner.org/
• The X10 toolchain, X10/APGAS runtime system, and the X10 proxy applications: http://x10-lang.org/
• Bamboo: http://cseweb.ucsd.edu/groups/hpcl/scg/BambooWebsite/
• PolyOpt is a ROSE plug-in distributed with ROSE and also available at: http://hpcrl.cse.ohio-state.edu/wiki/index.php/Polyhedral_Compilation
• Simit: http://groups.csail.mit.edu/commit/ .
• Sketch: http://people.csail.mit.edu/asolar/.
• Cloverleaf auto-converted using synthesis: http://people.csail.mit.edu/asolar/.
• Lulesh built using synthesis: http://people.csail.mit.edu/asolar/.
• MSL, the distributed synthesis language: at http://people.csail.mit.edu/asolar/.
• Rely: at http://people.csail.mit.edu/mcarbin/.
• Rosette, a Racket-based language for hosting solver-aided DSLs: http://homes.cs.washington.edu/~emina/rosette/.
• Chlorophyll: synthesis-aided DSL and compiler for spatial parallel architectures: http://pl.eecs.berkeley.edu/projects/chlorophyll/.