Software Open Access

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine


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.3533104">
    <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.3533104</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.3533104"/>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0002-8947-5373">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0002-8947-5373</dct:identifier>
        <foaf:name>Dietsch, Daniel</foaf:name>
        <foaf:givenName>Daniel</foaf:givenName>
        <foaf:familyName>Dietsch</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>University of Freiburg</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Jakobs, Marie-Christine</foaf:name>
        <foaf:givenName>Marie-Christine</foaf:givenName>
        <foaf:familyName>Jakobs</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>TU Darmstadt</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>VMCAI 2020 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">2019</dct:issued>
    <dcat:keyword>virtual machine</dcat:keyword>
    <dcat:keyword>artifact evaluation</dcat:keyword>
    <dcat:keyword>vmcai</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2019-11-08</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/3533104"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/3533104</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.3533103"/>
    <dct:description>&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;</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.3533104"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3533104</dcat:accessURL>
        <dcat:byteSize>2970457600</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3533104/files/vmcai2020-v3.ova</dcat:downloadURL>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
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