VMIL '13 proceedings of the 7th ACM Workshop on Virtual Machines and Intermediate Languages : October 28, 2013, Indianapolis, Indiana, USA / - Languages, ACM Special Interest Group on Programming. (ACM,)