Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Dietsch, Daniel</dc:creator>
  <dc:creator>Jakobs, Marie-Christine</dc:creator>
  <dc:description>This package contains the virtual machine used for the VMCAI 2020 artifact evaluation. 

The VMCAI 2020 virtual machine was created with VirtualBox 6.0.8 and consists of an installation of Ubuntu 19.04 with Linux 5.0.0-31 and the following notable packages.

	OCaml 4.09.0
	OpenJDK 1.8.0_222
	ruby 2.5.5p157
	Python 2.7.16 and Python 3.7.3
	bash 5.0.3
	cmake 3.13.4-1
	gcc 8.3.0
	Racket 7.4
	VIM 8.1
	Emacs 26.1
	Coq 8.9.1 with CoqIDE
	benchexec 2.2
	TexLive 2019
	A 32bit libc
	VirtualBox guest additions

The VM has a user vmcai2020 with password vmcai2020. The root user has the same password.

In order to save space, the VM does not have an active swap file. Please mention in your submission if you expect that a swap file is needed. You can activate swap for the running session using the following commands.

sudo fallocate -l 1G /swapfile 
sudo chmod 600 /swapfile
sudo mkswap /swapfile
sudo swapon /swapfile

The artifact evaluation committee will be instructed not to download software or data from external sources. Any additional software required by your artifact must be included in the .zip file and the artifact must provide instructions for the installation. To include an Ubuntu package in your artifact submission, you can create a .deb file with all the necessary dependencies from inside the VM. Reviewers can then install them by using sudo dpkg -i &lt;.deb file&gt;. You can create the necessary .deb files for example as follows.

	If you have only one package without dependencies, you can use apt-get download &lt;packagename&gt;
	If you have only one package without dependencies but with local modifications, e.g., particular configuration files, you can use the dpkg-repack utility
	If you have a package with multiple dependencies, you can use wget together with apt to download them all and put them into a folder: wget $(apt-get install --reinstall --print-uris -qq &lt;packagename&gt; | cut -d"'" -f2)
  <dc:subject>virtual machine</dc:subject>
  <dc:subject>artifact evaluation</dc:subject>
  <dc:title>VMCAI 2020 Virtual Machine</dc:title>
All versions This version
Views 8685
Downloads 99
Data volume 26.7 GB26.7 GB
Unique views 7473
Unique downloads 99


Cite as