Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 05451

Beyond Program Slicing

( Nov 06 – Nov 11, 2005 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



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.

  • Dave Binkley (Loyola College - Baltimore, US)
  • Sue Black (London South Bank Univ. - London, GB)
  • Philipp Bouillon (FernUniversität in Hagen, DE)
  • Silvia Breu (Universität des Saarlandes, DE)
  • Magiel Bruntink (CWI - Amsterdam, NL)
  • Mariano Ceccato (Centro Ricerche FIAT - Trento, IT) [dblp]
  • Peggy Cellier (IRISA / CNRS, FR)
  • Sebastian Danicic (University of London/Goldsmiths, GB)
  • Mireille Ducassé (INRIA Rennes - Bretagne Atlantique, FR)
  • Ran Ettinger (University of Oxford, GB) [dblp]
  • Raimar Falke (Universität Bremen, DE)
  • Chris Fox (University of Essex, GB)
  • Keith B. Gallagher (Loyola College - Baltimore, US)
  • Tibor Gyimothy (University of Szeged, HU)
  • Tracy Hall (University of Hertfordshire, GB)
  • Christian Hammer (Universität Passau, DE) [dblp]
  • Mark Harman (King's College London, GB) [dblp]
  • John Hatcliff (Kansas State University, US) [dblp]
  • Robert M. Hierons (Brunel University - London, GB) [dblp]
  • John Howroyd (University of Reading, GB)
  • Karl Trygve Kalleberg (University of Bergen, NO)
  • Ákos Kiss (University of Szeged, HU)
  • Jens Knoop (TU Wien, AT) [dblp]
  • Jens Krinke (FernUniversität in Hagen, DE) [dblp]
  • Christian Lindig (Universität des Saarlandes, DE) [dblp]
  • Philip McMinn (University of Sheffield, GB)
  • Markus Müller-Olm (Universität Münster, DE) [dblp]
  • Jürgen Rilling (Concordia University - Montreal, CA)
  • Nuno Miguel Feixa Rodrigues (University of Minho - Braga, PT)
  • Marc Schlickling (Universität des Saarlandes, DE)
  • Markus Schordan (TU Wien, AT) [dblp]
  • Jeremy Singer (University of Manchester, GB)
  • Tom Tourwé (CWI - Amsterdam, NL)
  • Neil Walkinshaw (University of Sheffield, GB) [dblp]
  • Andreas Winter (Universität Koblenz-Landau, DE)
  • Andreas Zeller (Universität des Saarlandes, DE) [dblp]