PLID'04

The First International Workshop on Programming Language Interference and Dependence

August 25 2004, Verona, Italy


(affiliated with SAS'04, LOPSTR'04, PEPM'04, and PPDP'04)

Morning Session: 9:00 - 12:30

9:00-10:00

Plenary Invited Talk: Program Generators and the Tools to Make Them, Yannis Smaragdakis.

10:00-10:30

Coffee Break

10:30-11:00

Challenges in Information-flow security, S. Zdancewic;

11:00-11:30

Policies and Mechanisms for Safe Information Release, A. Sabelfeld;

11:30-12:00

Eliminating Timing leaks by Unification (Extended Abstract), B. Köpf and H. Mantel;

Lunch: 12:30 - 14:00

Afternoon Session: 14:00 - 18:00

14:00-14:30

Generalized Non-Interference for Timed Automata, R. Giacobazzi and I. Mastroeni.

14:30-15:00

Non-Interference for Weak Observers, D. Clark, S. Hunt and P. Malacaria;

15:00-15:30

Measuring Confinement via Weak Bisimulation (Extended Abstract), A. Di Pierro, C. Hankin and H. Wiklicky;

15:30-16:00

Coffee Break

16:00-16:30

Applications of Linear Program Schematology in Dependence Analysis, S. Danicic, M. Harman, R. Hierons, J. Howroyd and M. Laurence;

16:30-17:00

A Lazy Semantics for Program Slicing, S. Danicic, M. Harman, J. Howroyd and L. Ouarbya;

17:00-17:30

Abstract Non-Interference in a functional Dependency Calculus, D. Zanardini;

17:30-18:00

Information Flow Analysis for Java Bytecode, S. Genaim and F. Spoto.