Programme of Bytecode at ETAPS 2007
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
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13