{"id":"https://openalex.org/W4221061729","doi":"https://doi.org/10.1145/3503221.3508427","title":"Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC","display_name":"Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC","publication_year":2022,"publication_date":"2022-03-28","ids":{"openalex":"https://openalex.org/W4221061729","doi":"https://doi.org/10.1145/3503221.3508427"},"language":"en","primary_location":{"id":"doi:10.1145/3503221.3508427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503221.3508427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","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/A5064921202","display_name":"Benjamin Reidys","orcid":"https://orcid.org/0009-0002-6185-2250"},"institutions":[{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Benjamin Reidys","raw_affiliation_strings":["University of Illinois"],"affiliations":[{"raw_affiliation_string":"University of Illinois","institution_ids":["https://openalex.org/I2801919071"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005380910","display_name":"Jian Huang","orcid":"https://orcid.org/0000-0002-1125-671X"},"institutions":[{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jian Huang","raw_affiliation_strings":["University of Illinois"],"affiliations":[{"raw_affiliation_string":"University of Illinois","institution_ids":["https://openalex.org/I2801919071"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064921202"],"corresponding_institution_ids":["https://openalex.org/I2801919071"],"apc_list":null,"apc_paid":null,"fwci":0.6812,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64247162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6540830135345459},{"id":"https://openalex.org/keywords/non-volatile-memory","display_name":"Non-volatile memory","score":0.6276298761367798},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.49145519733428955},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38325148820877075},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30735641717910767},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.24211308360099792},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1439507007598877}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6540830135345459},{"id":"https://openalex.org/C177950962","wikidata":"https://www.wikidata.org/wiki/Q10997658","display_name":"Non-volatile memory","level":2,"score":0.6276298761367798},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.49145519733428955},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38325148820877075},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30735641717910767},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.24211308360099792},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1439507007598877}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503221.3508427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503221.3508427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1551401333","https://openalex.org/W1985229168","https://openalex.org/W1987072014","https://openalex.org/W1992755462","https://openalex.org/W2009404871","https://openalex.org/W2013028205","https://openalex.org/W2015194563","https://openalex.org/W2025819261","https://openalex.org/W2029039689","https://openalex.org/W2048229966","https://openalex.org/W2102449048","https://openalex.org/W2113637091","https://openalex.org/W2131135493","https://openalex.org/W2150662965","https://openalex.org/W2340222647","https://openalex.org/W2565270815","https://openalex.org/W2604204172","https://openalex.org/W2734941459","https://openalex.org/W2753797456","https://openalex.org/W2763607872","https://openalex.org/W2764085896","https://openalex.org/W2913442962","https://openalex.org/W2932327194","https://openalex.org/W2954830752","https://openalex.org/W2955814330","https://openalex.org/W2963288320","https://openalex.org/W2973470836","https://openalex.org/W2982237401","https://openalex.org/W3011346478","https://openalex.org/W3042606112","https://openalex.org/W3154878207","https://openalex.org/W3155524054","https://openalex.org/W3156311497","https://openalex.org/W4285449864"],"related_works":["https://openalex.org/W1556219","https://openalex.org/W772991","https://openalex.org/W758850","https://openalex.org/W4470474","https://openalex.org/W1843947","https://openalex.org/W5173919","https://openalex.org/W3058692","https://openalex.org/W2168913","https://openalex.org/W255666","https://openalex.org/W3076771"],"abstract_inverted_index":{"To":[0],"facilitate":[1],"programming":[2],"with":[3,72],"non-volatile":[4],"memory":[5,10],"(NVM),":[6],"a":[7],"set":[8],"of":[9,41,51],"persistency":[11],"models,":[12],"such":[13],"as":[14],"strict":[15],"and":[16,46,75],"epoch":[17],"persistency,":[18],"have":[19,53],"been":[20],"proposed.":[21],"Although":[22],"these":[23],"models":[24],"provide":[25],"high-level":[26],"guidance":[27],"for":[28],"reasoning":[29],"about":[30],"the":[31,42,62],"data":[32],"persistence,":[33],"implementing":[34],"them":[35,52,71],"correctly":[36],"is":[37,67],"nontrivial.":[38],"Our":[39],"study":[40],"well-developed":[43],"NVM":[44],"frameworks":[45],"libraries":[47],"reveals":[48],"that":[49,57],"many":[50],"deep":[54],"semantic":[55],"bugs":[56],"are":[58],"strongly":[59],"relevant":[60],"to":[61,69],"model":[63],"specifications.":[64],"Furthermore,":[65],"it":[66],"difficult":[68],"detect":[70],"existing":[73],"testing":[74],"bug-finding":[76],"tools.":[77]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}