ByteCode
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation

Bytecode, such as produced by e.g. Java 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 used for the Internet and mobile devices (smartcards, phones, etc.), where security is a major issue. Moreover, bytecode is device-independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. In addition, the unstructuredness of the code and the pervasive presence of the operand stack also provide extra challenges for the analysis of bytecode. This workshop will focus on the latest developments in the semantics, verification, analysis, and transformation of bytecode. Both new theoretical results and tool demonstrations are welcome.

Contact: Francesco Logozzo (logozzo [AT] microsoft.com )

URL: http://research.microsoft.com/~logozzo/Bytecode%202008/Bytecode08.htm

Important Dates

* Submission date: Mid-December 2008
* Notification of acceptance: Mid January 2008
* Final version of the papers: Mid February 2008
* Workshop: To be announced