{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-07-06T06:35:13.073698+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "TyGuS/suslik-v1.0.zip": { "checksum": "md5:7110e71cfb31cdaefe9ffe9c1ae772bf", "ext": "zip", "id": "090ca900-0e43-4ce4-b545-479354a0801a", "key": "TyGuS/suslik-v1.0.zip", "metadata": null, "mimetype": "application/zip", "size": 620634 } }, "order": [], "total_bytes": 620634 }, "id": "5074275", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/5074275/access", "access_links": "https://zenodo.org/api/records/5074275/access/links", "access_request": "https://zenodo.org/api/records/5074275/access/request", "access_users": "https://zenodo.org/api/records/5074275/access/users", "archive": "https://zenodo.org/api/records/5074275/files-archive", "archive_media": "https://zenodo.org/api/records/5074275/media-files-archive", "communities": "https://zenodo.org/api/records/5074275/communities", "communities-suggestions": "https://zenodo.org/api/records/5074275/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.5074275", "draft": "https://zenodo.org/api/records/5074275/draft", "files": "https://zenodo.org/api/records/5074275/files", "latest": "https://zenodo.org/api/records/5074275/versions/latest", "latest_html": "https://zenodo.org/records/5074275/latest", "media_files": "https://zenodo.org/api/records/5074275/media-files", "parent": "https://zenodo.org/api/records/1482573", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.1482573", "parent_html": "https://zenodo.org/records/1482573", "requests": "https://zenodo.org/api/records/5074275/requests", "reserve_doi": "https://zenodo.org/api/records/5074275/draft/pids/doi", "self": "https://zenodo.org/api/records/5074275", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.5074275", "self_html": "https://zenodo.org/records/5074275", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:5074275/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:5074275/sequence/default", "versions": "https://zenodo.org/api/records/5074275/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "UC San Diego" } ], "person_or_org": { "family_name": "Nadia Polikarpova", "name": "Nadia Polikarpova", "type": "personal" } }, { "affiliations": [ { "name": "Yale-NUS College and NUS SoC" } ], "person_or_org": { "family_name": "Ilya Sergey", "name": "Ilya Sergey", "type": "personal" } }, { "person_or_org": { "family_name": "Yasunari Watanabe", "name": "Yasunari Watanabe", "type": "personal" } }, { "person_or_org": { "family_name": "rashchedrin", "name": "rashchedrin", "type": "personal" } }, { "affiliations": [ { "name": "????" } ], "person_or_org": { "family_name": "Kiran Gopinathan", "name": "Kiran Gopinathan", "type": "personal" } }, { "person_or_org": { "family_name": "George P\u00eerlea", "name": "George P\u00eerlea", "type": "personal" } }, { "person_or_org": { "family_name": "peleghila", "name": "peleghila", "type": "personal" } }, { "person_or_org": { "family_name": "Shachar Itzhaky", "name": "Shachar Itzhaky", "type": "personal" } }, { "person_or_org": { "family_name": "Reuben Rowe", "name": "Reuben Rowe", "type": "personal" } } ], "description": "
Cyclic program synthesis, with support for certification via HTT/VST/Iris.
", "publication_date": "2021-07-06", "publisher": "Zenodo", "related_identifiers": [ { "identifier": "https://github.com/TyGuS/suslik/tree/v1.0", "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": "" }, "id": "other-open", "title": { "en": "Other (Open)" } } ], "title": "TyGuS/suslik: SuSLik v1.0", "version": "v1.0" }, "parent": { "access": { "owned_by": { "user": 55408 } }, "communities": {}, "id": "1482573", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.1482573", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5074275", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:5074275", "provider": "oai" } }, "revision_id": 3, "stats": { "all_versions": { "data_volume": 80956048251.0, "downloads": 85, "unique_downloads": 75, "unique_views": 1442, "views": 1888 }, "this_version": { "data_volume": 5585706.0, "downloads": 9, "unique_downloads": 9, "unique_views": 184, "views": 189 } }, "status": "published", "updated": "2021-07-06T13:48:21.869691+00:00", "versions": { "index": 6, "is_latest": true } }