{"id":"https://openalex.org/W2932327194","doi":"https://doi.org/10.1145/3297858.3304015","title":"PMTest","display_name":"PMTest","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2932327194","doi":"https://doi.org/10.1145/3297858.3304015","mag":"2932327194"},"language":"en","primary_location":{"id":"doi:10.1145/3297858.3304015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297858.3304015","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth 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/A5101571781","display_name":"Sihang Liu","orcid":"https://orcid.org/0000-0001-5711-8462"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sihang Liu","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001450708","display_name":"Yizhou Wei","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yizhou Wei","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077387335","display_name":"Jishen Zhao","orcid":"https://orcid.org/0000-0002-1969-743X"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jishen Zhao","raw_affiliation_strings":["University of California, San Diego, San Diego, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, San Diego, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102964095","display_name":"Aasheesh Kolli","orcid":"https://orcid.org/0000-0002-8669-5856"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aasheesh Kolli","raw_affiliation_strings":["Pennsylvania State University & VMware Reserach, University Park, PA, USA"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University & VMware Reserach, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070152284","display_name":"Samira Khan","orcid":"https://orcid.org/0000-0002-0300-3034"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samira Khan","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101571781"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":10.5938,"has_fulltext":false,"cited_by_count":71,"citation_normalized_percentile":{"value":0.99047743,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"411","last_page":"425"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.8400270342826843},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.667341411113739},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5680838227272034},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.47562649846076965},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.42563506960868835},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4141165614128113},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3756389319896698},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36303579807281494},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34819328784942627},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3418019413948059},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.20584318041801453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8400270342826843},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.667341411113739},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5680838227272034},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.47562649846076965},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.42563506960868835},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4141165614128113},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3756389319896698},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36303579807281494},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34819328784942627},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3418019413948059},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.20584318041801453},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297858.3304015","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297858.3304015","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W1422898865","https://openalex.org/W1437323374","https://openalex.org/W1507039213","https://openalex.org/W1520248310","https://openalex.org/W1533195354","https://openalex.org/W1865162546","https://openalex.org/W1985229168","https://openalex.org/W1988852271","https://openalex.org/W1992755462","https://openalex.org/W2003597767","https://openalex.org/W2005887179","https://openalex.org/W2009404871","https://openalex.org/W2013028205","https://openalex.org/W2041135949","https://openalex.org/W2073742357","https://openalex.org/W2090204040","https://openalex.org/W2102449048","https://openalex.org/W2113637091","https://openalex.org/W2147926533","https://openalex.org/W2150662965","https://openalex.org/W2153185479","https://openalex.org/W2157808045","https://openalex.org/W2162121187","https://openalex.org/W2171724053","https://openalex.org/W2220914167","https://openalex.org/W2234174598","https://openalex.org/W2236544529","https://openalex.org/W2270211026","https://openalex.org/W2282225439","https://openalex.org/W2294111665","https://openalex.org/W2316501305","https://openalex.org/W2318717892","https://openalex.org/W2333451476","https://openalex.org/W2411778045","https://openalex.org/W2565270815","https://openalex.org/W2576393274","https://openalex.org/W2584388001","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/W2612481446","https://openalex.org/W2612728990","https://openalex.org/W2740457806","https://openalex.org/W2763607872","https://openalex.org/W2764085896","https://openalex.org/W2787794676","https://openalex.org/W2790090124","https://openalex.org/W2794768009","https://openalex.org/W2795099964","https://openalex.org/W2905585531","https://openalex.org/W2907174891","https://openalex.org/W2987907651","https://openalex.org/W3145128584","https://openalex.org/W3146075203","https://openalex.org/W4240191654","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W2971748376","https://openalex.org/W2949499328","https://openalex.org/W2123855908","https://openalex.org/W3000358352","https://openalex.org/W2150223718","https://openalex.org/W2186219931","https://openalex.org/W4301894417","https://openalex.org/W2129322580","https://openalex.org/W3010022189","https://openalex.org/W2068484089"],"abstract_inverted_index":{"Recent":[0],"non-volatile":[1],"memory":[2,13,27,51,69,177],"technologies":[3],"such":[4],"as":[5,234],"3D":[6],"XPoint":[7],"and":[8,77,88,102,134,204,226,283],"NVDIMMs":[9],"have":[10],"enabled":[11],"persistent":[12,19,48,68],"(PM)":[14],"systems":[15],"that":[16,45,105,139,150,162,200],"can":[17,46,114,231],"manipulate":[18],"data":[20,49],"directly":[21],"in":[22,52,56,84,157,278,284],"memory.":[23],"This":[24],"advancement":[25],"of":[26,33,37,59,221,238],"technology":[28],"has":[29],"spurred":[30],"the":[31,57,123,128,131,224,235,249,258,299],"development":[32],"a":[34,53,60,147,195,279,288],"new":[35,276],"set":[36],"crash-consistent":[38],"software":[39,214],"(CCS)":[40],"for":[41,67,108,122,145,172],"PM":[42],"-":[43],"applications":[44,285],"recover":[47],"from":[50,71],"consistent":[54],"state":[55],"event":[58],"crash":[61,82,110,154,196,269],"(e.g.,":[62],"power":[63],"failure).":[64],"CCS":[65,85,175],"developed":[66,286],"ranges":[70],"kernel":[72],"modules":[73],"to":[74,99,125,216],"user-space":[75],"libraries":[76,98],"custom":[78],"applications.":[79],"However,":[80],"ensuring":[81,109],"consistency":[83,155,197,270],"is":[86,141,201],"difficult":[87,121],"error-prone.":[89],"Programmers":[90],"typically":[91],"employ":[92],"low-level":[93],"hardware":[94,113],"primitives":[95],"or":[96,176],"transactional":[97,289],"enforce":[100],"ordering":[101,133,225],"durability":[103,135,227],"guarantees":[104],"are":[106],"required":[107],"consistency.":[111],"Unfortunately,":[112],"reorder":[115],"instructions":[116],"at":[117,193],"runtime,":[118],"making":[119],"it":[120],"programmers":[124,152],"test":[126,217],"whether":[127],"implementation":[129],"enforces":[130],"correct":[132],"guarantees.":[136],"We":[137,160],"believe":[138],"there":[140],"an":[142],"urgent":[143],"need":[144],"developing":[146],"testing":[148,164,198,246],"framework":[149,199],"helps":[151],"identify":[153],"bugs":[156,277],"their":[158],"CCS.":[159],"find":[161],"prior":[163],"tools":[165],"lack":[166],"generality,":[167],"i.e.,":[168],"they":[169],"work":[170],"only":[171,265],"one":[173],"specific":[174],"persistency":[178],"model":[179],"and/or":[180],"introduce":[181],"significant":[182],"performance":[183],"overhead.":[184],"To":[185],"overcome":[186],"these":[187],"drawbacks,":[188],"we":[189],"propose":[190],"PMTest":[191,206,243,263],"(available":[192],"https://pmtest.persistentmemory.org),":[194],"both":[202],"flexible":[203],"fast.":[205],"provides":[207],"flexibility":[208],"by":[209,247],"providing":[210],"two":[211,218],"basic":[212],"assertion-like":[213],"checkers":[215,230],"fundamental":[219],"characteristics":[220],"all":[222,254],"CCS:":[223],"guarantee.":[228],"These":[229],"also":[232,273],"serve":[233],"building":[236],"blocks":[237],"other":[239],"application-specific,":[240],"high-level":[241],"checkers.":[242],"enables":[244],"fast":[245],"deducing":[248],"persist":[250],"order":[251],"without":[252],"exhausting":[253],"possible":[255],"orders.":[256],"In":[257],"evaluation":[259],"with":[260],"eight":[261],"programs,":[262],"not":[264],"identified":[266],"45":[267],"synthetic":[268],"bugs,":[271],"but":[272],"detected":[274],"3":[275],"file":[280],"system":[281],"(PMFS)":[282],"using":[287],"library":[290],"(PMDK),":[291],"while":[292],"on":[293],"average":[294],"being":[295],"7.1\u00d7":[296],"faster":[297],"than":[298],"state-of-the-art":[300],"tool.":[301]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":19},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-04-11T00:00:00"}