Bytecode 2013 - 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)
Topics/Call fo Papers
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 Internet and mobile device applications (smart cards, 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. Also the unstructuredness of the code and the pervasive presence of the operand stack provide further challenges for the analysis of bytecode. This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.
Miguel Gomez-Zamalloa (Univ. of Madrid, Spain)
Germán Puebla (Technical Univ. of Madrid, Spain)
Miguel Gomez-Zamalloa (Univ. of Madrid, Spain)
Germán Puebla (Technical Univ. of Madrid, Spain)
Other CFPs
- 2nd International Workshop on Bidirectional Transformations (BX)
- 8th Workshop on Applied and Computational Category Theory (ACCAT)
- 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- 2nd Conference on Principles of Security and Trust (POST 2013)
- 16th International Conference on Fundamental Approaches to Software Engineering (FASE)
Last modified: 2012-06-30 21:25:09