{"id":"https://openalex.org/W6911571405","doi":"https://doi.org/10.5281/zenodo.12726060","title":"Artifact for Type Tailoring (ECOOP 2024)","display_name":"Artifact for Type Tailoring (ECOOP 2024)","publication_year":2024,"publication_date":"2024-07-11","ids":{"openalex":"https://openalex.org/W6911571405","doi":"https://doi.org/10.5281/zenodo.12726060"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.12726060","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12726060","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.12726060","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Wiersdorf, Ashton","orcid":"https://orcid.org/0000-0001-5524-7930"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wiersdorf, Ashton","raw_affiliation_strings":["University of Utah"],"raw_orcid":"https://orcid.org/0000-0001-5524-7930","affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chang, Stephen","orcid":"https://orcid.org/0000-0002-4760-0658"},"institutions":[{"id":"https://openalex.org/I33434090","display_name":"University of Massachusetts Boston","ror":"https://ror.org/04ydmy275","country_code":"US","type":"education","lineage":["https://openalex.org/I33434090"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chang, Stephen","raw_affiliation_strings":["UMass Boston"],"raw_orcid":"https://orcid.org/0000-0002-4760-0658","affiliations":[{"raw_affiliation_string":"UMass Boston","institution_ids":["https://openalex.org/I33434090"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Felleisen, Matthias","orcid":"https://orcid.org/0000-0001-6678-1004"},"institutions":[{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Felleisen, Matthias","raw_affiliation_strings":["Northeastern University"],"raw_orcid":"https://orcid.org/0000-0001-6678-1004","affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]}]},{"author_position":"last","author":{"id":null,"display_name":"Greenman, Ben","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Greenman, Ben","raw_affiliation_strings":["University of Utah"],"raw_orcid":"https://orcid.org/0000-0001-7078-9287","affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/container","display_name":"Container (type theory)","score":0.8434000015258789},{"id":"https://openalex.org/keywords/download","display_name":"Download","score":0.78329998254776},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5719000101089478},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.5546000003814697},{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.5501999855041504},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5473999977111816},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4970000088214874},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4690000116825104}],"concepts":[{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.8434000015258789},{"id":"https://openalex.org/C2780154274","wikidata":"https://www.wikidata.org/wiki/Q7126717","display_name":"Download","level":2,"score":0.78329998254776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7117999792098999},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5719000101089478},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.5546000003814697},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.5501999855041504},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5473999977111816},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4970000088214874},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.49239999055862427},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4690000116825104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3181000053882599},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C2779308522","wikidata":"https://www.wikidata.org/wiki/Q843958","display_name":"Digitization","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.3061999976634979},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C103472402","wikidata":"https://www.wikidata.org/wiki/Q5362035","display_name":"Elixir (programming language)","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.26570001244544983},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.25690001249313354},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.12726060","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12726060","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.12726060","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12726060","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Latest":[0],"version":[1],"contains:":[2],"README":[3,168,247],"containing":[4],"instructions":[5,28,173,244],"on":[6,29,46,82,90,98,174],"how":[7,30,47,175,249],"to":[8,31,35,48,80,135,151,176,183,212,220,236,250],"use":[9,32,237],"(README.md)":[10],"Tarball":[11,16],"of":[12,17,68,143,171],"source":[13,53,127,131,145],"code":[14],"(ecoop24_artifact.tar.gz)":[15],"Docker":[18,60,76,190],"image":[19,197,203],"(type-tailoring-container.tar.gz)":[20],"Downloading":[21],"Download":[22],"README.md;":[23],"this":[24,140],"contains":[25,66,141,169],"all":[26,67,142,170],"the":[27,33,39,50,64,69,71,75,96,103,126,144,172,185,195,202,205,222,243,246],"artifact":[34,72],"reproduce":[36],"claims":[37],"in":[38,245],"paper.":[40],"You":[41,132,179,191],"now":[42],"have":[43,118],"a":[44],"choice":[45],"run":[49,81,89],"software:":[51],"from":[52,130,189,198,204,214,226],"or":[54,200,232],"using":[55,59],"Docker.":[56],"We":[57],"recommend":[58],"where":[61],"possible":[62],"because":[63],"container":[65,77,97,186,196,223],"dependencies":[70,155],"needs.":[73],"NOTE:":[74],"was":[78],"built":[79],"an":[83,99,119],"x86":[84,120],"architecture":[85],"and":[86,138,153,241,252],"may":[87],"not":[88,117,231,234],"other":[91],"architectures.":[92],"When":[93],"we":[94],"tested":[95],"Apple":[100],"M1":[101],"Pro,":[102],"Julia":[104],"section":[105],"failed;":[106],"everything":[107],"else":[108],"ran":[109],"okay,":[110],"but":[111,147],"rather":[112],"slowly.":[113],"If":[114,208,228],"you":[115,122,148,209,216,229],"do":[116,177,180,217,233],"machine,":[121],"might":[123],"consider":[124],"running":[125],"directly.":[128],"Running":[129,188],"will":[133,149],"need":[134,150,182,219],"download":[136,152,184,221,239],"ecoop24_artifact.tar.gz":[137],"unpack;":[139],"code,":[146],"install":[154],"(the":[156],"languages":[157],"Racket,":[158],"Julia,":[159],"Elixir":[160],"as":[161,163],"well":[162],"associated":[164],"libraries)":[165],"yourself.":[166],"The":[167],"this.":[178],"NOT":[181,218],"tarball.":[187,207],"can":[192,230],"either":[193],"pull":[194,213,225],"DockerHub":[199],"import":[201,251],"type-tailoring-container.tar.gz":[206,240],"would":[210],"like":[211],"DockerHub,":[215,238],"tarball\u2014simply":[224],"DockerHub.":[227],"wish":[235],"follow":[242],"for":[248],"start.":[253]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}