Virtual Institute — High Productivity Supercomputing

4th Wksp on Productivity & Performance (PROPER 2011)

at Euro-Par 2011 Conference, Bordeaux, France, 30 August 2011

Driven by current trends in microprocessor design, the number of processor cores on modern supercomputers grows rapidly from generation to generation. As a consequence, applications need to harness much higher degrees of parallelism in order to satisfy their growing demands for computing power.

Writing code that runs correctly and efficiently on large numbers of processors and cores is extraordinary challenging. The increased concurrency levels place higher demands on the application development process and thus require adequate tool support for debugging and performance analysis. The PROPER workshop will serve as a forum to present novel work on scalable methods and tools for high-performance computing. The workshop covers parallel program development and analysis, debugging, correctness checking, and performance measurement and evaluation. Further topics include the integration of tools with compilers and the overall development environment as well as success stories reporting optimization or improvements of parallel scalability achieved using tools.

The workshop is supported by the Virtual Institute - High Productivity Supercomputing (VI-HPS), an initiative to promote the development and integration of HPC programming tools.

Workshop Topics


  • tools and tool approaches for parallel program development and analysis
  • correctness checking
  • performance measurement and evaluation
  • success stories about optimization or parallel scalability achieved using tools


Paper Submission

All submissions will undergo a review by at least three reviewers. We welcome submissions of full papers not exceeding 10 pages in Springer LNCS format. Please send your submissions via EasyChair. See Instructions for Authors for more details.

Important Dates


  • June 6th: submission deadline for papers
  • June 30th: notification of acceptance
  • August 14th: camera ready papers due


Instructions for authors

Papers are limited to 10 pages (bying additional pages is not possible, main font size 11 points) and should be applied in Latex source form (pdf and latex files should be handed in as zip-file).
All accepted papers will be included in the conference proceedings, published by Springer in the LNCS series. Authors of accepted papers will be required to sign up a Springer copyright form.
At least one author of an accepted paper must register for and attend the workshop for inclusion in the proceedings.
more Information for the authors: here
Download Latex LNCS: here

Details instructions


  • all the files necessary to build the file need to be included - including all libraries
  • delete all temporary files such as *.aux, *.bbl and *.log
  • figures need to be in a separate directory (case sensitive), eps being preferred
  • the main.tex file should explicitly specify the coding system (\usepackage[latin1]{inputenc}, for instance), so that it can be compiled on any operating system




  • package: .zip
  • pdf: "original.pdf" (NOT main.pdf) to enable comparing compiled to posted output
  • paper source in a single file: main.tex
  • bibliography in a single file: main.bib
  • copyright form: _copyrightform.pdf


Workshop Chair

Michael Gerndt, phone +49 89 289 17652

Program Committee:


  • Andreas Knüpfer, TU Dresden
  • Dieter an Mey, RWTH Aachen
  • Jens Doleschal, TU Dresden
  • Karl Fürlinger, University of California at Berkeley
  • Michael Gerndt, TU München
  • Allen Malony, University of Oregon
  • Shirley Moore, University of Tennessee
  • Matthias Müller, TU Dresden
  • Martin Schulz, Lawrence Livermore National Lab
  • Felix Wolf, German Research School for Simulation Sciences
  • Josef Weidendorfer, TU München
  • Shajulin Benedict, St. Xavier's College, India
  • Beniamino Di Martino, Seconda Università di Napoli
  • Torsten Höfler, University of Illinois


Workshop Program


Session 1, 9:30-11:00: Programming Interfaces, Session Chair: Felix Wolf


  • Invited Presentation: Challenges of programming environment and tools for peta-scale computers -- programming environment researches for the K computer --- , Mitsuhisa Sato, University of Tsukuba / RIKEN AICS
  • Regular Presentation: Scout: A Source-to-Source Transformator for SIMD-Optimizations, Olaf Krzikalla and Kim Feldhoff


Session 2, 11:30-13:00: Performance Analysis Tools,
Session Chair: Michael Gerndt


  • Scalable Automatic Performance Analysis on IBM BlueGene/P Supers, Yury Oleynik and Michael Gerndt
  • An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool (PDF), Wyatt Spear, Allen Malony, Chee Wai Lee, Scott Biersdorff and Sameer Shende
  • INAM - A Scalable InfiniBand Network Analysis and Monitoring Tool (PDF), Nishanth Dandapanthula, Hari Subramoni, Jerome Vienne, Krishna Chaitanya Kandalla, Sayantan Sur, Dhabaleswar Panda and Ron Brightwell


Session 3, 14:30-16:00: Performance Tuning,
Session Chair: Allen Malony


  • Auto-tuning for Energy Usage in Scientific Applications (PDF), Ananta Tiwari, Michael A. Laurenzano, Laura Carrington and Allan Snavely
  • Automatic Source Code Transformation for GPUs based on Program Comprehension (PDF), Pasquale Cantiello and Beniamino Di Martino
  • Enhancing Brainware Productivity through a Performance Tuning Workflow, Christian Iwainsky, Ralph Altenfeld, Dieter An Mey and Christian Bischof