Our Sponsors
BYTECODE 2011 - BYTECODE 2011 : 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation
View: 510
Category BYTECODE 2011
Deadline: December 25, 2010 | Date: March 27, 2011
Venue/Country: Saarbrucken, Germany
Updated: 2011-03-08 15:40:49 (GMT+9)
Call For Papers - CFP
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 devices (smart-cards, phones, etc.) applications, 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 theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.http://software.imdea.org/~pierreganty/bytecode2011/
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.