Programme of Bytecode at ETAPS 2010

(5th workshop on Bytecode Semantics, Verification, Analysis and Transformation)

Saturday, March 27

09.00-10.30 SESSION 1

09.00: Invited Speaker: Francesco Logozzo (Microsoft Research, USA)

Languageagnostic Contract specification and checking with CodeContracts and Clousot.

10.00: A dozen instructions make Java bytecode.

Jacek Chrzaszcz, Patryk Czarnik and Aleksy Schubert (The University of Warsaw,
Poland)

10:30 - 11:00 Coffee Break

11.00-12.30 SESSION 2

11.00: Invited Speaker: Mark Marron (IMDEA Software, Spain)

Spec-tacular: heap assertions for .net bytecode

12.00: Reconstruction of Type Information from Java Bytecode for Component
Compatibility

Jaroslav Bauml and Premek Brada (University of West Bohemia, Czech Republic)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

14.00: Invited Speaker: Matthew Parkinson (University of Cambridge, UK)

The design of jStar

15.00: Non-Intrusive Structural Coverage for Objective Caml

Philippe Wang, Adrien Jonguet and Emmanuel Chailloux (LIP6-UPMC, France)

15.30: JRebel Tool Demo

Jevgeni Kabanov (Tartu University, Estonia)

16:00 - 16:30 Coffee Break

16:30 - 17:30 SESSION 4

16.30: Invited Speaker: Fausto Spoto (University of Verona, Italy)

Static Analysis of Java: from the Julia Perspective

15.00: Encoding the Java Virtual Machine’s Instruction Set

Michael Eichberg and Andreas Sewe (Technische Universitt Darmstadt, Germany)