Constraint based analysis for persistent memory programs

Emerging persistent memory (PM) technologies are beginning to bridge the gap between volatile memory and non-volatile storage in computer systems. PM has three main advantages. First, it allows high-speed memory access and has better performance than solid-state drives and hard disks at a relatively... View More