Proceedings of the workshop on Memory Systems Performance and Correctness