There is a newer version of this record available.

Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Anonymous


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/c28648ce-9667-42c3-ba7e-f2350b776447/README.md"
      }, 
      "checksum": "md5:6179ab374e0dac681bef957d85128bda", 
      "bucket": "c28648ce-9667-42c3-ba7e-f2350b776447", 
      "key": "README.md", 
      "type": "md", 
      "size": 20525
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/c28648ce-9667-42c3-ba7e-f2350b776447/source.tar.gz"
      }, 
      "checksum": "md5:c533c742cc22f3482b7073347933eeb9", 
      "bucket": "c28648ce-9667-42c3-ba7e-f2350b776447", 
      "key": "source.tar.gz", 
      "type": "gz", 
      "size": 1023883
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/c28648ce-9667-42c3-ba7e-f2350b776447/vm-image.zip"
      }, 
      "checksum": "md5:b9ed7ca60a8f508431dbb41b1e36b89a", 
      "bucket": "c28648ce-9667-42c3-ba7e-f2350b776447", 
      "key": "vm-image.zip", 
      "type": "zip", 
      "size": 2705678671
    }
  ], 
  "owners": [
    223015
  ], 
  "doi": "10.5281/zenodo.4777703", 
  "stats": {
    "version_unique_downloads": 20.0, 
    "unique_views": 54.0, 
    "views": 76.0, 
    "version_views": 321.0, 
    "unique_downloads": 12.0, 
    "version_unique_views": 208.0, 
    "volume": 21652740224.0, 
    "version_downloads": 37.0, 
    "downloads": 22.0, 
    "version_volume": 29776288868.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.4777703", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4777382", 
    "bucket": "https://zenodo.org/api/files/c28648ce-9667-42c3-ba7e-f2350b776447", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4777382.svg", 
    "html": "https://zenodo.org/record/4777703", 
    "latest_html": "https://zenodo.org/record/5005829", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4777703.svg", 
    "latest": "https://zenodo.org/api/records/5005829"
  }, 
  "conceptdoi": "10.5281/zenodo.4777382", 
  "created": "2021-05-21T08:02:41.893595+00:00", 
  "updated": "2021-07-01T12:46:59.744944+00:00", 
  "conceptrecid": "4777382", 
  "revision": 8, 
  "id": 4777703, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.4777703", 
    "description": "<p>Artifact accompanying the the paper <em>Certifying the Synthesis of Heap-Manipulating Programs</em>, conditionally accepted to ICFP&#39;21.</p>\n\n<p><strong>Virtual machine:&nbsp;</strong>The <em>vm-image.zip</em> file contains a virtual machine image containing the full artifact and benchmarks, as well as the necessary scripts to start it. It should work with QEMU. To start with it, follow the instructions in&nbsp;<em>README.md</em> file attached to this artifact.</p>\n\n<p><strong>Source code:</strong>&nbsp;Download the<em> source.tar.gz</em><em> </em>archive and unpack it. In the&nbsp;<em>README.md</em> file in the root of the project, follow the <em>Compile/Install</em> instructions to compile the sources, and then follow the&nbsp;<em>Step by Step Instructions</em> to run.</p>", 
    "language": "eng", 
    "title": "Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 3, 
          "index": 1, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4777382"
          }, 
          "is_last": false, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "5005829"
          }
        }
      ]
    }, 
    "version": "0.1.1", 
    "publication_date": "2021-05-21", 
    "creators": [
      {
        "affiliation": "Anonymous", 
        "name": "Anonymous"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4777382", 
        "relation": "isVersionOf"
      }
    ]
  }
}
321
37
views
downloads
All versions This version
Views 32176
Downloads 3722
Data volume 29.8 GB21.7 GB
Unique views 20854
Unique downloads 2012

Share

Cite as