Programme of EAAI at ETAPS 2006

(First International Workshop on Emerging Applications of Abstract Interpretation)

Sunday, March 26

09:30 - 10:30 SESSION 1 (EAAI, Sunday, March 26, room: EI 1)

Invited Talk
On Abstraction-Carrying Code and Certificate-Size Reduction
German Puebla (Univ. Politécnica de Madrid, E)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (EAAI, Sunday, March 26, room: EI 1)

A PCC Architecture based on Certified Abstract Interpretation
F. Besson, T. Jensen, D. Pichardie (IRISA, F)
JAIL: Firewall Analysis of Java Card by Abstract Interpretation
P. Ferrara (Univ. Venezia, I, and Ecole Polytechnique, F)
Opaque Predicates Detection by Abstract Interpretation
M. Dalla Preda (Univ. Verona, I), M. Madou, K. De Bosschere (Ghent Univ., B), R. Giacobazzi (Univ. Verona, I)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (EAAI, Sunday, March 26, room: EI 1)

Abstract Analysis of Plans for Teleoperated Robots
D. Massé (Univ. Bretagne Occidentale, F)
Analyzing Biological Pathways by Abstract Interpretation
G. Scardoni (Univ. Verona, I)
Context Dependent Analysis of BioAmbients
H. Pilegaard, F. Nielson, H. Riis Nielson (T.U. Denmark, DK)

15:30 - 16:00 Coffee

16:00 - 17:30 SESSION 4 (EAAI, Sunday, March 26, room: EI 1)

Path-Length Analysis for Object-Oriented Programs
F. Spoto (Univ. Verona, I), P.M. Hill (Univ. Leeds, UK), E. Payet (Univ. La Reunion, F)
An Abstract Domain for Separation Logic Formulae
E.-J. Sims (Ecole Polytechnique, F, and Kansas State Univ., USA)
Static Analysis of Actors: From Type Systems to Abstract Interpretation
P.-L. Pantel, M. Garoche, X. Thirioux (IRIT, F)

19:30 SOCIAL EVENT (Sunday, March 26)

Joint Workshops Pre-Conference Dinner
Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23