1 Setting up and installing the artifact

The artifact is available as a virtual machine appliance for VirtualBox and can be downloaded at this URL:

http://www.ccs.neu.edu/home/asumu/artifacts/popl-2016/artifact.tar

The archive contains a .vmdk and .ovf file.

If you are already reading this README in the VM, feel free to ignore the rest of this section.

To run the artifact image, open the given .ovf file using the File->Import Appliance menu item. This will create a new VM that can be launched after import. We recommend giving the VM at least 4GB of RAM if you want to run the analysis on the largest datasets. We also recommend allocating at least two cores in the VirtualBox settings for the VM.

The image is configured to automatically login to the artifact user account. The account has root privileges using sudo without a password. The password for the account is artifact.