Frontmatter

Profiling and Program Analysis

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


@InProceedings{SEPS15p1, author = {Yukinori Sato and Shimpei Sato and Toshio Endo}, title = {Exana: An Execution-Driven Application Analysis Tool for Assisting Productive Performance Tuning}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

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


@InProceedings{SEPS15p11, author = {Faheem Ullah and Thomas R. Gross}, title = {Profiling for Detecting Performance Anomalies in Concurrent Software}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2015}, }

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)


@InProceedings{SEPS15p21, author = {Daichi Fukui and Mamoru Shimaoka and Hiroki Mikami and Dominic Hillenbrand and Hideo Yamamoto and Keiji Kimura and Hironori Kasahara}, title = {Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, }

Modeling Techniques for Parallel Software

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


@InProceedings{SEPS15p31, author = {Luis M. Carril and Walter F. Tichy}, title = {Interleaving Generation for Data Race and Deadlock Reproduction}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2015}, }

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


@InProceedings{SEPS15p41, author = {Marc Kiefer and Daniel Warzel and Walter F. Tichy}, title = {An Empirical Study on Parallelism in Modern Open-Source Projects}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, }

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)


@InProceedings{SEPS15p51, author = {Amine Benelallam and Abel Gómez and Massimo Tisi}, title = {ATL-MR: Model Transformation on MapReduce}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2015}, }

Performance Tuning and Auto-tuning

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


@InProceedings{SEPS15p61, author = {Shimpei Sato and Yukinori Sato and Toshio Endo}, title = {Investigating Potential Performance Benefits of Memory Layout Optimization Based on Roofline Model}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, }

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)


@InProceedings{SEPS15p71, author = {Kanemitsu Ootsu and Yutaka Matsuno and Takeshi Ohkawa and Takashi Yokota and Takanobu Baba}, title = {Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2015}, }

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


@InProceedings{SEPS15p81, author = {Kanika Sood and Boyana Norris and Elizabeth Jessup}, title = {Lighthouse: A Taxonomy-Based Solver Selection Tool}, booktitle = {Proc.\ SEPS}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, }

proc time: 0.7