Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111038768> ?p ?o ?g. }
- W3111038768 abstract "The advent of non-volatile main memory (NVM) enables the development of crash-consistent software without paying storage stack overhead. However, building a correct crash-consistent program remains very challenging in the presence of a volatile cache. This paper presents WITCHER, a crash consistency bug detector for NVM software, that is (1) scalable -- does not suffer from test space explosion, (2) automatic -- does not require manual source code annotations, and (3) precise -- does not produce false positives. WITCHER first infers a set of likely invariants that are believed to be true to be crash consistent by analyzing source codes and NVM access traces. WITCHER automatically composes NVM images that simulate those potentially inconsistent (crashing) states violating the likely invariants. Then WITCHER performs output equivalence checking by comparing the output of program executions with and without a simulated crash. It validates if a likely invariant violation under test is a true crash consistency bug. Evaluation with ten persistent data structures, two real-world servers, and five example codes in Intel's PMDK library shows that WITCHER outperforms state-of-the-art tools. WITCHER discovers 37 (32 new) crash consistency bugs, which were all confirmed." @default.
- W3111038768 created "2020-12-21" @default.
- W3111038768 creator A5000985360 @default.
- W3111038768 creator A5001805471 @default.
- W3111038768 creator A5002164521 @default.
- W3111038768 creator A5020914269 @default.
- W3111038768 creator A5027330392 @default.
- W3111038768 creator A5054932311 @default.
- W3111038768 creator A5065310265 @default.
- W3111038768 date "2020-12-10" @default.
- W3111038768 modified "2023-10-04" @default.
- W3111038768 title "WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs" @default.
- W3111038768 cites W1545684573 @default.
- W3111038768 cites W1968027261 @default.
- W3111038768 cites W1992755462 @default.
- W3111038768 cites W1995626000 @default.
- W3111038768 cites W2043811931 @default.
- W3111038768 cites W2073742357 @default.
- W3111038768 cites W2078186835 @default.
- W3111038768 cites W2085773946 @default.
- W3111038768 cites W2096067805 @default.
- W3111038768 cites W2121204404 @default.
- W3111038768 cites W2124877509 @default.
- W3111038768 cites W2130336012 @default.
- W3111038768 cites W2138546883 @default.
- W3111038768 cites W2144344516 @default.
- W3111038768 cites W2147088720 @default.
- W3111038768 cites W2149074552 @default.
- W3111038768 cites W2155061608 @default.
- W3111038768 cites W2157808045 @default.
- W3111038768 cites W2170998491 @default.
- W3111038768 cites W2188073520 @default.
- W3111038768 cites W2236544529 @default.
- W3111038768 cites W2282225439 @default.
- W3111038768 cites W2294111665 @default.
- W3111038768 cites W2318717892 @default.
- W3111038768 cites W2433709474 @default.
- W3111038768 cites W2496223032 @default.
- W3111038768 cites W2538785949 @default.
- W3111038768 cites W2576393274 @default.
- W3111038768 cites W2604283882 @default.
- W3111038768 cites W2740457806 @default.
- W3111038768 cites W2741420129 @default.
- W3111038768 cites W2752849758 @default.
- W3111038768 cites W2761343098 @default.
- W3111038768 cites W2761718075 @default.
- W3111038768 cites W2769127070 @default.
- W3111038768 cites W2793823461 @default.
- W3111038768 cites W2885999059 @default.
- W3111038768 cites W2898662556 @default.
- W3111038768 cites W2916082303 @default.
- W3111038768 cites W2932327194 @default.
- W3111038768 cites W2933883078 @default.
- W3111038768 cites W2949443561 @default.
- W3111038768 cites W2981689050 @default.
- W3111038768 cites W2982237401 @default.
- W3111038768 cites W3011346478 @default.
- W3111038768 cites W3103616267 @default.
- W3111038768 cites W3105935810 @default.
- W3111038768 doi "https://doi.org/10.48550/arxiv.2012.06086" @default.
- W3111038768 hasPublicationYear "2020" @default.
- W3111038768 type Work @default.
- W3111038768 sameAs 3111038768 @default.
- W3111038768 citedByCount "0" @default.
- W3111038768 crossrefType "posted-content" @default.
- W3111038768 hasAuthorship W3111038768A5000985360 @default.
- W3111038768 hasAuthorship W3111038768A5001805471 @default.
- W3111038768 hasAuthorship W3111038768A5002164521 @default.
- W3111038768 hasAuthorship W3111038768A5020914269 @default.
- W3111038768 hasAuthorship W3111038768A5027330392 @default.
- W3111038768 hasAuthorship W3111038768A5054932311 @default.
- W3111038768 hasAuthorship W3111038768A5065310265 @default.
- W3111038768 hasBestOaLocation W31110387681 @default.
- W3111038768 hasConcept C111919701 @default.
- W3111038768 hasConcept C154945302 @default.
- W3111038768 hasConcept C183469790 @default.
- W3111038768 hasConcept C199360897 @default.
- W3111038768 hasConcept C2776436953 @default.
- W3111038768 hasConcept C2777904410 @default.
- W3111038768 hasConcept C28180684 @default.
- W3111038768 hasConcept C41008148 @default.
- W3111038768 hasConcept C43126263 @default.
- W3111038768 hasConcept C48044578 @default.
- W3111038768 hasConcept C64869954 @default.
- W3111038768 hasConceptScore W3111038768C111919701 @default.
- W3111038768 hasConceptScore W3111038768C154945302 @default.
- W3111038768 hasConceptScore W3111038768C183469790 @default.
- W3111038768 hasConceptScore W3111038768C199360897 @default.
- W3111038768 hasConceptScore W3111038768C2776436953 @default.
- W3111038768 hasConceptScore W3111038768C2777904410 @default.
- W3111038768 hasConceptScore W3111038768C28180684 @default.
- W3111038768 hasConceptScore W3111038768C41008148 @default.
- W3111038768 hasConceptScore W3111038768C43126263 @default.
- W3111038768 hasConceptScore W3111038768C48044578 @default.
- W3111038768 hasConceptScore W3111038768C64869954 @default.
- W3111038768 hasLocation W31110387681 @default.
- W3111038768 hasOpenAccess W3111038768 @default.
- W3111038768 hasPrimaryLocation W31110387681 @default.
- W3111038768 hasRelatedWork W1507167368 @default.
- W3111038768 hasRelatedWork W2013531410 @default.