Programme of Bytecode at ETAPS 2007

(Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation)

Saturday, March 31, room: CP2-103

09:00 - 10:30 SESSION 1

Session Chair: Marieke Huisman

Invited Talk: Modular verification of object invariants in Spec#

Peter Müller (ETH Zurich)

Type Systems for optimising Stack-based Code

Tarmo Uustalu and Ando Saabas (Tallinn University of Technology, Estonia)

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Proving Resource Consumption of Low-level and Programs using Automated Theorem Provers

Jaroslav Sevcik (University of Edinburgh, UK)

Formal Translation of Bytecode into BoogiePL

Hermann Lehner and Peter Müller (ETH, Zurich, Switzerland)

Bytecode Rewriting in Tom

Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles (Loria, France)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Session Chair: Peter Müller

Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking

Jesse McGeachie and Juergen Dingel (Queen's University, Canada)

Practical Assessment of Cost Analysis for Java Bytecode

Samir Genaim, Puri Arenas, Damiano Zanardini, German Puebla and Elvira Albet (Universidad Politécnica de Madrid, Universidad Complutense de Madrid, Spain)

MMC: the Mono Model Checker

Theo Ruys and Niels H.M. Aan de Brugh (University of Twente, The Netherlands)

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation

Miguel Gomez-Zamalloa, Elvira Albert and German Puebla (Universidad Politécnica de Madrid, Universidad Complutense de Madrid, Spain)

16:00 - 16:30 Coffee Break

16:30 - 17:30 SESSION 4

Session Chair: Fausto Spoto

Computing SSA Form with Matrices

Quan Nguyen and Bernhard Scholz (University of New South Wales, University of Sydney, Australia)

An Efficient, Parametric Fixpoint Algorithm for Incremental Analysis of Java Bytecode

Mario Méndez, Jorge Navas and Manuel Hermenegildo (University of New Mexico, USA)

18:45 SOCIAL EVENT

Joint Workshops Post-Conference Dinner (tickets needed)

Dinner at Pousada Santa Maria de Bouro

Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

• Programme Overview, Social Programme
• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, COCV, FESCA, FinCo, GT-VMT, HAV, HFL, LDTA, MBT, MOMPES, OpenCert, QAPL, SC, SLA++P, TERMGRAPH, WITS,
• Tutorials: Stratego/XT, SoftwGen, Mobius