Memory System Performance and Correctness