Description

This artifact contains the source code described in our ICFP'20 publication: Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies. It contains the RISE and ELEVATE implementations, the Agda code for proving the correctnes of the discussed rewrite rules, and the examples discussed in the paper. Please read the README file for more information.

Assets

Instructions

Experimental Installation

Installation:

Please read the README file for more information.

Work Flows:

start the virtual machine: ./start.sh log in to the virtual machine: ssh -p 5555 artifact@localhost (password is 'password') execute the artifact: ./run.sh

for a native installation follow the instructions in the file README.md provided in the virtual machine.

Evaluation:

All results are provided in the folder results/

Provenance

RISE is available at: https://github.com/rise-lang ELEVATE is available at: https://github.com/elevate-lang/elevate

License