Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC.

Benjamin Reidys Jian Huang

Published in: PPoPP (2022)

Keyphrases

source code
fixpoint
open source
logic programs
automatic detection
memory requirements
memory usage
information retrieval
learning algorithm
search engine
software systems
computing power
random access
memory space
limited memory