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

                              Call for Papers

                               Bytecode 2011

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

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

                              March 27, 2011
			  Saarbrucken, Germany

	  http://software.imdea.org/~pierreganty/bytecode2011/

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

Bytecode, such as produced by Java and .NET compilers, which can then be
run on a range of hardware platforms with the help of interpreters and
just-in-time compilers, is an important topic of interest for both
industry and academia. Interest stems from the fact that bytecode is
hardware independent and is defined in terms of self contained managed
execution environments. These features enable deployment on a range of
platforms from desktops/laptops to mobile devices (smart-cards, phones,
etc.), and given the constrained execution environments, programs
compiled to bytecode can be safely downloaded, remotely executed, or
have components dynamically added in a controlled manner. This workshop
will focus on theoretical and practical aspects of semantics,
verification, analysis, certification, transformation, and execution of
bytecode (including both execution systems and environments).
Theoretical results, experimental results, implementation work and tool
demonstrations are welcome.

Program committee:

* Pierre Ganty (co-chair), the IMDEA Software Institute, Spain
* Mark Marron (co-chair), the IMDEA Software Institute, Spain
* David Pichardie, INRIA Rennes, France
* Dejvuth Suwimonteerabuth, King Mongkut's University of Technology, Thailand
* Samir Genaim, Complutense University of Madrid, Spain
* Elvira Albert, Complutense University of Madrid, Spain
* Fausto Spoto, University of Verona, Italy
* Francesco Logozzo, Microsoft Research, USA
* Michael Emmi, LIAFA, France
* Darko Stefanovic, University of New Mexico, USA

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=bytecode2011
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 25, 2010
Paper submission deadline   : December 25, 2010
Author notification         : January 21, 2011
Camera-ready paper versions : February 8, 2011
Workshop                    : March 27, 2011