{"id":"https://openalex.org/W3041018899","doi":"https://doi.org/10.1145/3350755.3400257","title":"Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures","display_name":"Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures","publication_year":2020,"publication_date":"2020-07-06","ids":{"openalex":"https://openalex.org/W3041018899","doi":"https://doi.org/10.1145/3350755.3400257","mag":"3041018899"},"language":"en","primary_location":{"id":"doi:10.1145/3350755.3400257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3350755.3400257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029333678","display_name":"Hagit Attiya","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":"Hagit Attiya","raw_affiliation_strings":["Technion, Hifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Hifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028532973","display_name":"Ohad Ben-Baruch","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":"Ohad Ben-Baruch","raw_affiliation_strings":["Ben-Gurion University, Be'er Sheva, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University, Be'er Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019462315","display_name":"Panagiota Fatourou","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/I8901234","display_name":"Foundation for Research and Technology Hellas","ror":"https://ror.org/052rphn09","country_code":"GR","type":"facility","lineage":["https://openalex.org/I8901234"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panagiota Fatourou","raw_affiliation_strings":["FORTH ICS & University of Crete, Heraklion, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FORTH ICS & University of Crete, Heraklion, Greece","institution_ids":["https://openalex.org/I142617266","https://openalex.org/I8901234"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022630655","display_name":"Danny Hendler","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":"Danny Hendler","raw_affiliation_strings":["Ben-Gurion University, Be'er Sheva, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University, Be'er Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046224279","display_name":"Eleftherios Kosmas","orcid":null},"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":"Eleftherios Kosmas","raw_affiliation_strings":["University of Crete, Heraklion, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Crete, Heraklion, Greece","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":1.7828,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8605701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"503","last_page":"505"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.8291292786598206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7859335541725159},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.7469358444213867},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5879666805267334},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.5776186585426331},{"id":"https://openalex.org/keywords/non-volatile-random-access-memory","display_name":"Non-volatile random-access memory","score":0.5417102575302124},{"id":"https://openalex.org/keywords/data-recovery","display_name":"Data recovery","score":0.486932635307312},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4840323328971863},{"id":"https://openalex.org/keywords/concurrent-data-structure","display_name":"Concurrent data structure","score":0.46047794818878174},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42104846239089966},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3903149366378784},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3656289875507355},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3357337713241577},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33066052198410034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19925552606582642},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.15580159425735474},{"id":"https://openalex.org/keywords/computer-memory","display_name":"Computer memory","score":0.09464439749717712},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08909240365028381}],"concepts":[{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.8291292786598206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7859335541725159},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.7469358444213867},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5879666805267334},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.5776186585426331},{"id":"https://openalex.org/C34172316","wikidata":"https://www.wikidata.org/wiki/Q499024","display_name":"Non-volatile random-access memory","level":5,"score":0.5417102575302124},{"id":"https://openalex.org/C529754248","wikidata":"https://www.wikidata.org/wiki/Q1054772","display_name":"Data recovery","level":2,"score":0.486932635307312},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4840323328971863},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.46047794818878174},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42104846239089966},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3903149366378784},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3656289875507355},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3357337713241577},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33066052198410034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19925552606582642},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.15580159425735474},{"id":"https://openalex.org/C92855701","wikidata":"https://www.wikidata.org/wiki/Q5830907","display_name":"Computer memory","level":3,"score":0.09464439749717712},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08909240365028381},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C87907426","wikidata":"https://www.wikidata.org/wiki/Q6815755","display_name":"Memory refresh","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3350755.3400257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3350755.3400257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.47999998927116394,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1422898865","https://openalex.org/W1970628175","https://openalex.org/W1978280181","https://openalex.org/W2027790086","https://openalex.org/W2136651966","https://openalex.org/W2150662965","https://openalex.org/W2170146741","https://openalex.org/W2787794676","https://openalex.org/W2810443901","https://openalex.org/W2963015830"],"related_works":["https://openalex.org/W2522020790","https://openalex.org/W2144277748","https://openalex.org/W2066792155","https://openalex.org/W3006268170","https://openalex.org/W4310742963","https://openalex.org/W2901261369","https://openalex.org/W3033595267","https://openalex.org/W3160889103","https://openalex.org/W3014696942","https://openalex.org/W4297665144"],"abstract_inverted_index":{"We":[0],"present":[1],"the":[2,27,46,49],"tracking":[3],"approach":[4],"for":[5,15],"deriving":[6],"detectable":[7],"implementations":[8],"of":[9,48],"many":[10],"widely-used":[11],"concurrent":[12],"data":[13,50],"structures":[14],"systems":[16],"with":[17],"non-volatile":[18],"main":[19],"memory":[20],"(NVRAM).":[21],"Detectable":[22],"recovery":[23],"ensures":[24],"that":[25,45],"in":[26],"crash-recovery":[28],"model,":[29],"every":[30],"operation":[31],"executed":[32],"during":[33],"a":[34,41],"crash,":[35],"resumes":[36],"its":[37],"execution":[38],"and":[39,44],"returns":[40],"correct":[42],"response,":[43],"state":[47],"structure":[51],"is":[52],"not":[53],"corrupted.":[54]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}