Software Open Access

TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS

Sebastian Hjort Hyberts; Peter Gjøl Jensen; Thomas Neele


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.4041464">
    <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.4041464</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.4041464"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Sebastian Hjort Hyberts</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Aalborg University</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0002-9320-9991">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0002-9320-9991</dct:identifier>
        <foaf:name>Peter Gjøl Jensen</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Aalborg University</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>Thomas Neele</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Royal Holloway</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS</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>
    <dcat:keyword>Virtual Machine</dcat:keyword>
    <dcat:keyword>Artifact Evaluation</dcat:keyword>
    <dcat:keyword>Ubuntu</dcat:keyword>
    <dcat:keyword>TACAS</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2020-09-21</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/4041464"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/4041464</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.4041463"/>
    <owl:versionInfo>1</owl:versionInfo>
    <dct:description>&lt;p&gt;This is a virtual machine (VM) with a GNU/Linux&amp;nbsp;installation to be used for evaluation of artifacts accompanying papers at computer science conferences or journals. It is based on Ubuntu 20.04 with&amp;nbsp;the following additional packages installed: build-essential, cmake, clang, mono-complete, openjdk-8-jdk, python3.8, pip3, ruby, and a 32-bit libc. Moreover, VirtualBox guest additions are installed on the VM, it is therefore possible to easily connect a shared folder from a host computer running VirtualBox. The&amp;nbsp;login and&amp;nbsp;password of the default user are: &amp;ldquo;tacas21&amp;rdquo; / &amp;ldquo;tacas21&amp;rdquo;.&lt;/p&gt; &lt;p&gt;The VM is intended to be used with artifacts that are self-contained, i.e., they contain the presented software, plus all necessary dependencies, so that they can be evaluated without an Internet connection (to protect the anonymity of the reviewers and also to be reproducible even after several years when some web pages have been taken down).&lt;/p&gt; &lt;p&gt;This text and VM setup is heavily based on &lt;a href="https://zenodo.org/record/2759473"&gt;Leng&amp;aacute;l, Ondřej: Artifact Evaluation VM - Ubuntu 18.04 LTS&lt;/a&gt; which is based on &lt;a href="https://doi.org/10.6084/m9.figshare.7823978.v1"&gt;Hahn, Ernst Moritz; Leng&amp;aacute;l, Ondřej (2019): TACAS 2019 Artifact Evaluation VM. figshare. Software.&lt;/a&gt; and &lt;a href="https://doi.org/10.6084/m9.figshare.5896615.v1"&gt;Hartmanns, Arnd; Wendler, Philipp (2018): TACAS 2018 Artifact Evaluation VM. figshare. Software.&lt;/a&gt;&lt;/p&gt; &lt;p&gt;When preparing an artifact for this VM, the dependencies should be also provided. You can include the required Debian packages (.deb files) in the artifact archive and ask the user to install them using, e.g.,&lt;/p&gt; &lt;pre&gt;&lt;code class="language-bash"&gt;$ sudo dpkg -i &amp;lt;file&amp;gt;&lt;/code&gt;&lt;/pre&gt; &lt;p&gt;In order to find out and download all the dependencies of some package, you can, taken the &lt;strong&gt;octave&lt;/strong&gt;&amp;nbsp;package as an example, run the following code:&lt;/p&gt; &lt;pre&gt;&lt;code class="language-bash"&gt;$ mkdir packages $ cd packages $ sudo apt-get update $ apt-get --print-uris install octave | grep -oP "(?&amp;lt;=').*(?=')" &amp;gt; octave.deps $ for i in $(cat octave.deps) ; do wget -nv $i ; done&lt;/code&gt;&lt;/pre&gt; &lt;p&gt;and then ask the user to install them using&lt;/p&gt; &lt;pre&gt;&lt;code class="language-bash"&gt;$ cd packages $ sudo dpkg -i *.deb&lt;/code&gt;&lt;/pre&gt; &lt;p&gt;For Python, you can, e.g., use &lt;strong&gt;pip3&lt;/strong&gt; to download the packages. For instance, to download the &lt;strong&gt;bitarray&lt;/strong&gt; package, you can run (we assume you already have &lt;strong&gt;pip3&lt;/strong&gt; installed)&lt;/p&gt; &lt;pre&gt;&lt;code class="language-bash"&gt;$ pip3 download bitarray&lt;/code&gt;&lt;/pre&gt; &lt;p&gt;The downloaded package can then be installed using&lt;/p&gt; &lt;pre&gt;&lt;code class="language-bash"&gt;$ pip3 install bitarray-1.5.3.tar.gz &lt;/code&gt;&lt;/pre&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.4041464"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.4041464</dcat:accessURL>
        <dcat:byteSize>3647395328</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4041464/files/TACAS 21.ova">https://zenodo.org/record/4041464/files/TACAS 21.ova</dcat:downloadURL>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
931
483
views
downloads
All versions This version
Views 931931
Downloads 483483
Data volume 1.8 TB1.8 TB
Unique views 824824
Unique downloads 395395

Share

Cite as