USENIX ATC ’13: 2013 USENIX Annual Technical Conference