Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine

JSON Export

  "files": [
      "links": {
        "self": ""
      "checksum": "md5:38020dec1d098738b2431977bd7e6954", 
      "bucket": "989a751d-e370-45be-8098-0aca08475753", 
      "key": "vmcai2020-v3.ova", 
      "type": "ova", 
      "size": 2970457600
  "owners": [
  "doi": "10.5281/zenodo.3533104", 
  "stats": {
    "version_unique_downloads": 9.0, 
    "unique_views": 73.0, 
    "views": 85.0, 
    "version_views": 86.0, 
    "unique_downloads": 9.0, 
    "version_unique_views": 74.0, 
    "volume": 26734118400.0, 
    "version_downloads": 9.0, 
    "downloads": 9.0, 
    "version_volume": 26734118400.0
  "links": {
    "doi": "", 
    "conceptdoi": "", 
    "bucket": "", 
    "conceptbadge": "", 
    "html": "", 
    "latest_html": "", 
    "badge": "", 
    "latest": ""
  "conceptdoi": "10.5281/zenodo.3533103", 
  "created": "2019-11-08T15:22:25.025855+00:00", 
  "updated": "2020-01-25T07:25:03.622152+00:00", 
  "conceptrecid": "3533103", 
  "revision": 2, 
  "id": 3533104, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3533104", 
    "description": "<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>", 
    "license": {
      "id": "CC-BY-4.0"
    "title": "VMCAI 2020 Virtual Machine", 
    "relations": {
      "version": [
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3533103"
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3533104"
    "keywords": [
      "virtual machine", 
      "artifact evaluation", 
    "publication_date": "2019-11-08", 
    "creators": [
        "orcid": "0000-0002-8947-5373", 
        "affiliation": "University of Freiburg", 
        "name": "Dietsch, Daniel"
        "affiliation": "TU Darmstadt", 
        "name": "Jakobs, Marie-Christine"
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    "related_identifiers": [
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.3533103", 
        "relation": "isVersionOf"
All versions This version
Views 8685
Downloads 99
Data volume 26.7 GB26.7 GB
Unique views 7473
Unique downloads 99


Cite as