{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-06-21T11:10:54.719708+00:00", "custom_fields": { "meeting:meeting": { "acronym": "ICFP '21", "dates": "August 22-27, 2021", "place": "Virtual", "title": "26th ACM SIGPLAN International Conference on Functional Programming", "url": "https://icfp21.sigplan.org/" } }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 3, "enabled": true, "entries": { "README.md": { "checksum": "md5:524141189971e6ad5fbb062d95ddff11", "ext": "md", "id": "4c15265a-014b-49fb-ba3a-379fb99d7915", "key": "README.md", "metadata": null, "mimetype": "application/octet-stream", "size": 24047 }, "source.tar.gz": { "checksum": "md5:12614f4d0478d69c0780cd30e4c3cefe", "ext": "gz", "id": "85bb70dd-b9b4-4c3e-b70f-27cfd77fd357", "key": "source.tar.gz", "metadata": null, "mimetype": "application/gzip", "size": 1022565 }, "vm-image.zip": { "checksum": "md5:53d78bcfc61ceb22b356931d0f8d624c", "ext": "zip", "id": "64bdf452-bada-461e-ba28-c900f0b85e2b", "key": "vm-image.zip", "metadata": null, "mimetype": "application/zip", "size": 2710079403 } }, "order": [], "total_bytes": 2711126015 }, "id": "5005829", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/5005829/access", "access_links": "https://zenodo.org/api/records/5005829/access/links", "access_request": "https://zenodo.org/api/records/5005829/access/request", "access_users": "https://zenodo.org/api/records/5005829/access/users", "archive": "https://zenodo.org/api/records/5005829/files-archive", "archive_media": "https://zenodo.org/api/records/5005829/media-files-archive", "communities": "https://zenodo.org/api/records/5005829/communities", "communities-suggestions": "https://zenodo.org/api/records/5005829/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.5005829", "draft": "https://zenodo.org/api/records/5005829/draft", "files": "https://zenodo.org/api/records/5005829/files", "latest": "https://zenodo.org/api/records/5005829/versions/latest", "latest_html": "https://zenodo.org/records/5005829/latest", "media_files": "https://zenodo.org/api/records/5005829/media-files", "parent": "https://zenodo.org/api/records/4777382", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.4777382", "parent_html": "https://zenodo.org/records/4777382", "requests": "https://zenodo.org/api/records/5005829/requests", "reserve_doi": "https://zenodo.org/api/records/5005829/draft/pids/doi", "self": "https://zenodo.org/api/records/5005829", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.5005829", "self_html": "https://zenodo.org/records/5005829", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:5005829/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:5005829/sequence/default", "versions": "https://zenodo.org/api/records/5005829/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Yale-NUS College and National University of Singapore" } ], "person_or_org": { "family_name": "Yasunari Watanabe", "name": "Yasunari Watanabe", "type": "personal" } }, { "affiliations": [ { "name": "National University of Singapore" } ], "person_or_org": { "family_name": "Kiran Gopinathan", "name": "Kiran Gopinathan", "type": "personal" } }, { "affiliations": [ { "name": "National University of Singapore" } ], "person_or_org": { "family_name": "George P\u00eerlea", "name": "George P\u00eerlea", "type": "personal" } }, { "affiliations": [ { "name": "UC San Diego" } ], "person_or_org": { "family_name": "Nadia Polikarpova", "name": "Nadia Polikarpova", "type": "personal" } }, { "affiliations": [ { "name": "Yale-NUS College and National University of Singapore" } ], "person_or_org": { "family_name": "Ilya Sergey", "name": "Ilya Sergey", "type": "personal" } } ], "description": "
Artifact accompanying the the paper Certifying the Synthesis of Heap-Manipulating Programs, published in proceedings of ICFP 2021.
\n\nVirtual machine: The vm-image.zip 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 README.md file attached to this artifact.
\n\nSource code: Download the source.tar.gz archive and unpack it. In the README.md file in the root of the project, follow the Compile/Install instructions to compile the sources, and then follow the Step by Step Instructions to run.
", "languages": [ { "id": "eng", "title": { "en": "English" } } ], "publication_date": "2021-05-21", "publisher": "Zenodo", "related_identifiers": [ { "identifier": "https://github.com/TyGuS/suslik/tree/icfp21-artifact", "relation_type": { "id": "issupplementto", "title": { "de": "Erg\u00e4nzt", "en": "Is supplement to" } }, "scheme": "url" } ], "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "title": "Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks", "version": "0.1.2" }, "parent": { "access": { "owned_by": { "user": 223015 } }, "communities": {}, "id": "4777382", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4777382", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5005829", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:5005829", "provider": "oai" } }, "revision_id": 6, "stats": { "all_versions": { "data_volume": 92085634120.0, "downloads": 122, "unique_downloads": 99, "unique_views": 707, "views": 835 }, "this_version": { "data_volume": 35254226032.0, "downloads": 64, "unique_downloads": 54, "unique_views": 483, "views": 575 } }, "status": "published", "updated": "2021-07-01T12:47:00.619471+00:00", "versions": { "index": 3, "is_latest": true } }