{"id":"https://openalex.org/W6968646806","doi":"https://doi.org/10.5281/zenodo.6793834","title":"Reproduction Package for SEFM 2022 Article `A Unifying Approach for Control-Flow-Based Loop Abstraction'","display_name":"Reproduction Package for SEFM 2022 Article `A Unifying Approach for Control-Flow-Based Loop Abstraction'","publication_year":2022,"publication_date":"2022-08-06","ids":{"openalex":"https://openalex.org/W6968646806","doi":"https://doi.org/10.5281/zenodo.6793834"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6793834","is_oa":true,"landing_page_url":"https://zenodo.org/record/6793834","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/6793834","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lingsch, Marian","orcid":null},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lingsch, Marian","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Spiessl, Martin","orcid":"https://orcid.org/0000-0002-9169-9130"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Spiessl, Martin","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9169-9130","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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/login","display_name":"Login","score":0.786899983882904},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6126000285148621},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5713000297546387},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.48240000009536743},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4417000114917755},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.40209999680519104},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.3919000029563904},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.3790000081062317}],"concepts":[{"id":"https://openalex.org/C113324615","wikidata":"https://www.wikidata.org/wiki/Q472302","display_name":"Login","level":2,"score":0.786899983882904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7663999795913696},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.7121000289916992},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6126000285148621},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5713000297546387},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.48240000009536743},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.40209999680519104},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.3919000029563904},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.3580999970436096},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34610000252723694},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.34139999747276306},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3010999858379364},{"id":"https://openalex.org/C2776538122","wikidata":"https://www.wikidata.org/wiki/Q160470","display_name":"Telnet","level":4,"score":0.28529998660087585},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C169485995","wikidata":"https://www.wikidata.org/wiki/Q42283","display_name":"File Transfer Protocol","level":3,"score":0.26589998602867126},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.2655999958515167},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C59659247","wikidata":"https://www.wikidata.org/wiki/Q11990","display_name":"Reproduction","level":2,"score":0.25609999895095825}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6793834","is_oa":true,"landing_page_url":"https://zenodo.org/record/6793834","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.6793834","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6793834","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:6793834","is_oa":true,"landing_page_url":"https://zenodo.org/record/6793834","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reproduction":[0],"Package":[1],"for":[2,6,30,59,178],"\u201cA":[3],"Unifying":[4,28],"Approach":[5,29],"Control-Flow-Based":[7,31],"Loop":[8,32],"Abstraction\u201d":[9],"This":[10,36,107],"reproduction":[11],"package":[12],"provides":[13],"a":[14,110,150,185],"virtual":[15],"machine":[16],"to":[17,73,126,159,183,188],"reproduce":[18,74],"the":[19,60,67,75,80,85,104,113,119,128,132,145,189],"results":[20,76],"from":[21],"our":[22,23],"SEFM":[24],"2022":[25],"publication":[26],"A":[27],"Abstraction.":[33],"Hardware":[34],"Requirements":[35],"artifact":[37,133],"VM":[38,81,88,91,146,155,190],"requires":[39],"18":[40],"GB":[41,49],"of":[42,50,69,112],"RAM,":[43],"2":[44],"CPU":[45],"cores":[46],"and":[47,82,136,165],"10":[48],"disk":[51],"space.":[52],"The":[53,154],"README.md":[54],"details":[55],"how":[56],"resource":[57],"limits":[58],"experiments":[61],"can":[62,172],"be":[63],"further":[64,99],"reduced,":[65],"at":[66],"risk":[68],"not":[70,148],"being":[71],"able":[72],"exactly.":[77],"Usage":[78],"Start":[79],"log":[83],"with":[84,117],"user":[86],"account:":[87],"username:":[89],"vagrant":[90,93],"password:":[92],"Change":[94],"directory":[95],"into":[96],"<code>~/loop-abstraction</code>,":[97],"where":[98],"instructions":[100],"are":[101,124],"provided":[102],"in":[103],"file":[105],"<code>README.md</code>.":[106],"folder":[108],"is":[109,134,143,156],"copy":[111],"repository":[114],"https://gitlab.com/sosy-lab/research/data/loop-abstraction":[115],"along":[116],"all":[118],"files":[120],"already":[121],"downloaded":[122],"that":[123],"necessary":[125],"run":[127],"experiments.":[129],"As":[130],"such":[131],"self-contained":[135],"should":[137],"work":[138],"without":[139],"internet":[140],"connection,":[141],"which":[142,179],"why":[144],"does":[147],"have":[149],"network":[151,186],"interface":[152,187],"configured.":[153],"however":[157],"configured":[158],"allow":[160],"SSH":[161],"login":[162,174],"via":[163,176],"username":[164],"password,":[166],"so":[167],"if":[168],"you":[169,171,180],"wish":[170],"also":[173],"remotely":[175],"SSH,":[177],"will":[181],"need":[182],"add":[184],"first.":[191]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}