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)


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:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13