Program Bytecode 2012
Seventh Workshop on Bytecode Semantics,
Verification, Analysis and Transformation

A Satellite workshop of ETAPS 2012
Tallinn, Estonia,
31 March 2012

9:00-10:00 Jeff Foster - Using bytecode transformation to retrofit fine-grained security policies on unmodified Android
10:00-10:30 Olga Gadyatskaya, Eduardo Lostal and Fabio Massacci - Extended Abstract: Embeddable Security-by-Contract Verifier for Java Card
10:30 - 11:00 Coffee Break
11:00 - 12:00 James Hunt - Bytecode and Safety-Critical Systems: Friend or Foe?
12:00 - 13:00 Henrik Søndberg Karlsen, Erik Ramsgaard Wognsen, Mads Chr. Olesen and René Rydhof Hansen - Study, Formalisation, and Analysis of Dalvik Bytecode
12:30 - 14:00 Lunch Break
14:00 - 15:00 Diego Garbervetsky - Quantitative analysis of Java/.Net like programs to understand heap memory requirements
15:00 - 15:30 Gabriele Costa, Giulio Caravagna, Giovanni Pardini and Luca Wiegand - Log-based Lazy Monitoring of OSGi Bundles
15:30 - 16:00 Coffee Break
16:00 - 16:30 Elvira Albert, Samir Genaim and Guillermo Román-Díez - Conditional Termination of Loops over Arrays
16:30 - 17:00 Michael Barnett and Shaz Qadeer - BCT: A translator from MSIL to Boogie
Huisman
Last modified: Wed Feb 22 09:36:34 CET 2012