[Haskell] BYTECODE09: 2nd Call for Papers

[Samir Genaim]

        ********************************************************
        *                 2nd Call for Papers                  *
        *                                                      *
        *         Fourth Workshop on Bytecode Semantics,       *
        *       Verification, Analysis and Transformation      *
        *                                                      *
        *     York, UK, 29th March 2009, part of ETAPS 2009    *
        *                                                      *
        *           Venue:   The University of York            *
        *                                                      *
        * http://www.clip.dia.fi.upm.es/Conferences/BYTECODE09 *
        *                                                      *
        ********************************************************


Important Dates
===============

Paper Submission 	December 21, 2008
Notification 	   	January 25, 2009
Final Version 	   	February 8, 2009
Workshop 	   	March 29, 2009



Workshop Description
====================

Bytecode, such as produced by e.g. .Net and Java 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  the Internet and mobile devices  (smartcards, phones, etc.),
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 lack of structure 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 the latest  developments in the
semantics,    verification,    analysis,    and   transformation    of
bytecode.  Both new  theoretical results  and tool  demonstrations are
welcome.


Invited Speaker
===============

TBA


Submission
==========

There are two  paper categories, Regular and Tool  demo papers.  Paper
should be written using the ENTCS style and submitted through the easy
chair   page  "http://www.easychair.org/conferences/?conf=bytecode09".
Please  indicate   in  the  submission  page  the   category  of  your
submission. Submissions will be evaluated by the Program Committee for
inclusion in the ENTCS proceedings.

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  ENTCS
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
ENTCS proceedings).



Program Committee
=================

Wolfgang Ahrendt 	   	Chalmers University of Technology, SWE
Elvira Albert (co-chair) 	Complutense University of Madrid, ESP
June Andronick 	   	        NICTA, AUS
David Aspinall 	   	        University of Edinburgh, UK
Cristina Cifuentes 	   	Sun Microsystems, AUS
Samir Genaim (co-chair) 	Technical University of Madrid, ESP
Sara Kalvala  	    		The University of Warwick, UK
Gerwin Klein 	   	        The University of New South Wales, AUS
Francesco Logozzo 	   	Microsoft Research, USA
David Pichardie 	   	INRIA Rennes (IRISA), FRA
Tamara Rezk 	   	        INRIA-Microsoft, FRA
Fausto Spoto 	   	        University of Verona, ITA
Eran Yahav 	   	        IBM T.J. Watson Research Center, USA