{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2020-09-19T21:42:17.925453+00:00", "custom_fields": { "meeting:meeting": { "acronym": "OOPSLA 2020", "url": "https://2020.splashcon.org/track/splash-2020-oopsla" } }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 3, "enabled": true, "entries": { "LICENSE.txt": { "checksum": "md5:86d3f3a95c324c9479bd8986968f4327", "ext": "txt", "id": "1ac3aa5e-85cd-4a8a-9fc3-d265f018a6a8", "key": "LICENSE.txt", "metadata": null, "mimetype": "text/plain", "size": 11357 }, "README.md": { "checksum": "md5:8cae28e4ccf46644a15a358ac21d9b88", "ext": "md", "id": "3624190c-5a02-4aec-9882-d6c25003e4da", "key": "README.md", "metadata": null, "mimetype": "application/octet-stream", "size": 7053 }, "formulog-artifact-image.tar.gz": { "checksum": "md5:0e70a4fd7b80dfe27b66c94761e9f93d", "ext": "gz", "id": "8b1a0c91-7f10-41e7-bbd6-ffbb4fcb086c", "key": "formulog-artifact-image.tar.gz", "metadata": null, "mimetype": "application/gzip", "size": 456692532 } }, "order": [], "total_bytes": 456710942 }, "id": "4039085", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/4039085/access", "access_links": "https://zenodo.org/api/records/4039085/access/links", "access_request": "https://zenodo.org/api/records/4039085/access/request", "access_users": "https://zenodo.org/api/records/4039085/access/users", "archive": "https://zenodo.org/api/records/4039085/files-archive", "archive_media": "https://zenodo.org/api/records/4039085/media-files-archive", "communities": "https://zenodo.org/api/records/4039085/communities", "communities-suggestions": "https://zenodo.org/api/records/4039085/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.4039085", "draft": "https://zenodo.org/api/records/4039085/draft", "files": "https://zenodo.org/api/records/4039085/files", "latest": "https://zenodo.org/api/records/4039085/versions/latest", "latest_html": "https://zenodo.org/records/4039085/latest", "media_files": "https://zenodo.org/api/records/4039085/media-files", "parent": "https://zenodo.org/api/records/4039084", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.4039084", "parent_html": "https://zenodo.org/records/4039084", "requests": "https://zenodo.org/api/records/4039085/requests", "reserve_doi": "https://zenodo.org/api/records/4039085/draft/pids/doi", "self": "https://zenodo.org/api/records/4039085", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.4039085", "self_html": "https://zenodo.org/records/4039085", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:4039085/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:4039085/sequence/default", "versions": "https://zenodo.org/api/records/4039085/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Harvard University" } ], "person_or_org": { "family_name": "Bembenek", "given_name": "Aaron", "identifiers": [ { "identifier": "0000-0002-3677-701X", "scheme": "orcid" } ], "name": "Bembenek, Aaron", "type": "personal" } }, { "affiliations": [ { "name": "Pomona College" } ], "person_or_org": { "family_name": "Greenberg", "given_name": "Michael", "identifiers": [ { "identifier": "0000-0003-0014-7670", "scheme": "orcid" } ], "name": "Greenberg, Michael", "type": "personal" } }, { "affiliations": [ { "name": "Harvard University" } ], "person_or_org": { "family_name": "Chong", "given_name": "Stephen", "identifiers": [ { "identifier": "0000-0002-6734-5383", "scheme": "orcid" } ], "name": "Chong, Stephen", "type": "personal" } } ], "description": "
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by Aaron Bembenek, Michael Greenberg, and Stephen Chong, which has been conditionally accepted at OOPSLA 2020. A newer version (v0.1.1) has the same material, but includes a few bug fixes.
", "languages": [ { "id": "eng", "title": { "en": "English" } } ], "publication_date": "2020-09-19", "publisher": "Zenodo", "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code." }, "id": "apache-2.0", "props": { "scheme": "spdx", "url": "http://www.apache.org/licenses/LICENSE-2.0" }, "title": { "en": "Apache License 2.0" } } ], "subjects": [ { "subject": "Formulog" }, { "subject": "Datalog" }, { "subject": "SMT" } ], "title": "Formulog: Datalog for SMT-Based Static Analysis (OOPSLA 2020 Artifact)", "version": "v0.1.0" }, "parent": { "access": { "owned_by": { "user": 137954 } }, "communities": {}, "id": "4039084", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4039084", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4039085", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:4039085", "provider": "oai" } }, "revision_id": 6, "stats": { "all_versions": { "data_volume": 15035122075.0, "downloads": 63, "unique_downloads": 57, "unique_views": 316, "views": 332 }, "this_version": { "data_volume": 10960711263.0, "downloads": 35, "unique_downloads": 32, "unique_views": 227, "views": 240 } }, "status": "published", "updated": "2020-09-23T15:39:29.461132+00:00", "versions": { "index": 1, "is_latest": false } }