Proceedings of the workshop on Memory Systems Performance and Correctness - Singer, Jeremy (Association for Computing Machinery, 2014)