November 6 – 11 , 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)

For support, please contact

Dagstuhl Service Team


Dagstuhl Seminar Proceedings DROPS
List of Participants


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 the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.