TOP
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
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 03351

Software Optimization

( Aug 26 – Aug 29, 2003 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/03351

Organizers



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

Participants
  • Keith D. Cooper (Rice University - Houston, US)
  • Oege de Moor (University of Oxford, GB)
  • Evelyn Duesterwald (IBM TJ Watson Research Center - Yorktown Heights, US)
  • Susan L. Graham (University of California - Berkeley, US)
  • Neil D. Jones (University of Copenhagen, DK) [dblp]
  • James Larus (Microsoft Research - Redmond, US) [dblp]
  • Peter Marwedel (TU Dortmund, DE) [dblp]
  • Bilha Mendelson (IBM - Haifa, IL)
  • Peter Sanders (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Vivek Sarkar (IBM TJ Watson Research Center - Yorktown Heights, US) [dblp]
  • Mary Lou Soffa (University of Virginia, US)
  • Walter F. Tichy (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Christopher Vick (Sun Microsystems Inc.- Santa Clara, US)
  • Reinhard Wilhelm (Universität des Saarlandes, DE) [dblp]