https://www.dagstuhl.de/03351

August 26 – 29 , 2003, Dagstuhl Seminar 03351

Software Optimization

Organizers

Susan L. Graham (University of California – Berkeley, US)
Reinhard Wilhelm (Universität des Saarlandes, DE)

For support, please contact

Dagstuhl Service Team

Documents

List of Participants

Motivation

The area of Software Optimization, in the context of compilers called Code Optimization , is not in a good state. Although there is continuing research on this topic, it is largely incremental in nature. There has been little progress in the foundational areas. The relationship to language semantics has not been substantially clarified, and metrics have not been developed to determine the profitability of program transformations, except in very specific instances. The same holds for attempts to mechanize the program transformation task -- the needed specification and generation mechanisms are lacking. New architectural concepts undermine traditional separations between machine-dependent and machine-independent optimizations, casting doubts upon established transformations and requiring the creation of new ones. New languages with dynamic program reconfiguration shift tasks from compile time to run time.

The time has come to step back from current research and to lay out a longer-term research agenda that identifies both the nature of the contemporary and future contexts for optimization and the important problems that need to be addressed. To identify that agenda, this Vision Seminar on Software Optimization will be held in Dagstuhl.

Areas to be represented are the following:

  • Semantics preservation
  • Program Analysis
  • Theory of Program Transformation
  • Transformation Mechanisms
  • Program Representations
  • Metrics, Profitability
  • Architecture Awareness
  • OS Awareness
  • Profiling, Benchmarking
  • Feedback-Directed Optimization
  • Influence of Language Design
  • Interaction with SW-Engineering
  • Run-Time Adaptation
  • Run-Time Optimization
  • Transform. SW Development
  • Industry Needs Assessment
  • General Expertise

Documentation

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).

Publications

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

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.