{"id":"https://openalex.org/W4281975372","doi":"https://doi.org/10.1145/3519939.3523723","title":"Checking robustness to weak persistency models","display_name":"Checking robustness to weak persistency models","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4281975372","doi":"https://doi.org/10.1145/3519939.3523723"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523723","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089723193","display_name":"Hamed Gorjiara","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hamed Gorjiara","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059259933","display_name":"Weiyu Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weiyu Luo","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100644093","display_name":"Alex Pui\u2010Wai Lee","orcid":"https://orcid.org/0000-0002-4120-155X"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Lee","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101967307","display_name":"Guoqing Xu","orcid":"https://orcid.org/0000-0003-4737-2146"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guoqing Harry Xu","raw_affiliation_strings":["University of California at Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016315666","display_name":"Brian Demsky","orcid":"https://orcid.org/0000-0003-1210-3130"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Demsky","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5089723193"],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":2.3341,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.87771593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"490","last_page":"505"},"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.9991000294685364,"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.9991000294685364,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.7825697064399719},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7244687676429749},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6911487579345703},{"id":"https://openalex.org/keywords/persistent-data-structure","display_name":"Persistent data structure","score":0.6774629354476929},{"id":"https://openalex.org/keywords/dram","display_name":"Dram","score":0.6719380617141724},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.6482434868812561},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4956015348434448},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.4739435017108917},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4409128427505493},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4349243938922882},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.28463035821914673},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2793421447277069},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2526330053806305},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.23449566960334778},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.20161449909210205},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12156850099563599}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7825697064399719},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7244687676429749},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6911487579345703},{"id":"https://openalex.org/C888380","wikidata":"https://www.wikidata.org/wiki/Q2427787","display_name":"Persistent data structure","level":2,"score":0.6774629354476929},{"id":"https://openalex.org/C7366592","wikidata":"https://www.wikidata.org/wiki/Q1255620","display_name":"Dram","level":2,"score":0.6719380617141724},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6482434868812561},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4956015348434448},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.4739435017108917},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4409128427505493},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4349243938922882},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28463035821914673},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2793421447277069},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2526330053806305},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.23449566960334778},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.20161449909210205},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12156850099563599},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3519939.3523723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3519939.3523723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523723","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1022713776","display_name":"SHF: Small: PMChecker: Tool Support for Crash-Consistent Persistent Memory Programs","funder_award_id":"2102940","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1146898724","display_name":"CSR: Small: Improved Memory Management for Object-Oriented Big Data Systems","funder_award_id":"1907352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G15728239","display_name":null,"funder_award_id":"CNS-2106838","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2637195115","display_name":null,"funder_award_id":"4-18-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2709462027","display_name":null,"funder_award_id":"N00014-18-1-2037","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2991550996","display_name":null,"funder_award_id":"2106838","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3285860465","display_name":"SaTC: CORE: Medium: Sentinel: Constructing Secure Smart Home IoT Systems via Managed Communications","funder_award_id":"1703598","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3382891349","display_name":null,"funder_award_id":"1763172","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3616384124","display_name":null,"funder_award_id":"CNS-1703598","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3782167260","display_name":null,"funder_award_id":"CNS-2006437","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3821120424","display_name":"SI2-SSE: C11Tester: Scaling Testing of C/C++11 Atomics to Real-World Systems","funder_award_id":"1740210","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4620316284","display_name":"SHF: Small: Information-Flow-Based Profiling of Concurrent Applications","funder_award_id":"2006948","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5501761068","display_name":null,"funder_award_id":"4-16-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5643251411","display_name":null,"funder_award_id":"and N00","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5973608233","display_name":null,"funder_award_id":"CNS-2128653","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6056325626","display_name":"CNS Core: Small: Offline Inference for Ultra-Efficient Memory Management","funder_award_id":"2128653","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7485925339","display_name":null,"funder_award_id":"CNS-1907352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8493544742","display_name":"CNS Core: Small: Not All Cameras are Created Equal: Systems Support for Highly Adaptive Video Analytics Pipelines","funder_award_id":"2006437","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281975372.pdf","grobid_xml":"https://content.openalex.org/works/W4281975372.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W1422898865","https://openalex.org/W1992105245","https://openalex.org/W1992755462","https://openalex.org/W2003597767","https://openalex.org/W2009489720","https://openalex.org/W2011367000","https://openalex.org/W2034514008","https://openalex.org/W2041135949","https://openalex.org/W2083255561","https://openalex.org/W2096449544","https://openalex.org/W2113637091","https://openalex.org/W2125563248","https://openalex.org/W2140323279","https://openalex.org/W2150662965","https://openalex.org/W2157264616","https://openalex.org/W2162121187","https://openalex.org/W2166905397","https://openalex.org/W2167744164","https://openalex.org/W2171724053","https://openalex.org/W2198659786","https://openalex.org/W2234174598","https://openalex.org/W2318717892","https://openalex.org/W2333451476","https://openalex.org/W2396908459","https://openalex.org/W2410477657","https://openalex.org/W2433709474","https://openalex.org/W2518466736","https://openalex.org/W2593354228","https://openalex.org/W2607322234","https://openalex.org/W2612481446","https://openalex.org/W2623410014","https://openalex.org/W2761447074","https://openalex.org/W2763607872","https://openalex.org/W2764085896","https://openalex.org/W2796347822","https://openalex.org/W2798982532","https://openalex.org/W2885514411","https://openalex.org/W2902391296","https://openalex.org/W2903624411","https://openalex.org/W2905585531","https://openalex.org/W2910340007","https://openalex.org/W2932327194","https://openalex.org/W2955964099","https://openalex.org/W2973470836","https://openalex.org/W2975438130","https://openalex.org/W2996634758","https://openalex.org/W3000271263","https://openalex.org/W3010663313","https://openalex.org/W3011346478","https://openalex.org/W3012079975","https://openalex.org/W3014479782","https://openalex.org/W3032179339","https://openalex.org/W3041215642","https://openalex.org/W3043396352","https://openalex.org/W3044012749","https://openalex.org/W3098066483","https://openalex.org/W3099590534","https://openalex.org/W3102494755","https://openalex.org/W3103616267","https://openalex.org/W3104320356","https://openalex.org/W3117953372","https://openalex.org/W3152739133","https://openalex.org/W3153660395","https://openalex.org/W3154878207","https://openalex.org/W3155031274","https://openalex.org/W3155277119","https://openalex.org/W3155524054","https://openalex.org/W3156311497","https://openalex.org/W3158293305","https://openalex.org/W3158307504","https://openalex.org/W3175622044","https://openalex.org/W3187035908","https://openalex.org/W3195948004","https://openalex.org/W3205042639","https://openalex.org/W4212894445","https://openalex.org/W4250281317"],"related_works":["https://openalex.org/W3120961607","https://openalex.org/W3148568549","https://openalex.org/W3111422622","https://openalex.org/W3116788084","https://openalex.org/W2624149531","https://openalex.org/W2945351762","https://openalex.org/W2102012911","https://openalex.org/W4281975372","https://openalex.org/W2962862037","https://openalex.org/W2154701440"],"abstract_inverted_index":{"Persistent":[0,11],"memory":[1,12],"(PM)":[2],"technologies":[3],"offer":[4],"performance":[5],"close":[6],"to":[7,15,51,55,58,93,98,119],"DRAM":[8],"with":[9],"persistence.":[10],"enables":[13],"programs":[14],"directly":[16],"modify":[17],"persistent":[18,59],"data":[19,54],"through":[20],"normal":[21],"load":[22],"and":[23,69],"store":[24],"instructions":[25],"bypassing":[26],"heavyweight":[27],"OS":[28],"system":[29],"calls":[30],"for":[31,87],"persistency.":[32],"However,":[33],"these":[34],"stores":[35],"are":[36],"not":[37],"made":[38,40],"immediately":[39],"persistent,":[41],"the":[42,47,53,96,100,104,110],"developer":[43,91],"must":[44],"manually":[45,94],"flush":[46],"corresponding":[48],"cache":[49],"lines":[50],"force":[52],"be":[56],"written":[57],"memory.":[60],"While":[61],"state-of-the-art":[62,112],"testing":[63,113],"tools":[64,114],"can":[65],"help":[66],"developers":[67],"find":[68],"fix":[70],"persistency":[71,78],"bugs,":[72],"prior":[73],"studies":[74],"have":[75],"shown":[76],"fixing":[77],"bugs":[79,121],"on":[80],"average":[81],"takes":[82],"a":[83,127],"couple":[84],"of":[85,103,109],"weeks":[86],"PM":[88],"developers.":[89],"The":[90],"has":[92],"inspect":[95],"execution":[97],"identify":[99],"root":[101],"cause":[102],"problem.":[105],"In":[106],"addition,":[107],"most":[108],"existing":[111],"require":[115],"heavy":[116],"user":[117],"annotations":[118],"detect":[120],"without":[122],"visible":[123],"symptoms":[124],"such":[125],"as":[126],"segmentation":[128],"fault.":[129]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}