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,

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
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)
ETAPS 2010 | Top | Last Update: 2010-02-04