Software Open Access

VMCAI 2021 Virtual Machine

Troels Henriksen


DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.4017293">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.4017293</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.4017293"/>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0002-1195-9722">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0002-1195-9722</dct:identifier>
        <foaf:name>Troels Henriksen</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>University of Copenhagen</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>VMCAI 2021 Virtual Machine</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2020</dct:issued>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2020-09-07</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/4017293"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/4017293</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.4017292"/>
    <owl:versionInfo>1</owl:versionInfo>
    <dct:description>&lt;p&gt;This package contains the virtual machine used for the VMCAI 2021 artifact evaluation.&lt;/p&gt; &lt;p&gt;The VMCAI 2021 virtual machine was created with VirtualBox 6.1.12 and consists of an installation of Ubuntu 20.04 with Linux 5.4.0-45 and the following notable packages:&lt;/p&gt; &lt;ul&gt; &lt;li&gt;OCaml 4.08&lt;/li&gt; &lt;li&gt;OpenJDK 1.8.0_265&lt;/li&gt; &lt;li&gt;Mono 6.8.0&lt;/li&gt; &lt;li&gt;Ruby 2.7&lt;/li&gt; &lt;li&gt;Python 2.7 and 3.8&lt;/li&gt; &lt;li&gt;bash 5.0.17&lt;/li&gt; &lt;li&gt;cmake 3.16.3&lt;/li&gt; &lt;li&gt;clang 10.0.0&lt;/li&gt; &lt;li&gt;gcc 9.3.0&lt;/li&gt; &lt;li&gt;Racket 7.2&lt;/li&gt; &lt;li&gt;Vim 8.1&lt;/li&gt; &lt;li&gt;Emacs 26.3&lt;/li&gt; &lt;li&gt;Coq 8.11 with CoqIDE&lt;/li&gt; &lt;li&gt;TeXlive 2019&lt;/li&gt; &lt;li&gt;benchexec 2.7&lt;/li&gt; &lt;li&gt;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 &lt;code&gt;vmcai2021&lt;/code&gt; with password &lt;code&gt;vmcai2021&lt;/code&gt;, with &lt;code&gt;sudo&lt;/code&gt; access. The system is running an SSH server, and the VirtualBox image has been set up to forward port 2021 on the host to port 22 on the virtual machine. You should therefore be able to log in (and copy files) via localhost port 2021 on your host system, which may be more convenient than using the GUI.&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 .zip file and the artifact must provide instructions for the installation. To include an Ubuntu package in your artifact submission, you can create a &lt;code&gt;.deb&lt;/code&gt; file with all the necessary dependencies from inside the VM. Reviewers can then install them by using &lt;code&gt;sudo dpkg -i &amp;lt;foo&amp;gt;.deb&lt;/code&gt;. You can create the necessary .deb files for example as follows.&lt;/p&gt; &lt;ul&gt; &lt;li&gt; &lt;p&gt;If you have only one package without dependencies, you can use &lt;code&gt;apt-get download &amp;lt;packagename&amp;gt;&lt;/code&gt;.&lt;/p&gt; &lt;/li&gt; &lt;li&gt; &lt;p&gt;If you have only one package without dependencies but with local modifications, e.g., particular configuration files, you can use the &lt;a href="https://manpages.ubuntu.com/manpages/disco/en/man1/dpkg-repack.1.html"&gt;&lt;code&gt;dpkg-repack&lt;/code&gt; utility&lt;/a&gt;.&lt;/p&gt; &lt;/li&gt; &lt;li&gt; &lt;p&gt;If you have a package with multiple dependencies, you can use &lt;code&gt;wget&lt;/code&gt; together with &lt;code&gt;apt&lt;/code&gt; to download them all and put them into a folder:&lt;/p&gt; &lt;pre&gt;&lt;code&gt;wget $(apt-get install --reinstall --print-uris -qq &amp;lt;packagename&amp;gt; | cut -d"'" -f2)&lt;/code&gt;&lt;/pre&gt; &lt;/li&gt; &lt;/ul&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4017293"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4017293">https://doi.org/10.5281/zenodo.4017293</dcat:accessURL>
        <dcat:byteSize>4463854592</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4017293/files/vmcai2021-v1.ova">https://zenodo.org/record/4017293/files/vmcai2021-v1.ova</dcat:downloadURL>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
590
147
views
downloads
All versions This version
Views 590590
Downloads 147147
Data volume 656.2 GB656.2 GB
Unique views 502502
Unique downloads 128128

Share

Cite as