Title Page

Preface

Exana: An Execution-Driven Application Analysis Tool for Assisting Productive Performance Tuning
Yukinori Sato, Shimpei Sato, and Toshio Endo
(Tokyo Institute of Technology, Japan)

Profiling for Detecting Performance Anomalies in Concurrent Software
Faheem Ullah and Thomas R. Gross
(ETH Zurich, Switzerland)

Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Daichi Fukui, Mamoru Shimaoka, Hiroki Mikami, Dominic Hillenbrand, Hideo Yamamoto, Keiji Kimura, and Hironori Kasahara
(Waseda University, Japan)

Interleaving Generation for Data Race and Deadlock Reproduction
Luis M. Carril and Walter F. Tichy
(KIT, Germany)

An Empirical Study on Parallelism in Modern Open-Source Projects
Marc Kiefer, Daniel Warzel, and Walter F. Tichy
(KIT, Germany)

ATL-MR: Model Transformation on MapReduce
Amine Benelallam, Abel Gómez, and Massimo Tisi
(AtlanMod, France; INRIA, France; École des Mines de Nantes, France; University of Zaragoza, Spain)

Investigating Potential Performance Benefits of Memory Layout Optimization Based on Roofline Model
Shimpei Sato, Yukinori Sato, and Toshio Endo
(Tokyo Institute of Technology, Japan)

Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Kanemitsu Ootsu, Yutaka Matsuno, Takeshi Ohkawa, Takashi Yokota, and Takanobu Baba
(Utsunomiya University, Japan; Mitsubishi Electric Information Network, Japan)

Lighthouse: A Taxonomy-Based Solver Selection Tool
Kanika Sood, Boyana Norris, and Elizabeth Jessup
(University of Oregon, USA; University of Colorado at Boulder, USA)

Info