'Bytecode semantics, verification, analysis and transformation', Saarbrucken, Germany
27 March 2011 - 27 March 2011
Germany
A conference entitled 'Bytecode semantics, verification, analysis and transformation' will take place on 27 March 2011 in Saarbrucken, Germany.
Bytecode, such as that produced by Java or .NET compilers, has become an important topic of interest for industry and academia. The industrial interest stems from the fact that bytecode is typically used for Internet and mobile devices (smart-cards, phones, etc.) applications, where security is a major issue.
Bytecode is device-independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. In addition, the unstructured nature of the code and the pervasive presence of the operand stack also provide extra challenges for bytecode analysis.
This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.For further information, please visit: http://software.imdea.org/~pierreganty/bytecode2011/(opens in new window)
Bytecode, such as that produced by Java or .NET compilers, has become an important topic of interest for industry and academia. The industrial interest stems from the fact that bytecode is typically used for Internet and mobile devices (smart-cards, phones, etc.) applications, where security is a major issue.
Bytecode is device-independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. In addition, the unstructured nature of the code and the pervasive presence of the operand stack also provide extra challenges for bytecode analysis.
This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.For further information, please visit: http://software.imdea.org/~pierreganty/bytecode2011/(opens in new window)