{"id":"https://openalex.org/W3156311497","doi":"https://doi.org/10.1145/3445814.3446744","title":"Fast, flexible, and comprehensive bug detection for persistent memory programs","display_name":"Fast, flexible, and comprehensive bug detection for persistent memory programs","publication_year":2021,"publication_date":"2021-04-11","ids":{"openalex":"https://openalex.org/W3156311497","doi":"https://doi.org/10.1145/3445814.3446744","mag":"3156311497"},"language":"en","primary_location":{"id":"doi:10.1145/3445814.3446744","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3445814.3446744","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","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/A5004874232","display_name":"Bang Di","orcid":"https://orcid.org/0000-0002-8002-3469"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bang Di","raw_affiliation_strings":["Hunan University, China"],"affiliations":[{"raw_affiliation_string":"Hunan University, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100617624","display_name":"Jiawen Liu","orcid":"https://orcid.org/0000-0001-8673-1514"},"institutions":[{"id":"https://openalex.org/I156087764","display_name":"University of California, Merced","ror":"https://ror.org/00d9ah105","country_code":"US","type":"education","lineage":["https://openalex.org/I156087764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiawen Liu","raw_affiliation_strings":["University of California at Merced, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Merced, USA","institution_ids":["https://openalex.org/I156087764"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100353508","display_name":"Hao Chen","orcid":"https://orcid.org/0000-0001-9857-6283"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Chen","raw_affiliation_strings":["Hunan University, China"],"affiliations":[{"raw_affiliation_string":"Hunan University, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100407387","display_name":"Dong Li","orcid":"https://orcid.org/0000-0001-9336-0694"},"institutions":[{"id":"https://openalex.org/I156087764","display_name":"University of California, Merced","ror":"https://ror.org/00d9ah105","country_code":"US","type":"education","lineage":["https://openalex.org/I156087764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dong Li","raw_affiliation_strings":["University of California at Merced, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Merced, USA","institution_ids":["https://openalex.org/I156087764"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004874232"],"corresponding_institution_ids":["https://openalex.org/I16609230"],"apc_list":null,"apc_paid":null,"fwci":6.3397,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.97549699,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"503","last_page":"516"},"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.9998999834060669,"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.9998999834060669,"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.9990000128746033,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"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/debugging","display_name":"Debugging","score":0.8592458963394165},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8245103359222412},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.616578996181488},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5778473615646362},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.565319836139679},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.555363655090332},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.5342022180557251},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5227875113487244},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49717262387275696},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.495702862739563},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.46966707706451416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43800848722457886},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4331708550453186},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39269137382507324},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3708299398422241},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12649670243263245},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0921352207660675}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8592458963394165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8245103359222412},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.616578996181488},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5778473615646362},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.565319836139679},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.555363655090332},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.5342022180557251},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5227875113487244},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49717262387275696},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.495702862739563},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.46966707706451416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43800848722457886},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4331708550453186},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39269137382507324},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3708299398422241},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12649670243263245},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0921352207660675}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3445814.3446744","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3445814.3446744","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1985229168","https://openalex.org/W1992755462","https://openalex.org/W2041135949","https://openalex.org/W2090204040","https://openalex.org/W2113637091","https://openalex.org/W2150662965","https://openalex.org/W2157808045","https://openalex.org/W2234174598","https://openalex.org/W2236544529","https://openalex.org/W2270211026","https://openalex.org/W2282225439","https://openalex.org/W2318717892","https://openalex.org/W2340222647","https://openalex.org/W2518466736","https://openalex.org/W2565270815","https://openalex.org/W2593354228","https://openalex.org/W2604204172","https://openalex.org/W2605252853","https://openalex.org/W2607322234","https://openalex.org/W2610308442","https://openalex.org/W2612252783","https://openalex.org/W2741420129","https://openalex.org/W2763607872","https://openalex.org/W2764085896","https://openalex.org/W2795099964","https://openalex.org/W2798607736","https://openalex.org/W2898662556","https://openalex.org/W2905585531","https://openalex.org/W2916082303","https://openalex.org/W2916516729","https://openalex.org/W2932327194","https://openalex.org/W2973470836","https://openalex.org/W2975438130","https://openalex.org/W2980112323","https://openalex.org/W2982237401","https://openalex.org/W3010663313","https://openalex.org/W3011346478","https://openalex.org/W3011523609","https://openalex.org/W3012550338","https://openalex.org/W3032952747","https://openalex.org/W3043396352","https://openalex.org/W3099590534","https://openalex.org/W3100941245","https://openalex.org/W3103616267","https://openalex.org/W3105935810","https://openalex.org/W3153660395","https://openalex.org/W4245223843","https://openalex.org/W4251828973","https://openalex.org/W4253267708","https://openalex.org/W4302442555"],"related_works":["https://openalex.org/W2800641345","https://openalex.org/W2886673879","https://openalex.org/W564953056","https://openalex.org/W2061184006","https://openalex.org/W2381239448","https://openalex.org/W4236910510","https://openalex.org/W2092932442","https://openalex.org/W2543963479","https://openalex.org/W1751798423","https://openalex.org/W2583000271"],"abstract_inverted_index":{"Debugging":[0],"persistent":[1],"memory":[2],"(PM)":[3],"programs":[4,70],"faces":[5],"a":[6,34,60,83,112,145,178],"fundamental":[7,66],"tradeoff":[8],"between":[9],"performance":[10,17,143],"overhead":[11,18],"and":[12,51,74,93,116,125,155,170,182],"bug":[13,21],"coverage":[14,22],"(comprehensiveness).":[15],"Large":[16],"or":[19,26],"limited":[20],"makes":[23],"debugging":[24],"infeasible":[25],"ineffective":[27],"for":[28,105,137],"PM":[29,42,69,79,88,107],"programs.":[30,43,80],"We":[31,97],"present":[32],"PMDebugger,":[33],"debugger":[35],"that":[36,62],"detects":[37,156,173],"crash":[38],"consistency":[39],"bugs":[40,104,159,167,176,185],"in":[41,68,78,177],"Unlike":[44],"prior":[45],"work,":[46],"PMDebugger":[47,56,81,121,140,163,172],"is":[48,57],"fast,":[49],"flexible":[50],"comprehensive.":[52],"The":[53],"design":[54,85],"of":[55,87,147],"driven":[58],"by":[59],"characterization":[61],"shows":[63],"how":[64],"three":[65],"operations":[67,92],"(store,":[71],"cache":[72],"writeback":[73],"fence)":[75],"typically":[76],"occur":[77],"uses":[82],"hierarchical":[84],"composed":[86],"debugging-specific":[89],"data":[90],"structures,":[91],"bug-detection":[94],"algorithms":[95],"(rules).":[96],"generalize":[98],"nine":[99],"rules":[100],"to":[101,123],"detect":[102],"crash-consistency":[103],"various":[106],"persistency":[108],"models.":[109],"Compared":[110,130],"with":[111,131],"state-of-the-art":[113,133],"detector":[114,119,134],"(XFDetector)":[115],"an":[117],"industry-quality":[118],"(Pmemcheck),":[120],"leads":[122],"49.3x":[124],"3.4x":[126],"speedup":[127],"on":[128,152,160],"average.":[129],"another":[132],"(PMTest)":[135],"optimized":[136],"high":[138],"performance,":[139],"achieves":[141],"comparable":[142],"(within":[144],"factor":[146],"2),":[148],"without":[149],"heavily":[150],"relying":[151],"programmer":[153],"annotations,":[154],"38":[157],"more":[158,166],"ten":[161],"applications.":[162],"also":[164],"identifies":[165],"than":[168],"XFDetector":[169],"Pmemcheck.":[171],"19":[174],"new":[175,184],"real":[179],"application":[180],"(memcached)":[181],"two":[183],"from":[186],"Intel":[187],"PMDK.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}