06. – 11. November 2005, Dagstuhl-Seminar 05451

Beyond Program Slicing


Dave Binkley (Loyola College – Baltimore, US)
Mark Harman (King's College London, GB)
Jens Krinke (FernUniversität in Hagen, DE)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


Dagstuhl Seminar Proceedings DROPS


The aim of the "beyond program slicing" seminar was to explore emergent applications of program slicing and ways in which slicing techniques and ideas could be combined with those from other areas of program analysis and manipulation.

To achieve this goal, the seminar gathered together 36 people, including experts in the theory and practice of program slicing and those working on closely related areas, such as model checking, measurement, analysis, debugging, program comprehension, testing, reengineering and semantics.

The seminar was structured to provide a mix of pre-prepared talks and talks on work developed by the participants during the seminar. To achieve this, time was set aside for group working in groups of three. Groups were chosen to facilitate cross pollination of ideas from different fields. There was also time provided for preparation and networking and for tutorials and demonstrations of practical systems. The discussions and collaborative work continued into the small hours every morning, yet all the participants remained energetic and enthusiastic throughout the event.

Several new topics and ideas emerged at the workshop, both through formal presentations by the formally constituted groups of three and through unplanned serendipitous collaboration between the participants. The organisers are confident that several of the abstracts the reader will find under the DROPS proceedings of the workshop will become extended papers, forming the seeds of on-going collaboration and work.


The "beyond program slicing" Dagstuhl seminar was a resounding success with many technical outcomes which will continue to be developed by the inter-locking collaborative working groups formed during the seminar. The strong spirit of co-operation and collaboration which permeated the seminar is also expected to lead to a number of valuable, on-going, infrastructural, efforts to help in the support, facilitation and maturation of this growing community of researcher within source code analysis and manipulation and its application to software engineering.


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.