Pierre Ganty, Mark Marron: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279, Elsevier 2011