A Model for Name Analysis (W. M. Waite, U. Kastens)

Adapting Applications for the Accelaration with High-End GPUS (M. Schordan)

Towards a Simple and Efficient Memory Model for Concurrent Programming Languages (T. Millstein)

Trends and Perspectives in Model-Driven Software Development (U. Assmann)

Tool-Supported Identification of Functional Concerns in Object-oriented Code (G. Goos)

Optimizing Symbolic Model Checking by State Space Reduction (W. Zimmermann, D. Richter)

Specification, Implementation and Verification of Refactorings (M. Schäfer)

New Perspectives in Bottom-Up Tree Rewriting - Part 2: The Generator (J. Gough)

Program Generation of Library Kernel Code with Algorithmic Choices (D. Gregg)

Language and System Support for Atomicity and Replication in Distributed Systems (P. T. Wojciechowski)

Concurrent Programming with Revision and Isolation Types (D. Leijen)

On Flow Sensitivitiy in Points-to Analysis (O. Lhotak)

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code (J. Knoop)

Components and Composition (K.-K. Lau)

Engineering Highly Personalized Systems (N. Serbedzija)

Directed Test Generation for Effective Fault Localization (F. Tip)

Effort Estimation Based on Use Cases (J. Nawrocki)

The European Research Council (S. Jähnichen)

Contract Risk Management (R. Landwehr)

TBA (U. Kastens)

TBA (E. Plödereder)

Making Bleady Optimal Replacement actually work as Register Allocation Algorithm (N. Horspool)

Accelarating Math Script Languages (B. Scholz)

Thursday 6:30 pm

Guided city tour Lutherstadt Wittenberg

Beer seminar at the Brauhaus Wittenberg