{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2025-06-02T18:14:41.832317+00:00", "custom_fields": { "code:codeRepository": "https://github.com/utahplt/ifT-benchmark" }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 3, "enabled": true, "entries": { "ift-aarch64.tar.gz": { "access": { "hidden": false }, "checksum": "md5:43ca5920a4108bcf8b1231e7ac135a9d", "ext": "gz", "id": "f99c8d77-7dba-40b6-8101-5dc543a4064c", "key": "ift-aarch64.tar.gz", "links": { "content": "https://zenodo.org/api/records/15578862/files/ift-aarch64.tar.gz/content", "self": "https://zenodo.org/api/records/15578862/files/ift-aarch64.tar.gz" }, "metadata": {}, "mimetype": "application/gzip", "size": 762550629, "storage_class": "L" }, "ift-amd64.tar.gz": { "access": { "hidden": false }, "checksum": "md5:e5017d52a51e81b4cdb7bfc8ed9bf5bd", "ext": "gz", "id": "508ec96b-a3d0-4c87-b935-e5172fcfde06", "key": "ift-amd64.tar.gz", "links": { "content": "https://zenodo.org/api/records/15578862/files/ift-amd64.tar.gz/content", "self": "https://zenodo.org/api/records/15578862/files/ift-amd64.tar.gz" }, "metadata": {}, "mimetype": "application/gzip", "size": 838753865, "storage_class": "L" }, "utahplt/ifT-benchmark-programming-10-2-artifact-zenodo.zip": { "access": { "hidden": false }, "checksum": "md5:b05d453285d06a992bd6835297e01c33", "ext": "zip", "id": "894ed1a5-6a09-4a74-94af-25b173fc9463", "key": "utahplt/ifT-benchmark-programming-10-2-artifact-zenodo.zip", "links": { "content": "https://zenodo.org/api/records/15578862/files/utahplt/ifT-benchmark-programming-10-2-artifact-zenodo.zip/content", "self": "https://zenodo.org/api/records/15578862/files/utahplt/ifT-benchmark-programming-10-2-artifact-zenodo.zip" }, "metadata": null, "mimetype": "application/zip", "size": 49974, "storage_class": "L" } }, "order": [], "total_bytes": 1601354468 }, "id": "15578862", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/15578862/access", "access_grants": "https://zenodo.org/api/records/15578862/access/grants", "access_links": "https://zenodo.org/api/records/15578862/access/links", "access_request": "https://zenodo.org/api/records/15578862/access/request", "access_users": "https://zenodo.org/api/records/15578862/access/users", "archive": "https://zenodo.org/api/records/15578862/files-archive", "archive_media": "https://zenodo.org/api/records/15578862/media-files-archive", "communities": "https://zenodo.org/api/records/15578862/communities", "communities-suggestions": "https://zenodo.org/api/records/15578862/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.15578862", "draft": "https://zenodo.org/api/records/15578862/draft", "file_modification": "https://zenodo.org/api/records/15578862/file-modification", "files": "https://zenodo.org/api/records/15578862/files", "latest": "https://zenodo.org/api/records/15578862/versions/latest", "latest_html": "https://zenodo.org/records/15578862/latest", "media_files": "https://zenodo.org/api/records/15578862/media-files", "parent": "https://zenodo.org/api/records/15578848", "parent_doi": "https://doi.org/10.5281/zenodo.15578848", "parent_doi_html": "https://zenodo.org/doi/10.5281/zenodo.15578848", "parent_html": "https://zenodo.org/records/15578848", "preview_html": "https://zenodo.org/records/15578862?preview=1", "quota_increase": "https://zenodo.org/api/records/15578862/quota-increase", "request_deletion": "https://zenodo.org/api/records/15578862/request-deletion", "requests": "https://zenodo.org/api/records/15578862/requests", "reserve_doi": "https://zenodo.org/api/records/15578862/draft/pids/doi", "self": "https://zenodo.org/api/records/15578862", "self_doi": "https://doi.org/10.5281/zenodo.15578862", "self_doi_html": "https://zenodo.org/doi/10.5281/zenodo.15578862", "self_html": "https://zenodo.org/records/15578862", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:15578862/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:15578862/sequence/default", "versions": "https://zenodo.org/api/records/15578862/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "@utahplt" } ], "person_or_org": { "family_name": "Hanwen Guo", "name": "Hanwen Guo", "type": "personal" } }, { "affiliations": [ { "name": "University of Utah" } ], "person_or_org": { "family_name": "Ben Greenman", "name": "Ben Greenman", "type": "personal" } }, { "person_or_org": { "family_name": "Siva Sathyaseelan D N", "name": "Siva Sathyaseelan D N", "type": "personal" } } ], "description": "If T: Benchmark for Type Narrowing", "publication_date": "2025-06-02", "publisher": "Zenodo", "related_identifiers": [ { "identifier": "https://github.com/utahplt/ifT-benchmark/tree/programming-10-2-artifact-zenodo", "relation_type": { "id": "issupplementto", "title": { "de": "Erg\u00e4nzt", "en": "Is supplement to" } }, "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "scheme": "url" } ], "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code." }, "id": "mit", "props": { "scheme": "spdx", "url": "https://opensource.org/licenses/MIT" }, "title": { "en": "MIT License" } } ], "title": "utahplt/ifT-benchmark: Programming 10.2 Artifact" }, "parent": { "access": { "owned_by": { "user": "597927" }, "settings": { "accept_conditions_text": null, "allow_guest_requests": false, "allow_user_requests": false, "secret_link_expiration": 0 } }, "communities": { "default": "6356f563-bc75-4326-98fc-91724dc53a03", "entries": [ { "access": { "member_policy": "open", "members_visibility": "public", "record_submission_policy": "open", "review_policy": "open", "visibility": "public" }, "children": { "allow": false }, "created": "2017-03-20T13:09:08.623992+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "6356f563-bc75-4326-98fc-91724dc53a03", "links": {}, "metadata": { "curation_policy": "", "description": "A community focused on everything to do with programming including the experience of programming.", "page": "

A community focused on everything to do with programming including the experience of programming.

\n\n

This community is open to all materials with a relation to programming in a broad sense. It also serves for material in connection to the Programming Journal.

", "title": "Programming", "type": { "id": "topic" } }, "revision_id": 2, "slug": "programming", "updated": "2026-01-12T11:30:34.522864+00:00" } ], "ids": [ "6356f563-bc75-4326-98fc-91724dc53a03" ] }, "id": "15578848", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.15578848", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.15578862", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:15578862", "provider": "oai" } }, "revision_id": 4, "stats": { "all_versions": { "data_volume": 55056643473.0, "downloads": 109, "unique_downloads": 109, "unique_views": 169, "views": 181 }, "this_version": { "data_volume": 7168068449.0, "downloads": 15, "unique_downloads": 15, "unique_views": 15, "views": 15 } }, "status": "published", "swh": {}, "updated": "2025-06-02T18:14:42.036557+00:00", "versions": { "index": 2, "is_latest": false } }