Programme of Bytecode at ETAPS 2008

(Bytecode Semantics, Verification, Analysis and Transformation)

Saturday, April 5, room: BÉLA

09:00 - 10:30 SESSION 1

Invited Talk

Cyrille Artho

National Institute of Advanced Industrial Science and Technology (AIST), Tokyo

10:30 - 11:00 Coffee

11:00 - 12:30 Multithreading

BicolanoMT: a formalization of multi-threaded Java at bytecode level

Gustavo Petri and Marieke Huisman

(INRIA, France)

A fast and precise analysis for data race detection

Pietro Ferrara Ecole Polytechnique, France & Universita Ca' Foscari, Venice, Italy

Verifying LTL Properties of Bytecode with Symbolic Executio

Pietro Braione, Giovanni Denaro, Mauro Pezze' and Bohuslav Krena

(Dipartimento di Informatica, Sistemistica e Comunicazione (DISCo) Universita' degli Studi di Milano-Bicocca, Italy)

12:30 - 14:30 Lunch

14:30 - 16:00 Quantitative analyses

COSTA: A Cost and Termination Analyzer for Java Bytecode

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla and Damiano Zanardini

(CLIP Lab, Technical University of Madrid, Spain)

ByCounter: Portable Runtime Counting of Bytecode Instructions and Method Invocations

Michael Kuperberg, Martin Krogmann and Ralf Reussner

(Universität Karlsruhe, Fakultät für Informatik, Germany)

Aspects of Class Specification in Java Byte Code 

Aleksy Schubert, Jacek Chrząszcz, Tomasz Batkiewicz, Jarosław Paszek and Wojciech Wąs

Institute of Informatics, University of Warsaw, Poland

Detailed Programme Information:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA