Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="">
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">virtual machine</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">artifact evaluation</subfield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">vmcai</subfield>
  <controlfield tag="005">20200125072503.0</controlfield>
  <controlfield tag="001">3533104</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">TU Darmstadt</subfield>
    <subfield code="a">Jakobs, Marie-Christine</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2970457600</subfield>
    <subfield code="z">md5:38020dec1d098738b2431977bd7e6954</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2019-11-08</subfield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o"></subfield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of Freiburg</subfield>
    <subfield code="0">(orcid)0000-0002-8947-5373</subfield>
    <subfield code="a">Dietsch, Daniel</subfield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">VMCAI 2020 Virtual Machine</subfield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u"></subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2"></subfield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This package contains the virtual machine used for the &lt;a href=""&gt;VMCAI 2020&lt;/a&gt; artifact evaluation.&amp;nbsp;&lt;/p&gt;

&lt;p&gt;The &lt;strong&gt;VMCAI 2020 virtual machine&lt;/strong&gt;&amp;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.&lt;/p&gt;

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

&lt;p&gt;The VM has a user&amp;nbsp;&lt;code&gt;vmcai2020&lt;/code&gt;&amp;nbsp;with password&amp;nbsp;&lt;code&gt;vmcai2020&lt;/code&gt;. The root user has the same password.&lt;/p&gt;

&lt;p&gt;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.&lt;/p&gt;

&lt;pre&gt;&lt;code&gt;sudo fallocate -l 1G /swapfile 
sudo chmod 600 /swapfile
sudo mkswap /swapfile
sudo swapon /swapfile

&lt;p&gt;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&amp;nbsp;&lt;code&gt;.zip&lt;/code&gt;&amp;nbsp;file and the artifact must provide instructions for the installation. To include an Ubuntu package in your artifact submission, you can create a&amp;nbsp;&lt;code&gt;.deb&lt;/code&gt;&amp;nbsp;file with all the necessary dependencies from inside the VM. Reviewers can then install them by using&amp;nbsp;&lt;code&gt;sudo dpkg -i &amp;lt;.deb file&amp;gt;&lt;/code&gt;. You can create the necessary&amp;nbsp;&lt;code&gt;.deb&lt;/code&gt;&amp;nbsp;files for example as follows.&lt;/p&gt;

	&lt;li&gt;If you have only one package without dependencies, you can use&amp;nbsp;&lt;code&gt;apt-get download &amp;lt;packagename&amp;gt;&lt;/code&gt;&lt;/li&gt;
	&lt;li&gt;If you have only one package without dependencies but with local modifications, e.g., particular configuration files, you can use the&amp;nbsp;&lt;a href=""&gt;dpkg-repack utility&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;If you have a package with multiple dependencies, you can use&amp;nbsp;&lt;code&gt;wget&lt;/code&gt;&amp;nbsp;together with&amp;nbsp;&lt;code&gt;apt&lt;/code&gt;&amp;nbsp;to download them all and put them into a folder:&amp;nbsp;&lt;code&gt;wget $(apt-get install --reinstall --print-uris -qq &amp;lt;packagename&amp;gt; | cut -d&amp;quot;&amp;#39;&amp;quot; -f2)&lt;/code&gt;&lt;/li&gt;
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3533103</subfield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3533104</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
All versions This version
Views 8685
Downloads 99
Data volume 26.7 GB26.7 GB
Unique views 7473
Unique downloads 99


Cite as