This is a virtual machine (VM) with a GNU/Linux installation to be used for evaluation of artifacts accompanying papers at computer science conferences or journals. It is based on Ubuntu 18.04.1 with the following additional packages installed: build-essential, cmake, clang, mono-complete, openjdk-8-jdk, ruby, and a 32-bit libc. Moreover, VirtualBox guest additions are installed on the VM, it is therefore possible to easily connect a shared folder from a host computer running VirtualBox (see a how-to file in the $HOME directory). The login and password of the default user are: “ae” / “ae”. The VM is intended to be used with artifacts that are self-contained, i.e., they contain the presented software, plus all necessary dependencies, so that they can be evaluated without an Internet connection (to protect the anonymity of the reviewers and also to be reproducible even after several years when some web pages have been taken down). This virtual machine is based on Hahn, Ernst Moritz; Lengál, Ondřej (2019): TACAS 2019 Artifact Evaluation VM. figshare. Software., which was heavily inspired by Hartmanns, Arnd; Wendler, Philipp (2018): TACAS 2018 Artifact Evaluation VM. figshare. Software. When preparing an artifact for this VM, the dependencies should be also provided. You can include the required Debian packages (.deb files) in the artifact archive and ask the user to install them using, e.g., $ sudo dpkg -i In order to find out and download all the dependencies of some package, you can, taken the octave package as an example, run the following code: $ mkdir packages $ cd packages $ sudo apt-get update $ apt-get --print-uris install octave | grep "^'" | sed "s/^'\([^']*\)'.*$/\1/g" > octave.deps $ for i in $(cat octave.deps) ; do wget -nv $i ; done and then ask the user to install them using $ cd packages $ sudo dpkg -i *.deb For Python, you can, e.g., use pip to download the packages. For instance, to download the bitarray package, you can run (we assume you already have pip installed) $ pip download bitarray The downloaded package can then be installed using $ pip install bitarray-0.8.3.tar.gz

The included software may be under a different license than this artifact. Please see the corresponding licenses.