Program

09:00-10:30 Session 1 (Chair: Elvira Albert)
Thomas Jensen  
From stack maps to software certificates (Invited Talk) PDF
Phil McGachey, Antony L. Hosking and J. Eliot B. Moss  
Pervasive Load-Time Transformation for Transparently Distributed Java PDF
Coffee break  
11:00-12:30 Session 2 (Chair: Sara Kalvala)
Stefan Brunthaler  
Virtual-Machine Abstraction and Optimization Techniques PDF
Arno Puder and Jessica Lee  
Towards an XML-based Byte Code Level Transformation Framework PDF
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens and Dries Vanoverberghe  
The S3MS.NET Run Time Monitor PDF
Lunch  
14:00-15:30 Session 3 (Chair: Fausto Spoto)
Laurent Hubert and David Pichardie  
Soundly Handling Static Fields: Issues, Semantics and Analysis PDF
Jorge Navas, Mario Mendez and Manuel V. Hermenegildo  
A Generic Resource Usage Analysis for Java Bytecode PDF
Xin Li and Mizuhito Ogawa  
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java PDF
Coffee break  
16:00-18:00 Session 4 (Chair: Samir Genaim)
Fausto Spoto, Lunjin Lu and Fred Mesnard  
Using CLP Simplifications to Improve Java Bytecode Termination Analysis PDF
Aleksy Schubert and Daria Walukiewicz-ChrzÄ…szcz  
The Non-Interference Protection in BML PDF
Etienne Payet and Fausto Spoto  
Experiments with Non-Termination Analysis for Java Bytecode PDF
Massimo Bartoletti, Gabriele Costa and Roberto Zunino  
Jalapa: Securing Java with Local Policies PDF
Closing Remarks (by David Pichardie)