CALL FOR PAPERS BYTECODE 2013 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation A Satellite workshop of ETAPS 2013 Rome, Italy 23 March 2013 http://costa.ls.fi.upm.es/bytecode13 NEWS ==== * Science of Computer Programming has agreed to publish a special issue on Bytecode 2013 * The abstract and paper submission deadlines have been extended resp. to December the 23rd and 28th, 2012. Description of the workshop =========================== 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. Research on bytecode is an ideal test bench for the application of formal methods to real languages. There is a major pressure in this sense, because security is a hot topic for bytecode applications in embedded devices. However, the scientific community on bytecode semantics, verification, analysis, and transformation is currently fragmented, and researchers often come from the two distinct worlds of industry and academia. Therefore, the aim of our workshop is to let researchers and practitioners from both the industrial and the academic world present new or preliminary results and demonstrate new software tools that are of interest for the community as a whole. The workshop will be a mixture of extended abstracts, position papers, and invited presentations. The goal is to make the workshop an active discussion forum for all work related to bytecode. No formal proceedings of the workshop will be published, but selected papers might be invited for a special issue of Science of Computer Programming. Important Dates =============== Abstract submission (extended): December 23, 2012 Paper submission (extended): December 28, 2012 Notification: January 21, 2013 Final version: February 8, 2013 Submission information ====================== We solicit extended abstracts and position papers of at most 8 pages, describing work related to semantics, verification, analysis and transformation. In particular, we explicitly welcome tool demonstrations. Submissions may overlap with submissions to other conferences or journals. There will be a light-weight reviewing process, where submissions will be judged on their interest to the workshop audience. There will be no formal proceedings of the workshop. All accepted submissions will be distributed among the workshop participants. After the workshop, presenters of extended abstracts, position papers, tool demos and of invited presentations may be invited to contribute to a special issue of Science of Computer Programming. Invitations will be based on submissions and presentations. Papers can be submitted (as PDF) through easy chair https://www.easychair.org/conferences/?conf=bytecode2013 Organisers ========== Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain German Puebla, Technical University of Madrid, Spain All questions about the workshop can be addressed to them via mail: mzamalloa@fdi.ucm.es german@fi.upm.es Program Committee ================== Richard Bubel, Technische Universitat Darmstadt Andrew Craik, Oracle Labs, Brisbane, Australia Jürgen Giesl, RWTH Aachen Laurent Hubert, Prove&Run Marieke Huisman, University of Twente Francesco Logozzo, Microsoft Research Mark Marron, IMDEA Software Institute Corina Pasareanu, CMU/NASA Ames Research Center Ricardo Peña, Complutense University of Madrid David Pichardie, INRIA Rennes - Bretagne Atlantique Fausto Spoto, Dipartimento di Informatica, Verona