ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Bytecode 2013 - 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)

Date2013-03-16

Deadline2012-10-14

VenueRome, Italy Italy

Keywords

Websitehttps://www.etaps.org/2013

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)

Last modified: 2012-06-30 21:25:09