From cTuning.org
(New page: <div align="center"> <font size = 5>SMART'10 Workshop Program</font> <font size = 3>Sunday, January 24, 2010<BR>Pisa, Italy<BR>(co-located with [http:/...) |
Current revision (12:39, 30 November 2010) (view source) |
||
(9 intermediate revisions not shown.) | |||
Line 3: | Line 3: | ||
<font size = 3>Sunday, January 24, 2010<BR>Pisa, Italy<BR>(co-located with [http://www.hipeac.net/conference HiPEAC 2010 Conference])</font> | <font size = 3>Sunday, January 24, 2010<BR>Pisa, Italy<BR>(co-located with [http://www.hipeac.net/conference HiPEAC 2010 Conference])</font> | ||
+ | |||
+ | <BR>[http://cTuning.org/dissemination/smart10-proceedings.pdf ('''Proceedings in one pdf''')] | ||
<BR> | <BR> | ||
[ [[Dissemination:Workshops:SMART10:Foreword|SMART'10 Foreword]] ] | [ [[Dissemination:Workshops:SMART10:Foreword|SMART'10 Foreword]] ] | ||
+ | </div> | ||
{| cellspacing="0" width="90%" cellpadding="10" border="0" style="background:#FFFFFF; color:black;" | {| cellspacing="0" width="90%" cellpadding="10" border="0" style="background:#FFFFFF; color:black;" | ||
|- style="background:#CFCFFF; color:black;" | |- style="background:#CFCFFF; color:black;" | ||
- | | style="width:140px" valign="top"| ''' | + | | style="width:140px" valign="top"| '''14:00-14:05''' |
| <font size = 4>SMART'10 Program Chair introduction</font><BR><BR>''[http://www.cs.fsu.edu/~whalley David Whalley], Florida State University, USA'' | | <font size = 4>SMART'10 Program Chair introduction</font><BR><BR>''[http://www.cs.fsu.edu/~whalley David Whalley], Florida State University, USA'' | ||
|- | |- | ||
Line 15: | Line 18: | ||
| | | | ||
|- style="background:#CFCFFF; color:black;" | |- style="background:#CFCFFF; color:black;" | ||
- | | style="width:140px" valign="top"| ''' | + | | style="width:140px" valign="top"| '''14:05-15:00''' |
- | | <font size = | + | | <font size = 3>Keynote talk: Moving adaptation into individual optimizations</font><BR><BR>''[http://www.cs.rice.edu/~keith Prof. Keith Cooper]''<BR>Rice University, USA |
+ | |||
+ | Over the past fifteen years, many researchers have tried to address the fundamental problem that a compiler should adapt its behavior to properties of the code presented for compilation. As a result, we have seen approaches that include derivation of scheduling heuristics, discovery of good sets of command-line flags to control compilation, genetic programming, schemes to select and order passes, and approaches that run multiple competing techniques and retain the best result. | ||
+ | |||
+ | This talk will focus on issues that arise in building compiler-based optimizations that have internal mechanisms for adaptation. Some optimizations, such as inline substitution, appear to be natural candidates for internal adaptation. Others, such as lazy code motion, do not. The talk will examine some of the issues that make internal adaptation desirable and profitable. It will discuss prior work, current work, and future opportunities. | ||
+ | |||
+ | * [http://www.cs.rice.edu/~keith/SMART2010 Keith's SMART'10 keynote page with additional info and slides] | ||
+ | * [http://cTuning.org/dissemination/smart10-keynote.pdf keynote slides in pdf] | ||
+ | |||
+ | |- | ||
+ | | valign="top" align="right" | 15:00-15:30 | ||
+ | | '''Automatic Selection of Machine Learning Models for WCET-aware Compiler Heuristic Generation'''<BR><BR>''Paul Lokuciejewski, Marco Stolpe, Katharina Morik, Peter Marwedel''<BR>TU Dortmund University, Germany | ||
+ | <BR>[http://cTuning.org/dissemination/smart10-01.pdf ('''paper pdf''')] [http://cTuning.org/dissemination/smart10-01-slides.pdf ('''slides pdf''')] | ||
|- | |- | ||
| | | | ||
| | | | ||
|- | |- | ||
- | | style="width:140px" valign="top"| ''' | + | | style="width:140px" valign="top"| '''15:30-15:45''' |
| Coffee Break | | Coffee Break | ||
|- | |- | ||
Line 27: | Line 42: | ||
| | | | ||
|- | |- | ||
- | | valign="top" align="right" | | + | | valign="top" align="right" | 15:45-16:15 |
- | + | ||
- | + | ||
- | + | ||
| '''Application Heartbeats: A Generic Interface for Expressing Performance Goals and Progress in Self-Tuning Systems'''<BR><BR>''Henry Hoffmann, Jonathan Eastep, Marco Santambrogio, Jason Miller, Anant Agarwal''<BR>MIT, USA | | '''Application Heartbeats: A Generic Interface for Expressing Performance Goals and Progress in Self-Tuning Systems'''<BR><BR>''Henry Hoffmann, Jonathan Eastep, Marco Santambrogio, Jason Miller, Anant Agarwal''<BR>MIT, USA | ||
+ | <BR>[http://cTuning.org/dissemination/smart10-02.pdf ('''paper pdf''')] [http://cTuning.org/dissemination/smart10-02-slides.pdf ('''slides pdf''')] | ||
|- | |- | ||
- | | valign="top" align="right" | | + | | valign="top" align="right" | 16:15-16:45 |
- | | '''Automated Timer Generation for Empirical Tuning'''<BR><BR>''Josh Magee, Qing Yi, R. Clint Whaley''<BR>University of Texas at San Antonio | + | | '''Automated Timer Generation for Empirical Tuning'''<BR><BR>''Josh Magee, Qing Yi, R. Clint Whaley''<BR>University of Texas at San Antonio, USA |
+ | <BR>[http://cTuning.org/dissemination/smart10-03.pdf ('''paper pdf''')] [http://cTuning.org/dissemination/smart10-03-slides.pdf ('''slides pdf''')] | ||
|- | |- | ||
- | | | + | | valign="top" align="right" | 16:45-17:15 |
- | | | + | | '''Static Java Program Features for Intelligent Squash Prediction'''<BR><BR>''Jeremy Singer <sup>1</sup>, Paraskevas Yiapanis <sup>1</sup>, Adam Pocock <sup>1</sup>, Mikel Lujan <sup>1</sup>, Gavin Brown <sup>1</sup>, Nikolas Ioannou <sup>2</sup>, Marcelo Cintra <sup>2</sup>''<BR> |
+ | <sup>1</sup> University of Manchester, UK<BR> | ||
+ | <sup>2</sup> University of Edinburgh, UK | ||
+ | <BR>[http://cTuning.org/dissemination/smart10-04.pdf ('''paper pdf''')] [http://cTuning.org/dissemination/smart10-04-slides.pdf ('''slides pdf''')] | ||
|- | |- | ||
- | | | + | | valign="top" align="right" | 17:15-17:45 |
- | + | | '''Smartlocks: Self-Aware Synchronization through Lock Acquisition Scheduling'''<BR><BR>''Jonathan Eastep, David Wingate, Marco Santambrogio, Anant Agarwal''<BR>MIT, USA | |
+ | <BR>[http://cTuning.org/dissemination/smart10-05.pdf ('''paper pdf''')] [http://cTuning.org/dissemination/smart10-05-slides.pdf ('''slides pdf''')] | ||
|- | |- | ||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
|} | |} | ||
- | |||
- |
Current revision
SMART'10 Workshop Program
Sunday, January 24, 2010
Pisa, Italy
(co-located with HiPEAC 2010 Conference)
14:00-14:05 | SMART'10 Program Chair introduction David Whalley, Florida State University, USA |
14:05-15:00 | Keynote talk: Moving adaptation into individual optimizations Prof. Keith Cooper Rice University, USA Over the past fifteen years, many researchers have tried to address the fundamental problem that a compiler should adapt its behavior to properties of the code presented for compilation. As a result, we have seen approaches that include derivation of scheduling heuristics, discovery of good sets of command-line flags to control compilation, genetic programming, schemes to select and order passes, and approaches that run multiple competing techniques and retain the best result. This talk will focus on issues that arise in building compiler-based optimizations that have internal mechanisms for adaptation. Some optimizations, such as inline substitution, appear to be natural candidates for internal adaptation. Others, such as lazy code motion, do not. The talk will examine some of the issues that make internal adaptation desirable and profitable. It will discuss prior work, current work, and future opportunities. |
15:00-15:30 | Automatic Selection of Machine Learning Models for WCET-aware Compiler Heuristic Generation Paul Lokuciejewski, Marco Stolpe, Katharina Morik, Peter Marwedel TU Dortmund University, Germany |
15:30-15:45 | Coffee Break |
15:45-16:15 | Application Heartbeats: A Generic Interface for Expressing Performance Goals and Progress in Self-Tuning Systems Henry Hoffmann, Jonathan Eastep, Marco Santambrogio, Jason Miller, Anant Agarwal MIT, USA |
16:15-16:45 | Automated Timer Generation for Empirical Tuning Josh Magee, Qing Yi, R. Clint Whaley University of Texas at San Antonio, USA |
16:45-17:15 | Static Java Program Features for Intelligent Squash Prediction Jeremy Singer 1, Paraskevas Yiapanis 1, Adam Pocock 1, Mikel Lujan 1, Gavin Brown 1, Nikolas Ioannou 2, Marcelo Cintra 2 1 University of Manchester, UK |
17:15-17:45 | Smartlocks: Self-Aware Synchronization through Lock Acquisition Scheduling Jonathan Eastep, David Wingate, Marco Santambrogio, Anant Agarwal MIT, USA |