GLSVLSI'13 : proceedings of the 2013 ACM International Conference on the Great Lakes Symposium on VLSI 2013, May 2 - 3, 2013, Paris, France