========================================================================

                              Call for Papers

                               Bytecode 2010

                    5th workshop on Bytecode Semantics,
                 Verification, Analysis and Transformation

                      (Satellite Event of the European Joint
          Conferences on Theory and Practice of Software, ETAPS 2010)

                              March 27, 2010
                              Paphos, Cyprus

                       http://bytecode2010.inria.fr/

========================================================================

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. Both new theoretical results and tool
demonstrations are welcome.

Program committee:

 * David Aspinall, University of Edinburgh, Scotland
 * Stephen Chong, Harvard University, USA
 * Alessandro Coglio, Kestrel Institute, USA
 * Pierre Crégut, Orange Labs, France Telecom, France
 * Samir Genaim, Complutense University of Madrid, Spain
 * Bart Jacobs, Katholieke Universiteit Leuven, Belgium
 * Gerwin Klein, University of New South Wales, Australia
 * Victor Kuncak, EPFL, Switzerland
 * Patrick Lam, University of Waterloo, Canada
 * Francesco Logozzo, Microsoft Research, USA
 * Matthew Parkinson, University of Cambridge, UK
 * David Pichardie (chair), INRIA Rennes, France
 * Rene Rydhof Hansen, Aalborg University, Denmark
 * Fausto Spoto, University of Verona, Italy

Paper Submission:

There are two paper categories, Regular and Tool demo papers. Paper
should be written using the ENTCS style and submitted as PDF through
the easy chair page.
   http://www.easychair.org/conferences/?conf=bytecode2010
Please indicate in the submission page the category of your
submission. Submissions will be evaluated by the Program Committee for
inclusion in the proceedings. Accepted papers will be published in
electronic proceedings (negotiations are under way for publication
with ENTCS).

Regular research papers should be at most 15 pages (including
bibliography and excluding well-marked appendices not intended for
publication). They must contain original contributions, be written in
English and be unpublished and not submitted simultaneously for
publication elsewhere.

Tool demo papers must describe a completed, robust and well-documented
tool -- highlighting the overall functionality of the tool, the
interfaces of the tool, interesting examples and applications of the
tool, an assessment of the tool's strengths and weaknesses, and a
summary of documentation/support available with the tool. The body of
the paper must be no longer than 6 pages in length (including
bibliography), and it should give an overview of the tool, the
methodology associated with its use, a summary of how the tool has
been applied and to what effect, and it should indicate what
supporting artifacts (user manual, example repository, downloads, etc)
are available. This material will be included in the proceedings if
the paper is accepted. In addition, the paper should include an
appendix (limited to six pages) that gives an outline of the proposed
demo presentation (this material will NOT appear in the proceedings).

Important dates:

Abstract submission deadline: December 14, 2009
Paper submission deadline   : December 21, 2009
Author notification         : January 22, 2010
Camera-ready paper versions : February 19, 2010
Workshop                    : March 27, 2010