{"id":"https://openalex.org/W3014696942","doi":"https://doi.org/10.1145/3385412.3386031","title":"NVTraverse: in NVRAM data structures, the destination is more important than the journey","display_name":"NVTraverse: in NVRAM data structures, the destination is more important than the journey","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3014696942","doi":"https://doi.org/10.1145/3385412.3386031","mag":"3014696942"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3386031","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3385412.3386031","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3385412.3386031","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3385412.3386031","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033895433","display_name":"Michal Friedman","orcid":"https://orcid.org/0009-0003-5588-8617"},"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":true,"raw_author_name":"Michal Friedman","raw_affiliation_strings":["Technion, Israel","Technion-Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion-Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002422340","display_name":"Naama Ben-David","orcid":"https://orcid.org/0000-0002-0863-2470"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Naama Ben-David","raw_affiliation_strings":["Carnegie Mellon University, USA","Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081860460","display_name":"Yuanhao Wei","orcid":"https://orcid.org/0000-0002-5176-0961"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuanhao Wei","raw_affiliation_strings":["Carnegie Mellon University, USA","Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033930662","display_name":"Guy E. Blelloch","orcid":"https://orcid.org/0000-0003-0224-9187"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy E. Blelloch","raw_affiliation_strings":["Carnegie Mellon University, USA","Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073517584","display_name":"Erez Petrank","orcid":"https://orcid.org/0000-0002-6353-956X"},"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":"Erez Petrank","raw_affiliation_strings":["Technion, Israel","Technion-Israel Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Technion, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion-Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033895433"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":0.2357,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45946708,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"377","last_page":"392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9998000264167786,"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/tree-traversal","display_name":"Tree traversal","score":0.8569705486297607},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8121708631515503},{"id":"https://openalex.org/keywords/non-volatile-random-access-memory","display_name":"Non-volatile random-access memory","score":0.76407390832901},{"id":"https://openalex.org/keywords/concurrent-data-structure","display_name":"Concurrent data structure","score":0.7624311447143555},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.7211166620254517},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6130974292755127},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.584682285785675},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.48378655314445496},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.416412353515625},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40317049622535706},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3781246840953827},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2970908284187317},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1924940049648285},{"id":"https://openalex.org/keywords/computer-memory","display_name":"Computer memory","score":0.18737930059432983},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.16991561651229858},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.1586172878742218}],"concepts":[{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.8569705486297607},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8121708631515503},{"id":"https://openalex.org/C34172316","wikidata":"https://www.wikidata.org/wiki/Q499024","display_name":"Non-volatile random-access memory","level":5,"score":0.76407390832901},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.7624311447143555},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.7211166620254517},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6130974292755127},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.584682285785675},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.48378655314445496},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.416412353515625},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40317049622535706},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3781246840953827},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2970908284187317},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1924940049648285},{"id":"https://openalex.org/C92855701","wikidata":"https://www.wikidata.org/wiki/Q5830907","display_name":"Computer memory","level":3,"score":0.18737930059432983},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.16991561651229858},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.1586172878742218},{"id":"https://openalex.org/C87907426","wikidata":"https://www.wikidata.org/wiki/Q6815755","display_name":"Memory refresh","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3385412.3386031","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3385412.3386031","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3385412.3386031","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2004.02841","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.02841","pdf_url":"https://arxiv.org/pdf/2004.02841","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3014696942","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2004.02841.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2004.02841","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2004.02841","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"article"}],"best_oa_location":{"id":"doi:10.1145/3385412.3386031","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3385412.3386031","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3385412.3386031","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1730533141","display_name":null,"funder_award_id":"PGSD Scholarship","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G1814763051","display_name":"AF: Small: Shared-Memory Parallel Algorithms: Theory and Practice","funder_award_id":"1910030","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3771973391","display_name":null,"funder_award_id":"NSERC PGS","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5309298212","display_name":null,"funder_award_id":"NSERC PGSD","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6132739933","display_name":null,"funder_award_id":"CCF-1910030","funder_id":"https://openalex.org/F4320315254","funder_display_name":"Innovative Research Group Project of the National Natural Science Foundation of China"},{"id":"https://openalex.org/G6550909468","display_name":null,"funder_award_id":"CCF-1919223","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6894402473","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7245889382","display_name":null,"funder_award_id":"10030","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G82646606","display_name":"SPX: Parallel Models and Algorithms for Emerging Memory Systems","funder_award_id":"1919223","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320315254","display_name":"Innovative Research Group Project of the National Natural Science Foundation of China","ror":null},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3014696942.pdf","grobid_xml":"https://content.openalex.org/works/W3014696942.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W156702976","https://openalex.org/W1422898865","https://openalex.org/W1437323374","https://openalex.org/W1517389573","https://openalex.org/W1520380662","https://openalex.org/W1567210335","https://openalex.org/W1981393723","https://openalex.org/W1985229168","https://openalex.org/W2041135949","https://openalex.org/W2096578865","https://openalex.org/W2101939036","https://openalex.org/W2113637091","https://openalex.org/W2117572751","https://openalex.org/W2127976210","https://openalex.org/W2138654728","https://openalex.org/W2139559481","https://openalex.org/W2144549530","https://openalex.org/W2145795182","https://openalex.org/W2150662965","https://openalex.org/W2170146741","https://openalex.org/W2282225439","https://openalex.org/W2294111665","https://openalex.org/W2333451476","https://openalex.org/W2511114427","https://openalex.org/W2575900856","https://openalex.org/W2578828332","https://openalex.org/W2593354228","https://openalex.org/W2604283882","https://openalex.org/W2769196024","https://openalex.org/W2787794676","https://openalex.org/W2796123855","https://openalex.org/W2804444364","https://openalex.org/W2809467539","https://openalex.org/W2810443901","https://openalex.org/W2898443334","https://openalex.org/W2905585531","https://openalex.org/W2912336518","https://openalex.org/W2928505867","https://openalex.org/W2963015830","https://openalex.org/W2963930218","https://openalex.org/W2969449588","https://openalex.org/W2975438130","https://openalex.org/W2979682152","https://openalex.org/W2983829900","https://openalex.org/W2996634758","https://openalex.org/W3101628343","https://openalex.org/W3103616267","https://openalex.org/W3125340028","https://openalex.org/W6630786017","https://openalex.org/W6681257136","https://openalex.org/W6684883295","https://openalex.org/W6746714993","https://openalex.org/W6749898194","https://openalex.org/W6769890006","https://openalex.org/W6772336050"],"related_works":["https://openalex.org/W3033595267","https://openalex.org/W2808437744","https://openalex.org/W2963015830","https://openalex.org/W2914177604","https://openalex.org/W2951521524","https://openalex.org/W3203779775","https://openalex.org/W3126784912","https://openalex.org/W2137709994","https://openalex.org/W3137537256","https://openalex.org/W2002918753","https://openalex.org/W1926613849","https://openalex.org/W3181883876","https://openalex.org/W2150303531","https://openalex.org/W3101628343","https://openalex.org/W2286143709","https://openalex.org/W2953300662","https://openalex.org/W2294620579","https://openalex.org/W203992939","https://openalex.org/W3006064422","https://openalex.org/W2182646236"],"abstract_inverted_index":{"The":[0,101],"recent":[1],"availability":[2],"of":[3,17,85],"fast,":[4],"dense,":[5],"byte-addressable":[6],"non-volatile":[7],"memory":[8],"has":[9,39],"led":[10],"to":[11,41,46,121],"increasing":[12],"interest":[13],"in":[14],"the":[15,86,90,105,131,138],"problem":[16],"designing":[18,29],"durable":[19,30],"data":[20,32,64,72,87,109],"structures":[21,33],"that":[22,34,60,93,107,117,156],"can":[23,158],"recover":[24],"from":[25,66],"system":[26,146],"crashes.":[27],"However,":[28],"concurrent":[31],"are":[35],"correct":[36],"and":[37,78,98,124],"efficient":[38],"proven":[40],"be":[42,122],"very":[43],"difficult,":[44],"leading":[45],"many":[47,108,162],"inefficient":[48],"or":[49],"incorrect":[50],"algorithms.":[51],"In":[52],"this":[53],"paper,":[54],"we":[55,75,126],"present":[56],"a":[57,62,67,114,145],"general":[58,68],"transformation":[59,102],"takes":[61],"lock-free":[63],"structure":[65,73,88,110],"class":[69],"called":[70],"traversal":[71,115,132],"(that":[74],"formally":[76],"define)":[77],"automatically":[79],"transforms":[80],"it":[81,157],"into":[82],"an":[83],"implementation":[84],"for":[89],"NVRAM":[91],"setting":[92],"is":[94],"provably":[95],"durably":[96],"linearizable":[97],"highly":[99],"efficient.":[100],"hinges":[103],"on":[104,144,161],"observation":[106],"operations":[111],"begin":[112,128],"with":[113,147],"phase":[116],"does":[118],"not":[119],"need":[120],"persisted,":[123],"thus":[125],"only":[127],"persisting":[129],"when":[130],"reaches":[133],"its":[134],"destination.":[135],"We":[136],"demonstrate":[137],"transformation's":[139],"efficiency":[140],"through":[141],"extensive":[142],"measurements":[143],"Intel's":[148],"recently":[149],"released":[150],"Optane":[151],"DC":[152],"persistent":[153],"memory,":[154],"showing":[155],"outperform":[159],"competitors":[160],"workloads.":[163]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}