Hridesh Rajan Michael Haupt Christoph Bockisch Robert Dyer VMIL: workshop on virtual machines and intermediate languages. 701-702 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1639972 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#RajanHBD09