{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-07-13T04:06:32.700467+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "ruler-zenodo-2021-07-12.zip": { "checksum": "md5:d1e586df0da6582b034bd97d1235340f", "ext": "zip", "id": "c9848f0d-faea-4cd5-a96d-53d6df7f23a0", "key": "ruler-zenodo-2021-07-12.zip", "metadata": null, "mimetype": "application/zip", "size": 122469162 } }, "order": [], "total_bytes": 122469162 }, "id": "5094074", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/5094074/access", "access_links": "https://zenodo.org/api/records/5094074/access/links", "access_request": "https://zenodo.org/api/records/5094074/access/request", "access_users": "https://zenodo.org/api/records/5094074/access/users", "archive": "https://zenodo.org/api/records/5094074/files-archive", "archive_media": "https://zenodo.org/api/records/5094074/media-files-archive", "communities": "https://zenodo.org/api/records/5094074/communities", "communities-suggestions": "https://zenodo.org/api/records/5094074/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.5094074", "draft": "https://zenodo.org/api/records/5094074/draft", "files": "https://zenodo.org/api/records/5094074/files", "latest": "https://zenodo.org/api/records/5094074/versions/latest", "latest_html": "https://zenodo.org/records/5094074/latest", "media_files": "https://zenodo.org/api/records/5094074/media-files", "parent": "https://zenodo.org/api/records/5094056", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.5094056", "parent_html": "https://zenodo.org/records/5094056", "requests": "https://zenodo.org/api/records/5094074/requests", "reserve_doi": "https://zenodo.org/api/records/5094074/draft/pids/doi", "self": "https://zenodo.org/api/records/5094074", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.5094074", "self_html": "https://zenodo.org/records/5094074", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:5094074/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:5094074/sequence/default", "versions": "https://zenodo.org/api/records/5094074/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Nandi", "given_name": "Chandrakana", "name": "Nandi, Chandrakana", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Willsey", "given_name": "Max", "name": "Willsey, Max", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Zhu", "given_name": "Amy", "name": "Zhu, Amy", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Saiki", "given_name": "Brett", "name": "Saiki, Brett", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Wang", "given_name": "Yisu", "name": "Wang, Yisu", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Anderson", "given_name": "Adam", "name": "Anderson, Adam", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Schulz", "given_name": "Adriana", "name": "Schulz, Adriana", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Grossman", "given_name": "Dan", "name": "Grossman, Dan", "type": "personal" } }, { "affiliations": [ { "name": "University of Washington" } ], "person_or_org": { "family_name": "Tatlock", "given_name": "Zachary", "name": "Tatlock, Zachary", "type": "personal" } } ], "description": "
Artifact for our paper, "Rewrite Rule Inference Using Equality Saturation", accepted at OOPSLA 2021.
", "publication_date": "2021-07-13", "publisher": "Zenodo", "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" } } ], "subjects": [ { "subject": "e-graphs, rewrite rules, equality saturation, program synthesis" } ], "title": "OOPSLA2021-AEC-Paper-94: Rewrite Rule Inference Using Equality Saturation" }, "parent": { "access": { "owned_by": { "user": 49442 } }, "communities": {}, "id": "5094056", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5094056", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5094074", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:5094074", "provider": "oai" } }, "revision_id": 5, "stats": { "all_versions": { "data_volume": 57932442948.0, "downloads": 40, "unique_downloads": 35, "unique_views": 345, "views": 402 }, "this_version": { "data_volume": 1592099106.0, "downloads": 13, "unique_downloads": 13, "unique_views": 199, "views": 222 } }, "status": "published", "updated": "2021-09-05T20:29:11.246746+00:00", "versions": { "index": 2, "is_latest": false } }