Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.3533104</identifier>
  <creators>
    <creator>
      <creatorName>Dietsch, Daniel</creatorName>
      <givenName>Daniel</givenName>
      <familyName>Dietsch</familyName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0002-8947-5373</nameIdentifier>
      <affiliation>University of Freiburg</affiliation>
    </creator>
    <creator>
      <creatorName>Jakobs, Marie-Christine</creatorName>
      <givenName>Marie-Christine</givenName>
      <familyName>Jakobs</familyName>
      <affiliation>TU Darmstadt</affiliation>
    </creator>
  </creators>
  <titles>
    <title>VMCAI 2020 Virtual Machine</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2019</publicationYear>
  <subjects>
    <subject>virtual machine</subject>
    <subject>artifact evaluation</subject>
    <subject>vmcai</subject>
  </subjects>
  <dates>
    <date dateType="Issued">2019-11-08</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/3533104</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.3533103</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="https://creativecommons.org/licenses/by/4.0/legalcode">Creative Commons Attribution 4.0 International</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;This package contains the virtual machine used for the &lt;a href="https://popl20.sigplan.org/home/VMCAI-2020#Call-for-Artifacts"&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;ul&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;Mono 6.4.0.198&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;clang 8.0.0.3&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;/ul&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;/code&gt;&lt;/pre&gt;

&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;ul&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="https://manpages.ubuntu.com/manpages/disco/en/man1/dpkg-repack.1.html"&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;
&lt;/ul&gt;</description>
  </descriptions>
</resource>
86
9
views
downloads
All versions This version
Views 8685
Downloads 99
Data volume 26.7 GB26.7 GB
Unique views 7473
Unique downloads 99

Share

Cite as