{"id":"https://openalex.org/W6968281254","doi":"https://doi.org/10.5281/zenodo.13863579","title":"Artifact for the VMCAI'2025 Paper \"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts\"","display_name":"Artifact for the VMCAI'2025 Paper \"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts\"","publication_year":2024,"publication_date":"2024-10-02","ids":{"openalex":"https://openalex.org/W6968281254","doi":"https://doi.org/10.5281/zenodo.13863579"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.13863579","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13863579","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":null,"license_id":null,"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.13863579","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Erhard, Julian","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Erhard, Julian","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bentele, Manuel","orcid":"https://orcid.org/0009-0003-4794-958X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bentele, Manuel","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0003-4794-958X","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Heizmann, Matthias","orcid":"https://orcid.org/0000-0003-4252-3558"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heizmann, Matthias","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4252-3558","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Klumpp, Dominik","orcid":"https://orcid.org/0000-0003-4885-0728"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Klumpp, Dominik","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4885-0728","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Saan, Simmo","orcid":"https://orcid.org/0000-0003-4553-1350"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saan, Simmo","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4553-1350","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Sch\u00fcssele, Frank","orcid":"https://orcid.org/0000-0002-5656-306X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sch\u00fcssele, Frank","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5656-306X","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Schwarz, Michael","orcid":"https://orcid.org/0000-0002-9828-0308"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schwarz, Michael","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":"https://orcid.org/0000-0002-9828-0308","affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Seidl, Helmut","orcid":"https://orcid.org/0000-0002-2135-1593"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Seidl, Helmut","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2135-1593","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tilscher, Sarah","orcid":"https://orcid.org/0009-0009-9644-7475"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tilscher, Sarah","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0009-9644-7475","affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Vojdani, Vesal","orcid":"https://orcid.org/0000-0003-4336-7980"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vojdani, Vesal","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4336-7980","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/artifact","display_name":"Artifact (error)","score":0.7598999738693237},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.7062000036239624},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.6998999714851379},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5203999876976013},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44200000166893005},{"id":"https://openalex.org/keywords/replicate","display_name":"Replicate","score":0.37720000743865967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8371000289916992},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7598999738693237},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.7062000036239624},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.6998999714851379},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5203999876976013},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44760000705718994},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44200000166893005},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.37720000743865967},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31029999256134033},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2782000005245209},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.25929999351501465},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.13863579","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13863579","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.13863579","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13863579","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"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],"artifact":[1,39,66,155],"allows":[2],"for":[3,16,36,91,103,110,121],"analysis":[4],"and":[5,46,77,93,112,177],"replication":[6],"of":[7,123,157],"the":[8,13,20,56,68,83,96,101,104,124,138,169],"experimental":[9,52],"results":[10],"discussed":[11],"in":[12,100,137],"paper\"Correctness":[14],"Witnesses":[15],"Concurrent":[17],"Programs:":[18],"Bridging":[19],"Semantic":[21],"Divide":[22],"with":[23],"Ghosts\".":[24],"The":[25,38,74,118,129,143,154],"paper":[26],"describes":[27],"ghost":[28],"witnesses,":[29],"an":[30],"exchange":[31,58],"format":[32],"between":[33,59],"verification":[34,43,97],"tools":[35,98],"concurrentprograms.":[37],"contains":[40,67],"two":[41,61],"such":[42],"tools,":[44],"Goblint":[45,92,111],"Ultimate":[47,94,113],"GemCutter,":[48,95],"as":[49,166],"well":[50],"asan":[51],"setup":[53],"to":[54,150],"evaluate":[55],"information":[57],"these":[60],"tools.":[62],"In":[63],"particular,":[64],"this":[65],"following":[69],"components:":[70],"EVALUATION":[71],"RESULTS":[72],"::":[73,88,108,117,128,142],"evaluation":[75,122],"results,":[76],"overview":[78],"tables":[79],"(HTML)":[80],"generated":[81,131],"from":[82],"raw":[84],"data.":[85],"SOURCE":[86],"CODE":[87],"Source":[89],"code":[90],"used":[99,120,136,149],"experiments":[102],"paper.":[105],"VERIFIER":[106],"BINARIES":[107],"Binaries":[109],"GemCutter.":[114],"BENCHMARK":[115,126],"PROGRAMS":[116],"benchmarks":[119],"verifiers.":[125],"WITNESSES":[127],"witnesses":[130],"by":[132],"Goblint,":[133],"which":[134,172],"were":[135],"experiments.":[139],"BENCHEXEC":[140],"TOOL":[141],"BenchExec":[144],"benchmarking":[145,170],"tool":[146],"can":[147],"be":[148,180],"replicate":[151],"our":[152],"results.":[153],"consists":[156],"a":[158,163,183],"virtual":[159,185],"machine":[160,186],"(rather":[161],"than":[162],"docker":[164],"image),":[165],"we":[167],"use":[168],"toolBenchExec":[171],"itself":[173],"relies":[174],"on":[175,189],"containerization":[176],"cannot":[178],"easily":[179],"run":[181],"inside":[182],"container.The":[184],"was":[187],"created":[188],"Linux":[190],"Ubuntu.":[191]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}