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

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

Important dates:

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