ETAPS 2005
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation
(BYTECODE)
April 9, 2005 - Edinburgh, Scotland, UK          
BYTECODE    2005
   
Workshop
Scope
Call for Papers
Instructions for Authors
Proceedings
Important Dates
  Programme
Contact Information
Committee and Invited Speaker
Venue
Related Events
CC 2005
ESOP 2005
FASE 2005
FOSSACS 2005
TACAS 2005

Preliminary Program

Saturday April 9, 2005

  • 8:30 Welcome
  • 9:00 Invited Talk: Xavier Leroy, INRIA Rocquencourt & Trusted Logic, France. A Unified Framework for Bytecode Verification Algorithms
  • 10:00 S. Gilmore and M. Prowse, The University of Edinburgh, UK. Proof-Carrying Bytecode
  • 10:20 M. Wildmoser, A. Chaieb and T. Nipkow, Technische Universität München, Germany. Bytecode Analysis for Proof Carrying Bytecode
  • 10:40 coffee break
  • 11:00 S. Shiel and I. Bayley, Oxford Brookes University, UK. A Translation-Facilitated Comparison between the Common Language Runtime and the Java Virtual Machine
  • 11:20 W. Binder and J. Hulaas, EPFL, Lausanne, Switzerland. Java Bytecode Transformations for Efficient, Portable CPU Accounting
  • 11:40 A. Buckley, M. Murray, S. Eisenbach and S. Drossopoulou, Imperial College, London, UK. Flexible Bytecode for Linking in .NET
  • 12:00 M. Eichberg, Darmstadt University of Technology, Germany. BAT2XML, XML-based Java Bytecode Representation
  • 12:30 Lunch
  • 14:00 C. Artho, ETH Zürich, Switzerland, and A. Biere, Johannes Kepler University, Linz, Austria. Subroutine Inlining and Bytecode Abstraction Simplify Static and Dynamic Analysis
  • 14:20 P. Crégut and C. Alvarado, France Télécom, France. Improving the Security of Downloadable Java Applications with Static Analysis
  • 14:40 R. R. Hansen, Technical University Denmark, Lyngby, Denmark and I. A. Siveroni, Imperial College, London, UK. Towards Verification of Well-Formed Transactions in Java Card Bytecode
  • 15:00 D. Hedin and D. Sands, Chalmers, Goteborg, Sweden. Timing Aware Information Flow Security for a JavaCard-like Bytecode
  • 15:30 coffee break
  • 16:00 S. Cherem and R. Rugina, Cornell University, Ithaca, USA. A Verifier for Region-Annotated Java Bytecodes
  • 16:20 I. Bayley and S. Shiel, Oxford Brookes University, UK. JVM Bytecode Verification without Dataflow Analysis
  • 16:40 L. Kot and D. Kozen, Cornell University, Ithaca, USA. Kleene Algebra and Bytecode Verification
  • 17:00 C. Bernardeschi, G. Lettieri, L. Martini and P. Masci, Università di Pisa, Italy. A Space-Aware Bytecode Verifier for Java Cards
  • 17:20 F. Bannwart, P. Müller, ETH Zürich, Switzerland. A Program Logic for Bytecode