{"id":"https://openalex.org/W6912573553","doi":"https://doi.org/10.5281/zenodo.5773258","title":"PPoPP 22 - Detectable Recovery of Lock-Free Data Structures","display_name":"PPoPP 22 - Detectable Recovery of Lock-Free Data Structures","publication_year":2021,"publication_date":"2021-12-10","ids":{"openalex":"https://openalex.org/W6912573553","doi":"https://doi.org/10.5281/zenodo.5773258"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5773258","is_oa":true,"landing_page_url":"https://zenodo.org/record/5773258","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/5773258","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Attiya, Hagit","orcid":"https://orcid.org/0000-0002-8017-6457"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Attiya, Hagit","raw_affiliation_strings":["Technion"],"raw_orcid":"https://orcid.org/0000-0002-8017-6457","affiliations":[{"raw_affiliation_string":"Technion","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ben-Baruch, Ohad","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ben-Baruch, Ohad","raw_affiliation_strings":["Ben-Gurion University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Fatourou, Panagiota","orcid":"https://orcid.org/0000-0002-6265-6895"},"institutions":[{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]},{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Fatourou, Panagiota","raw_affiliation_strings":["Universit\u00e9 de Paris, FORTH ICS, University of Crete, Greece"],"raw_orcid":"https://orcid.org/0000-0002-6265-6895","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, FORTH ICS, University of Crete, Greece","institution_ids":["https://openalex.org/I4210121775","https://openalex.org/I142617266"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hendler, Danny","orcid":"https://orcid.org/0000-0001-7152-7828"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Hendler, Danny","raw_affiliation_strings":["Ben-Gurion University"],"raw_orcid":"https://orcid.org/0000-0001-7152-7828","affiliations":[{"raw_affiliation_string":"Ben-Gurion University","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":null,"display_name":"Kosmas, Eleftherios","orcid":"https://orcid.org/0000-0002-9552-5664"},"institutions":[{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Kosmas, Eleftherios","raw_affiliation_strings":["University of Crete, CSD"],"raw_orcid":"https://orcid.org/0000-0002-9552-5664","affiliations":[{"raw_affiliation_string":"University of Crete, CSD","institution_ids":["https://openalex.org/I142617266"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"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/implementation","display_name":"Implementation","score":0.7986000180244446},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.6118000149726868},{"id":"https://openalex.org/keywords/persistence","display_name":"Persistence (discontinuity)","score":0.4788999855518341},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.45750001072883606},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.45559999346733093},{"id":"https://openalex.org/keywords/persistent-data-structure","display_name":"Persistent data structure","score":0.4228000044822693},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.4223000109195709},{"id":"https://openalex.org/keywords/data-recovery","display_name":"Data recovery","score":0.39969998598098755}],"concepts":[{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7986000180244446},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7368000149726868},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.6118000149726868},{"id":"https://openalex.org/C2781009140","wikidata":"https://www.wikidata.org/wiki/Q7170389","display_name":"Persistence (discontinuity)","level":2,"score":0.4788999855518341},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.45750001072883606},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.45559999346733093},{"id":"https://openalex.org/C888380","wikidata":"https://www.wikidata.org/wiki/Q2427787","display_name":"Persistent data structure","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.4223000109195709},{"id":"https://openalex.org/C529754248","wikidata":"https://www.wikidata.org/wiki/Q1054772","display_name":"Data recovery","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3734000027179718},{"id":"https://openalex.org/C2779190172","wikidata":"https://www.wikidata.org/wiki/Q4913888","display_name":"Binary data","level":3,"score":0.3589000105857849},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3578000068664551},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.34929999709129333},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3310999870300293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32659998536109924},{"id":"https://openalex.org/C154586513","wikidata":"https://www.wikidata.org/wiki/Q4420972","display_name":"Tracking system","level":3,"score":0.3188000023365021},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28619998693466187},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C175801342","wikidata":"https://www.wikidata.org/wiki/Q1988917","display_name":"Data analysis","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.2660999894142151},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C64943373","wikidata":"https://www.wikidata.org/wiki/Q2651003","display_name":"Alpha (finance)","level":4,"score":0.2549000084400177}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5773258","is_oa":true,"landing_page_url":"https://zenodo.org/record/5773258","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.5773258","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5773258","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5773258","is_oa":true,"landing_page_url":"https://zenodo.org/record/5773258","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":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4112492501735687}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<em><strong>PLEASE":[0],"ACCESS":[1],"THE":[2],"LATEST":[3],"VERSION:":[4],"https://doi.org/10.5281/zenodo.5773257</strong></em>":[5],"In":[6],"the":[7,81,84,119,137,142,149,173,192,196,201,205,210,215,223,235,287,304,312,323,326,338],"PPoPP":[8],"2022":[9],"paper":[10],"[1]":[11,343],"entitled":[12],"\"Detectable":[13,356],"Recovery":[14,357],"of":[15,31,83,99,117,121,153,175,191,195,229,253,325,329,358,368],"Lock-Free":[16,359],"Data":[17,360],"Structures\",":[18],"we":[19,199],"present":[20],"a":[21,65,76,100,103,114,169,226,230],"generic":[22],"approach":[23],"called":[24],"Tracking":[25,93],"for":[26,41,208,225],"deriving":[27],"detectably":[28,96],"recoverable":[29,97,227,259],"implementations":[30,38,98],"many":[32],"widely-used":[33],"concurrent":[34],"data":[35,85],"structures.":[36],"Such":[37],"are":[39],"appealing":[40],"emerging":[42],"systems":[43],"featuring":[44],"byte-addressable":[45],"nonvolatile":[46],"main":[47],"memory":[48],"(NVMM),":[49],"whose":[50],"persistence":[51,122,151,177],"allows":[52],"to":[53,72,94,188],"efficiently":[54],"resurrect":[55],"failed":[56],"processes":[57],"after":[58,64],"crashes.":[59],"Detectable":[60],"recovery":[61],"ensures":[62],"that":[63,80,147],"crash,":[66],"every":[67],"executed":[68],"operation":[69],"is":[70,87,161],"able":[71],"recover":[73],"and":[74,79,107,167,245,275,303,319,353,366],"return":[75],"correct":[77],"response,":[78],"state":[82],"structure":[86],"not":[88,124],"corrupted.":[89],"We":[90,184,220],"have":[91,140],"applied":[92],"derive":[95],"linked":[101,231],"list,":[102],"binary":[104],"search":[105],"tree,":[106],"an":[108,154],"exchanger.":[109],"Our":[110],"experimental":[111,211],"analysis":[112,145,187],"introduces":[113],"new":[115],"way":[116],"analyzing":[118],"cost":[120,152],"instructions,":[123],"by":[125,130,279,286,301,337],"simply":[126],"counting":[127],"them":[128,132],"but":[129],"separating":[131],"into":[133],"categories":[134],"based":[135,233],"on":[136,141,179,234],"impact":[138,174],"they":[139],"performance.":[143],"The":[144],"reveals":[146],"understanding":[148],"actual":[150],"algorithm":[155],"in":[156,214,264,322],"machines":[157],"with":[158,204,257,294],"real":[159],"NVMM,":[160],"more":[162],"complicated":[163],"than":[164],"previously":[165],"thought,":[166],"requires":[168],"thorough":[170],"evaluation,":[171],"since":[172],"different":[176],"instructions":[178],"performance":[180],"may":[181],"greatly":[182],"vary.":[183],"consider":[185],"this":[186,254],"be":[189,262],"one":[190],"major":[193],"contributions":[194],"paper.":[197],"<strong>Here":[198],"provide":[200,222],"code,":[202,255],"together":[203,256],"necessary":[206],"documentation,":[207],"reproducing":[209],"results":[212],"presented":[213],"paper,":[216],"regarding":[217],"our":[218,265],"algorithms.":[219],"also":[221],"code":[224],"implementation":[228],"list":[232],"capsules":[236],"transformation":[237],"(Naama":[238],"Ben-David,":[239],"Guy":[240],"E":[241],"Blelloch,":[242],"Michal":[243],"Friedman,":[244],"Yuanhao":[246],"Wei,":[247],"SPAA":[248],"'19).</strong>":[249],"An":[250],"up-to-date":[251],"version":[252],"other":[258],"implementations,":[260],"can":[261],"found":[263],"working":[266],"GitHub":[267],"repository":[268],"[2].":[269],"<em>Funding:":[270],"Hagit":[271,345],"Attiya,":[272,346],"Ohad":[273,347],"Ben-Baruch,":[274,348],"Danny":[276,351],"Hendler:":[277],"Supported":[278,285],"ISF":[280],"grant":[281],"380/18.":[282],"Panagiota":[283,349],"Fatourou:":[284],"EU":[288],"Horizon":[289],"2020,":[290],"Marie":[291],"Sklodowska-Curie":[292],"project":[293,327],"GA":[295],"No":[296],"101031688.":[297],"Eleftherios":[298,354],"Kosmas:":[299],"Co-financed":[300],"Greece":[302],"European":[305],"Union":[306],"(European":[307],"Social":[308],"Fund-":[309],"ESF)":[310],"through":[311],"Operational":[313],"Programme":[314],"\u00abHuman":[315],"Resources":[316],"Development,":[317],"Education":[318],"Lifelong":[320],"Learning\u00bb":[321],"context":[324],"\u201cReinforcement":[328],"Postdoctoral":[330],"Researchers":[331],"-":[332,344,374],"2nd":[333],"Cycle\u201d":[334],"(MIS-5033021),":[335],"implemented":[336],"State":[339],"Scholarships":[340],"Foundation":[341],"(IKY).</em>":[342],"Fatourou,":[350],"Hendler,":[352],"Kosmas.":[355],"Structures\".":[361],"ACM":[362],"SIGPLAN":[363],"Notices.":[364],"Principles":[365],"Practice":[367],"Parallel":[369],"Programming":[370],"(PPoPP)":[371],"2022.":[372],"[2]":[373],"https://github.com/ConcurrentDistributedLab/Tracking":[375]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}