{"id":"https://openalex.org/W7225731209","doi":"https://doi.org/10.5281/zenodo.24099186","title":"CONFESS: Artifact for \"The Weaker You Are, The Harder To Break: Semantics-Guided Greybox Fuzzing for Weak Memory Concurrency\"","display_name":"CONFESS: Artifact for \"The Weaker You Are, The Harder To Break: Semantics-Guided Greybox Fuzzing for Weak Memory Concurrency\"","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225731209","doi":"https://doi.org/10.5281/zenodo.24099186"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24099186","doi":"https://doi.org/10.5281/zenodo.24099186","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24099186","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,"listed_in":[],"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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24099186","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Anonymous","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anonymous","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9004999995231628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.820900022983551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7010999917984009},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6108999848365784},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5587000250816345},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.525600016117096},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5098000168800354},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5047000050544739},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4580000042915344},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.4530999958515167},{"id":"https://openalex.org/C153247305","wikidata":"https://www.wikidata.org/wiki/Q835713","display_name":"Memory address","level":3,"score":0.4521999955177307},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.43149998784065247},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42730000615119934},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.41769999265670776},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4083999991416931},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.40049999952316284},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.3903999924659729},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.35100001096725464},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3490000069141388},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.33570000529289246},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C40842320","wikidata":"https://www.wikidata.org/wiki/Q19423","display_name":"Buffer overflow","level":2,"score":0.31859999895095825},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26489999890327454},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.25429999828338623}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24099186","doi":"https://doi.org/10.5281/zenodo.24099186","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24099186","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,"listed_in":[],"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":"article-journal"},{"id":"doi:10.5281/zenodo.24099187","doi":"https://doi.org/10.5281/zenodo.24099187","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24099187","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,"listed_in":[],"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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24099186","doi":"https://doi.org/10.5281/zenodo.24099186","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24099186","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,"listed_in":[],"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":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,193],"is":[1,63,65,602],"the":[2,6,27,31,38,40,47,54,74,91,117,123,130,140,148,160,168,173,178,191,195,218,251,266,268,281,286,311,330,358,364,413,417,421,425,438,446,449,463,473,477,491,502,505,512,523,536,551,579,605,609,618],"anonymous":[3],"artifact":[4],"for":[5,21,69,90,224,246,341,470,596,604,614],"PLDI":[7],"2027":[8],"submission":[9],"\u201cThe":[10],"Weaker":[11],"You":[12],"Are,":[13],"The":[14,127,134,157],"Harder":[15],"To":[16],"Break:":[17],"Semantics-Guided":[18],"Greybox":[19],"Fuzzing":[20],"Weak":[22],"Memory":[23],"Concurrency\u201d.":[24],"It":[25,451],"contains":[26],"tool,":[28],"every":[29,35,44,188,247,271,308,342,371,442,454],"benchmark,":[30,412],"scripts":[32,245],"that":[33,49,113,142,233,437,500],"ran":[34],"tool":[36,248],"in":[37,250,410,448,550],"evaluation,":[39],"raw":[41],"results":[42,52,465,620],"of":[43,129,155,190,204,310,350,389,402,441,490,573],"run,":[45],"and":[46,58,121,138,181,217,226,239,243,260,270,285,325,334,356,363,373,382,416,459,466,487,532,563,575,581,591,608,616],"pipeline":[48,359],"turns":[50],"those":[51,98,277],"into":[53,80],"paper's":[55,365,426,513,619],"tables,":[56],"figures":[57],"quoted":[59,460],"numbers.":[60,540],"What":[61],"CONFESS":[62,64,406,548],"a":[66,108,110,231,397,408,411,479,560,564,592],"greybox":[67],"fuzzer":[68,135],"C11":[70],"concurrent":[71],"programs":[72,214],"under":[73],"RC20":[75,184],"weak":[76],"memory":[77],"model,":[78],"built":[79],"AFL++.":[81],"A":[82,100],"static":[83,174],"analysis":[84,175],"decides":[85],"which":[86,115,146,306,318,385],"shared":[87],"accesses":[88],"matter":[89],"program's":[92],"assertions.":[93],"An":[94],"LLVM":[95,556],"pass":[96,170],"instruments":[97],"accesses.":[99],"runtime":[101,179],"library":[102,180],"then":[103,452],"makes":[104],"each":[105],"run":[106,131,339,577],"follow":[107],"skeleton:":[109],"partial":[111],"execution":[112],"fixes":[114],"writes":[116,124],"relevant":[118],"reads":[119],"see":[120],"how":[122],"are":[125,444,516,567],"ordered.":[126],"rest":[128],"completes":[132],"freely.":[133],"mutates":[136],"skeletons":[137],"keeps":[139],"ones":[141],"reach":[143],"new":[144],"behaviour,":[145],"steers":[147],"search":[149],"toward":[150],"deep":[151],"weak-memory":[152],"bugs.":[153],"Contents":[154],"confess-artifact.tar.gz":[156,381],"tool:":[158],"AFL_patches/:":[159],"fuzzer,":[161,258],"as":[162,367],"patches":[163],"to":[164,323,535],"AFL++":[165],"4.35c;":[166],"src/:":[167],"instrumentation":[169],"(LLVM":[171],"16),":[172],"(SVF":[176],"3.0),":[177],"an":[182,484,495],"independent":[183],"consistency":[185,418],"checker.":[186],"paper_benchmarks/:":[187],"benchmark":[189,229],"evaluation.":[192],"covers":[194],"standard":[196],"suites":[197],"(GenMC,":[198],"PCTWM,":[199,255],"SCTBench,":[200],"Li's":[201,256,597],"programs),":[202],"ports":[203],"real":[205],"systems":[206],"code":[207],"with":[208,344,378,472,546],"historical":[209],"or":[210],"injected":[211],"bugs,":[212,216],"correctness":[213],"without":[215],"parameterized":[219],"program":[220],"families":[221],"we":[222,273],"constructed":[223],"RQ2":[225],"RQ3.":[227],"Each":[228,262],"has":[230],"bench.json":[232],"gives":[234],"its":[235,291],"source,":[236],"parameters,":[237],"bug":[238,409],"origin.":[240],"evaluation/tools/:":[241],"adapters":[242],"setup":[244,295],"compared":[249],"paper:":[252,312],"GenMC":[253,574],"v0.19.0,":[254],"GenMC-based":[257],"RFF":[259],"SURW.":[261],"tool's":[263],"README":[264],"records":[265],"version,":[267],"configuration":[269,481],"change":[272],"made.":[274],"third_party/":[275],"holds":[276],"tools'":[278],"sources":[279],"at":[280,511],"exact":[282],"versions":[283],"used,":[284],"inputs":[287],"PCTWM":[288,576],"needs":[289,586],"from":[290,462],"authors'":[292],"artifact,":[293],"so":[294,527],"does":[296],"not":[297,538],"depend":[298],"on":[299,497,522,544,578],"other":[300],"repositories":[301],"staying":[302],"online.":[303],"evaluation/runner/:":[304],"paper_campaigns.py,":[305],"defines":[307,370],"campaign":[309,443],"89":[313],"campaigns,":[314,320],"32,772":[315],"runs;":[316],"runner.py,":[317],"runs":[319,322,332,440,447,549],"pins":[321],"CPUs":[324],"resumes":[326],"after":[327,396],"interruption.":[328],"evaluation/results/:":[329],"planned":[331,439],"(manifest.csv)":[333],"one":[335],"result":[336],"row":[337],"per":[338],"(raw.csv)":[340],"campaign,":[343],"CONFESS's":[345],"per-run":[346,464],"validation":[347],"(consistency":[348],"checks":[349,436],"explored":[351,422],"executions,":[352],"crash":[353,414],"replays).":[354],"evaluation/pipeline/":[355],"data/:":[357],"(normalise.py,":[360],"tables.py,":[361],"stats.py)":[362],"data":[366,455],"submitted.":[368],"data/README.md":[369],"file":[372],"column.":[374],"Getting":[375],"started":[376],"Unpack":[377],"tar":[379],"xzf":[380],"open":[383],"README.md,":[384],"describes":[386],"three":[387],"levels":[388],"evaluation:":[390],"Smoke":[391],"test":[392,607],"(about":[393,508],"10":[394],"minutes,":[395,430],"one-time":[398],"Docker":[399],"image":[400,553,595],"build":[401],"about":[403,494],"30":[404],"minutes):":[405],"finds":[407],"replays,":[415],"checker":[419],"confirms":[420],"executions.":[423],"Check":[424],"numbers":[427],"(a":[428],"few":[429],"no":[431],"runs):":[432],"evaluation/pipeline/verify.sh":[433],"all":[434],"first":[435],"exactly":[445],"results.":[450],"regenerates":[453],"file,":[456],"table,":[457],"figure":[458],"number":[461],"compares":[467],"them":[468],"byte":[469,471],"submitted":[474],"ones.":[475],"Rerun":[476],"experiments:":[478],"reduced":[480,610],"(115":[482],"runs:":[483],"RQ1":[485],"subset":[486],"small":[488],"cells":[489],"suffix":[492],"template;":[493],"hour":[496],"5":[498],"cores)":[499],"shows":[501],"main":[503],"trends;":[504],"full":[506],"evaluation":[507],"40":[509],"CPU-days":[510],"budgets).":[514],"Runs":[515],"seeded,":[517],"but":[518],"their":[519,627],"timing":[520],"depends":[521],"operating":[524],"system's":[525],"scheduling,":[526],"reruns":[528,572],"give":[529],"success":[530],"rates":[531],"medians":[533],"close":[534],"paper's,":[537],"identical":[539],"Requirements":[541],"System:":[542],"Linux":[543],"x86-64":[545],"Docker.":[547],"provided":[552],"(Ubuntu":[554],"24.04,":[555],"16,":[557],"SVF":[558],"3.0);":[559],"development":[561],"container":[562],"Nix":[565],"flake":[566],"also":[568],"included.":[569],"Other":[570],"tools:":[571],"host":[580],"need":[582],"Ubuntu":[583],"24.04.":[584],"Setup":[585],"network":[587],"access":[588],"(apt,":[589],"GitHub,":[590],"4":[593],"GB":[594,601],"fuzzer).":[598],"Memory:":[599],"16":[600],"enough":[603],"smoke":[606],"configuration.":[611],"License":[612],"Provided":[613],"evaluating":[615],"reproducing":[617],"only":[621],"(see":[622],"LICENSE).":[623],"Third-party":[624],"components":[625],"keep":[626],"own":[628],"licenses":[629],"(third_party/README.md,":[630],"AFL_patches/).":[631]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}