[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                                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



Bytecode, such as produced by e.g. Java and .NET compilers, has become  
important topic of interest, both for industry and academia. The  
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  
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  
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 Télécom, 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.
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

Reply via email to