Goolong Website https://goto.ucsd.edu/~rkici/popl19_artifact_evaluation/ Installation Run install.sh.