Search Results

Documents authored by Padua, David


Document
10191 Abstracts Collection – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond

Authors: Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel

Published in: Dagstuhl Seminar Proceedings, Volume 10191, Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond (2010)


Abstract
From May 9 to 12, 2010, the Dagstuhl Seminar 10191 ``Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel. 10191 Abstracts Collection – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. In Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Dagstuhl Seminar Proceedings, Volume 10191, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{kessler_et_al:DagSemProc.10191.1,
  author =	{Kessler, Christoph W. and L\"{o}we, Welf and Padua, David and P\"{u}schel, Markus},
  title =	{{10191 Abstracts Collection – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond}},
  booktitle =	{Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10191},
  editor =	{Christoph W. Kessler and Welf L\"{o}we and David Padua and Markus P\"{u}schel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.1},
  URN =		{urn:nbn:de:0030-drops-25726},
  doi =		{10.4230/DagSemProc.10191.1},
  annote =	{Keywords: Software composition, program optimization, components, parallel computing, scheduling, autotuning, adaptivity, performance prediction, library synthesis, meta-programming}
}
Document
10191 Executive Summary – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond

Authors: Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel

Published in: Dagstuhl Seminar Proceedings, Volume 10191, Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond (2010)


Abstract
Components are a well-proven means of handling software complexity. Reusable components and software composition support the construction of large and reliable software systems from pre-defined and tested partial solutions. When maximizing reusability, we end up with components that are very general and do not fit one particular scenario perfectly. Therefore, adaptation, especially optimization, is established as a technique to deal with such mismatches.

Cite as

Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel. 10191 Executive Summary – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. In Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Dagstuhl Seminar Proceedings, Volume 10191, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{kessler_et_al:DagSemProc.10191.2,
  author =	{Kessler, Christoph W. and L\"{o}we, Welf and Padua, David and P\"{u}schel, Markus},
  title =	{{10191 Executive Summary – Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond}},
  booktitle =	{Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10191},
  editor =	{Christoph W. Kessler and Welf L\"{o}we and David Padua and Markus P\"{u}schel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.2},
  URN =		{urn:nbn:de:0030-drops-25712},
  doi =		{10.4230/DagSemProc.10191.2},
  annote =	{Keywords: Software composition, program optimization, components, parallel computing, scheduling, autotuning, adaptivity, performance prediction, library synthesis, meta-programming}
}
Document
Program Composition and Optimization: An Introduction

Authors: Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel

Published in: Dagstuhl Seminar Proceedings, Volume 10191, Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond (2010)


Abstract
Software composition connects separately defined software artifacts. Such connection may be in program structure (such as inheritance), data flow (such as message passing) and/or control flow (such as function calls or loop control).

Cite as

Christoph W. Kessler, Welf Löwe, David Padua, and Markus Püschel. Program Composition and Optimization: An Introduction. In Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Dagstuhl Seminar Proceedings, Volume 10191, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{kessler_et_al:DagSemProc.10191.3,
  author =	{Kessler, Christoph W. and L\"{o}we, Welf and Padua, David and P\"{u}schel, Markus},
  title =	{{Program Composition and Optimization: An Introduction}},
  booktitle =	{Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10191},
  editor =	{Christoph W. Kessler and Welf L\"{o}we and David Padua and Markus P\"{u}schel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.3},
  URN =		{urn:nbn:de:0030-drops-25738},
  doi =		{10.4230/DagSemProc.10191.3},
  annote =	{Keywords: Software composition, program optimization, components, parallel computing, scheduling, autotuning, adaptivity, performance prediction, library synthesis, meta-programming}
}
Document
Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)

Authors: Jens Knoop, Jaejin Lee, Samuel P. Midkiff, and David Padua

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jens Knoop, Jaejin Lee, Samuel P. Midkiff, and David Padua. Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431). Dagstuhl Seminar Report 399, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)


Copy BibTex To Clipboard

@TechReport{knoop_et_al:DagSemRep.399,
  author =	{Knoop, Jens and Lee, Jaejin and Midkiff, Samuel P. and Padua, David},
  title =	{{Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)}},
  pages =	{1--5},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{399},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.399},
  URN =		{urn:nbn:de:0030-drops-152798},
  doi =		{10.4230/DagSemRep.399},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail