Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine

Citation Style Language JSON Export

  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3533104", 
  "author": [
      "family": "Dietsch, Daniel"
      "family": "Jakobs, Marie-Christine"
  "issued": {
    "date-parts": [
  "abstract": "<p>This package contains the virtual machine used for the <a href=\"\">VMCAI 2020</a> artifact evaluation.&nbsp;</p>\n\n<p>The <strong>VMCAI 2020 virtual machine</strong>&nbsp;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.</p>\n\n<ul>\n\t<li>OCaml 4.09.0</li>\n\t<li>OpenJDK 1.8.0_222</li>\n\t<li>Mono</li>\n\t<li>ruby 2.5.5p157</li>\n\t<li>Python 2.7.16 and Python 3.7.3</li>\n\t<li>bash 5.0.3</li>\n\t<li>cmake 3.13.4-1</li>\n\t<li>clang</li>\n\t<li>gcc 8.3.0</li>\n\t<li>Racket 7.4</li>\n\t<li>VIM 8.1</li>\n\t<li>Emacs 26.1</li>\n\t<li>Coq 8.9.1 with CoqIDE</li>\n\t<li>benchexec 2.2</li>\n\t<li>TexLive 2019</li>\n\t<li>A 32bit libc</li>\n\t<li>VirtualBox guest additions</li>\n</ul>\n\n<p>The VM has a user&nbsp;<code>vmcai2020</code>&nbsp;with password&nbsp;<code>vmcai2020</code>. The root user has the same password.</p>\n\n<p>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.</p>\n\n<pre><code>sudo fallocate -l 1G /swapfile \nsudo chmod 600 /swapfile\nsudo mkswap /swapfile\nsudo swapon /swapfile\n</code></pre>\n\n<p>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&nbsp;<code>.zip</code>&nbsp;file and the artifact must provide instructions for the installation. To include an Ubuntu package in your artifact submission, you can create a&nbsp;<code>.deb</code>&nbsp;file with all the necessary dependencies from inside the VM. Reviewers can then install them by using&nbsp;<code>sudo dpkg -i &lt;.deb file&gt;</code>. You can create the necessary&nbsp;<code>.deb</code>&nbsp;files for example as follows.</p>\n\n<ul>\n\t<li>If you have only one package without dependencies, you can use&nbsp;<code>apt-get download &lt;packagename&gt;</code></li>\n\t<li>If you have only one package without dependencies but with local modifications, e.g., particular configuration files, you can use the&nbsp;<a href=\"\">dpkg-repack utility</a></li>\n\t<li>If you have a package with multiple dependencies, you can use&nbsp;<code>wget</code>&nbsp;together with&nbsp;<code>apt</code>&nbsp;to download them all and put them into a folder:&nbsp;<code>wget $(apt-get install --reinstall --print-uris -qq &lt;packagename&gt; | cut -d&quot;&#39;&quot; -f2)</code></li>\n</ul>", 
  "title": "VMCAI 2020 Virtual Machine", 
  "type": "article", 
  "id": "3533104"
All versions This version
Views 8685
Downloads 99
Data volume 26.7 GB26.7 GB
Unique views 7473
Unique downloads 99


Cite as