Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
ACM Digital Library