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