> From: Mark Marron <
[hidden email]>
> Date: 6 October 2010 06:02:30 GMT-04:00
> To:
[hidden email]
> Subject: [SEWORLD] CFP- Bytecode 2011
>
> ========================================================================
>
> 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
>
> ============================================================
> To contribute to SEWORLD, send your submission to
> mailto:
[hidden email]
>
>
http://www.sigsoft.org/seworld provides more
> information on SEWORLD as well as a complete archive of
> messages posted to the list.
> ============================================================
Locked
