PACT2019 Artifacts for "Fast Parallel Equivalence Relations in a Datalog Compiler"

<p>This is the official artifact for the paper &quot;Fast Parallel Equivalence Relations in a Datalog Compiler&quot; due to be published in PACT 2019.</p> <p>We provide a pre-built Docker image on Dockerhub (~1GB), fetch with:</p> <pre><code class="language-bash">sudo docker pull pnappa/pact2019_eqrel</code></pre> <p>&nbsp;</p> <p><strong>Alternatively</strong>, you may rebuild the Docker image from scratch (or install natively on a Debian-based system) by downloading this zip file, and following the instructions below.</p> <p>After downloading the artifacts.zip file to your computer, unzip it to reveal the following hierarchy:</p> <pre><code>pact2019_eqrel_artifacts/ ├── bitcoin_same_user/ ├── Dockerfile ├── microbenchmarks/ ├── openjdk_javalang_steensgaard/ ├── README.md └── souffle_1.5.1-1_amd64.deb </code></pre> <p>There are several options of installing - we recommend using Docker, although we provide instructions also for native installation of Debian-systems in the README.md.</p> <p>One can build a new Docker instance (which will take over an hour - grab a coffee!) through the command (when inside the pact2019_eqrel_artifacts directory):</p> <pre><code class="language-bash">sudo docker build --tag=pnappa/pact2019_eqrel .</code></pre> <p>&nbsp;</p> <p>&nbsp;</p> <p>To run &amp; enter the container, run:</p> <pre><code class="language-bash">sudo docker container run -it pnappa/pact2019_eqrel</code></pre> <p>Refer to README.md for additional instructions in how to perform the experiments, and observe the findings.</p>