- Marieke Huisman, Fausto Spoto, editors, Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Volume 190 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007.