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

                      FINAL CALL FOR PARTICIPATION

                             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




Early registration deadline for ETAPS: February 15, 2010


To register for BYTECODE 2010, follow the link from the ETAPS 2010  
page, at



Bytecode, such as produced by e.g. Java and .NET 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 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 pervasive 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 bytecode. Both new theoretical results and tool
demonstrations are welcome.


Mark Marron, IMDEA Software, Spain
Francesco Logozzo, Microsoft Research, USA
Matthew Parkinson, University of Cambridge, UK
Fausto Spoto, University of Verona, Italy


** Session I   9:00-10:30

*** 09:00 Invited Speaker: Francesco Logozzo (Microsoft Research, USA)
  Language-agnostic Contract specification and checking with  
CodeContracts and

*** 10:00 Jacek Chrzqszcz, Patryk Czarnik and Aleksy Schubert (The  
University of
  Warsaw, Poland)
  A dozen instructions make Java bytecode

** 10:30 coffee break

** Session II   11:00-12:30

*** 11:00 Invited Speaker: Mark Marron (IMDEA Software, Spain)
  Spec-tacular: heap assertions for .net bytecode
*** 12:00 Jaroslav Bauml and Premek Brada (University of West Bohemia,  
  Reconstruction of Type Information from Java Bytecode for Component

** 12:30 lunch

** Session III   14:00-16:00

*** 14:00 Invited Speaker: Matthew Parkinson (University of Cambridge,  
  The design of jStar
*** 15:00 Philippe Wang, Adrien Jonquet and Emmanuel Chailloux (LIP6- 
  Non Intrusive Structural Coverage for Objective Caml
*** 15:30 Jevgeni Kabanov (Tartu University, Estonia)
  JRebel Tool Demo

** 16:00 coffee break

** Session IV   16:30-18:00

*** 16:30 Invited Speaker: Fausto Spoto (University of Verona, Italy)
  Static Analysis of Java: from the Julia Perspective
*** 17:30 Michael Eichberg and Andreas Sewe (Technische Universität  
  Encoding the Java Virtual Machine's Instruction Set


  * 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

Reply via email to