Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)

This volume contains the proceedings of the Bytecode 2007 workshop,the Second Workshop on Bytecode Semantics, Verification,Analysis and Transformation, held in Braga, Portugal, on the 31st ofMarch 2007 as part of ETAPS 2007.Bytecode, such as produced byJava and .NET compilers, has become an important topic of interest,both for industry and academia.The industrial interest stems from the fact that bytecode is typically usedfor the Internet and mobile devices (smartcards, phones, etc.),where security is a major issue. Moreover, bytecode is device-independentand allows dynamic loading of classes, which provides an extra challengefor the application of formal methods.In addition, the unstructuredness of the code and the pervasive presence ofthe operand stack also provide extra challenges for the analysis of bytecode.This workshop focuses on the latest developments in the semantics,verification, analysis, and transformation of bytecode; encompassingboth new theoretical results and tool demonstrations.