| |
3rd International Workshop on Programming Language Interference and Dependence (PLID), 2007
Co-located with SAS and LOPSTR
Sponsored by Astrenet
|
| |
 |
 |
 |
| |
|
Kongens Lyngby, Denmark, 21 August, 2007
|
|
Venue: The Technical University of Denmark
|
| |
|
DESCRIPTION
|
Interference and dependence are closely related concepts, the first being the observable
phenomenon connected to the second. Interference essentially means that behaviour of some
parts of a dynamic system may influence the behaviour of other parts of the system.
Dependence specifies the relation between the semantics of sub-components of a dynamic system.
Discovering, measuring and controlling interference is essential in many aspects of modern
computer science, in particular in security, program analysis and verification, debugging, systems specification,
model checking, program manipulation, program slicing, reverse engineering, data mining,
distributed databases and systems biology. Doing these things requires theories,
models and semantics for interference and dependence, as well as algorithms and tools for analysis and
reasoning about interference and dependence.
The aim of this workshop is to gather together the community of people that study dependence
and interference from the different points of view in order to generate new possible research
directions. PLID is devoted to bridging all these communities and assisting work towards a common goal,
providing the appropriate environment for reasoning about the state of the art in interference
and dependence.
|