NWPT '09 Home
Call for papers
Organisation
Important Dates
Programme
- Wednesday
- Thursday
- Friday
Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info
|
Programme
All sessions take place in:
Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby
Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.
Thursday, October 15, 2009
Static Analysis
Session Chair - Bengt Nordström
|
9:00 - 9:25
|
M. Steffen and T. M. T. Tran
|
|
Safe Commits for Transactional Featherweight Java
|
|
9:25 - 9:50
|
A. Cortesi and R. Halder
|
|
Abstract Interpretation Framework for Structured Query Languages
|
|
9:50 - 10:15
|
I. Grabe, M. Steffen and F. de Boer
|
|
Static Deadlock Detection for Active Objects
|
|
10:15 - 10:40
|
P. Schneider-Kamp, J. Giesl, A. Serebrenik, T. Ströder and R. Thiemann
|
|
Proving Termination for Logic Programs with Cut
|
Coffee Break
Invited talk
Chair - Michael R. Hansen
|
11:00 - 12:00
|
Franz Wotawa
|
|
The current State of Automated Debugging
|
Lunch in the glass room of the main canteen
Testing and Verification
Session Chair - Uwe Wolter
|
13:00 - 13:25
|
M. Veanes, P. Grigorenko, J. de Halleux and N. Tillmann
|
|
Symbolic Query Exploration
|
|
13:25 - 13:50
|
M. Nica, I. Moraru and F. Wotawa
|
|
Representing Program Debugging as Constraint Satisfaction Problem
|
|
13:50 - 14:15
|
A. Torjusen, M. Steffen and O. Owe
|
|
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
|
Coffee Break
Logic and Semantics
Session Chair - Einar Broch Johnsen
|
14:35 - 15:00
|
L. Juhl
|
|
Introducing Modal Transition Systems with Weight Sets
|
|
15:00 - 15:25
|
A. Hernandez and F. Nielson
|
|
Enforcing Mandatory Access Control in Distributed Systems using Aspect-Orientation
|
|
15:25 - 15:50
|
C. Prisacariu
|
|
A Decidable Logic for Complex Contracts
|
Robot Swarms
Session Chair - Michael R. Hansen
|
16:00 - 16:25
|
S. Juurik and J. Vain
|
|
Model checking emerging behavior properties of robot swarms
|
|
16:25 - 16:50
|
S. L. T. Tarifa and E. B. Johnsen
|
|
The Cooperative Cleaners Case Study: Modelling and Analysis in Creol
|
Conference Dinner
|