{"id":"https://openalex.org/W6893964506","doi":"https://doi.org/10.5281/zenodo.5729232","title":"Artifact for paper \"A Max-SMT Superoptimizer for EVM handling Memory and Storage\"","display_name":"Artifact for paper \"A Max-SMT Superoptimizer for EVM handling Memory and Storage\"","publication_year":2021,"publication_date":"2021-11-26","ids":{"openalex":"https://openalex.org/W6893964506","doi":"https://doi.org/10.5281/zenodo.5729232"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5729232","is_oa":true,"landing_page_url":"https://zenodo.org/record/5729232","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5729232","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Albert, Elvira","orcid":"https://orcid.org/0000-0003-0048-0705"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Albert, Elvira","raw_affiliation_strings":["Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Gordillo, Pablo","orcid":"https://orcid.org/0000-0001-6189-4667"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Gordillo, Pablo","raw_affiliation_strings":["Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hern\u00e1ndez-Cerezo, Alejandro","orcid":"https://orcid.org/0000-0003-2109-8863"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Hern\u00e1ndez-Cerezo, Alejandro","raw_affiliation_strings":["Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":null,"display_name":"Rubio, Albert","orcid":"https://orcid.org/0000-0002-0501-9830"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Rubio, Albert","raw_affiliation_strings":["Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121748325"],"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/artifact","display_name":"Artifact (error)","score":0.6262000203132629},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5486999750137329},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.4049000144004822},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.3937999904155731},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.36730000376701355},{"id":"https://openalex.org/keywords/stencil","display_name":"Stencil","score":0.3555000126361847},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.33250001072883606},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.3319999873638153}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8184999823570251},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6262000203132629},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5486999750137329},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.519599974155426},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.42579999566078186},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4049000144004822},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3937999904155731},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37610000371932983},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3562999963760376},{"id":"https://openalex.org/C76752949","wikidata":"https://www.wikidata.org/wiki/Q7607499","display_name":"Stencil","level":2,"score":0.3555000126361847},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.33250001072883606},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3116999864578247},{"id":"https://openalex.org/C3017741341","wikidata":"https://www.wikidata.org/wiki/Q1047852","display_name":"Semi automatic","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C41681595","wikidata":"https://www.wikidata.org/wiki/Q7917855","display_name":"Vectorization (mathematics)","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.27900001406669617},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.2599000036716461}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5729232","is_oa":true,"landing_page_url":"https://zenodo.org/record/5729232","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.5729232","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5729232","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":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5729232","is_oa":true,"landing_page_url":"https://zenodo.org/record/5729232","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,120],"artifact":[1],"includes":[2],"GASOL^v2,":[3],"a":[4,16,95,128],"gas":[5,60],"and":[6,52,150,179,199],"byte-size":[7],"superoptimization<br>":[8],"tool":[9,78,104],"for":[10,20,76,89,101],"Ethereum":[11],"smart":[12,70],"contracts,":[13],"that":[14,72,132],"leverages":[15],"previous":[17],"Max-SMT<br>":[18],"approach":[19],"only":[21],"stack":[22],"optimization":[23,44],"to":[24,35,58,143,158,202],"optimize":[25,36,59],"also":[26,55,200],"wrt.":[27],"memory":[28],"and<br>":[29],"storage.":[30],"GASOL^v2":[31],"can":[32,54],"be":[33,56],"used":[34,46,57],"the":[37,43,48,65,69,77,91,103,106,111,124,134,137,141,145,148,165,189,203,207,210,219,228],"size":[38],"in":[39,80,115,164,218,227],"bytes,":[40],"aligned<br>":[41],"with":[42,140],"criterion":[45],"by":[47],"Solidity":[49],"compiler":[50],"solc,<br>":[51],"it":[53],"consumption.":[61],"The":[62,161,222],"submission<br>":[63],"contains":[64,133],"source":[66],"code":[67],"of":[68,97,181],"contracts":[71],"have":[73,167],"been":[74,168,225],"used<br>":[75],"evaluation":[79],"our":[81],"submitted":[82,107,220],"paper":[83,166],"(see":[84],"Section":[85],"5),":[86],"the<br>":[87,99,116,155],"scripts":[88,157],"running":[90,102,183],"complete":[92],"experiments":[93,162,211],"or":[94],"subset":[96],"them,":[98],"instructions":[100,142],"and,":[105,153],"paper.":[108,221],"Please":[109],"decompress":[110],"zip":[112],"folder":[113,121,129],"tacas22-artifact-gasol.zip":[114],"root":[117],"directory":[118],"(/home/tacas22/).":[119],"contains:":[122],"(i)":[123],"paper<br>":[125],"submitted,":[126],"(ii)":[127],"called":[130],"`sources`":[131],"artifact,<br>":[135],"(iii)":[136],"file":[138],"README.txt":[139],"execute":[144,159],"tool,<br>":[146],"(iv)":[147],"License":[149],"artifact-location":[151],"files":[152],"(v)":[154],"corresponding":[156],"them.":[160],"described":[163],"performed":[169],"on":[170],"an":[171],"Intel<br>":[172],"Core":[173],"i7-7700T":[174,260],"at":[175],"4.2GHz":[176],"x":[177,263,279],"8":[178],"64Gb":[180],"memory,":[182],"Ubuntu":[184,243,256,270,286],"16.04.<br>":[185],"Note":[186],"that,":[187],"because":[188],"SMT":[190],"solver":[191],"may":[192,212],"return":[193],"different":[194,197,204],"solutions":[195],"for<br>":[196],"executions,":[198],"due":[201],"characteristics":[205],"of<br>":[206],"VM":[208,223],"used,":[209],"differ":[213],"slightly":[214],"from":[215],"those":[216],"presented<br>":[217],"has":[224],"tested":[226],"following":[229],"host":[230],"platforms:<br>":[231],"-":[232,245,259,272],"i7-10700":[233],"CPU,":[234,247,261,277],"2.90GHz":[235],"\u00d7":[236,249],"16,":[237],"16Gb":[238],"RAM,":[239,252,266,282],"1Tb":[240],"hard":[241,254,268,284],"disk,":[242,255,269,285],"20.04.<br>":[244,271,287],"i7-8565U":[246],"1.80GHz":[248],"8,":[250,264,280],"16GB":[251],"256Gb":[253],"20.04.":[257],"<br>":[258],"2.90Ghz":[262,278],"8Gb":[265,281],"1TB":[267,283],"AMD":[273],"Ryzen\u2122":[274],"7":[275],"4800H":[276]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}