Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and adaptive optimization of parallel programs, parallel programming models and languages, formal analysis and verification of parallel programs, parallel runtime systems and libraries, performance analysis and debugging tools for concurrency and parallelism, parallel algorithms and concurrent data structures, parallel applications, synchronization and concurrency control, software engineering for parallel programs, fault tolerance for parallel systems, and parallel programming and compiling for heterogeneous systems. Front Matter ....Pages i-x A Unified Approach to Variable Renaming for Enhanced Vectorization (Prasanth Chatarasi, Jun Shirako, Albert Cohen, Vivek Sarkar)....Pages 1-20 Design and Performance Analysis of Real-Time Dynamic Streaming Applications (Xuan Khanh Do, Stéphane Louise, Albert Cohen)....Pages 21-36 A Similarity Measure for GPU Kernel Subgraph Matching (Robert Lim, Boyana Norris, Allen Malony)....Pages 37-53 New Opportunities for Compilers in Computer Security (Junjie Shen, Zhi Chen, Nahid Farhady Ghalaty, Rosario Cammarota, Alexandru Nicolau, Alexander V. Veidenbaum)....Pages 54-60 Footmark: A New Formulation for Working Set Statistics (Liang Yuan, Wesley Smith, Sicong Fan, Zixu Chen, Chen Ding, Yunquan Zhang)....Pages 61-69 Towards an Achievable Performance for the Loop Nests (Aniket Shivam, Neftali Watkinson, Alexandru Nicolau, David Padua, Alexander V. Veidenbaum)....Pages 70-77 Extending Index-Array Properties for Data Dependence Analysis (Mahdi Soltan Mohammadi, Kazem Cheshmi, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, Michelle Mills Strout)....Pages 78-93 Optimized Sound and Complete Data Race Detection in Structured Parallel Programs (Kyle Storey, Jacob Powell, Ben Ogles, Joshua Hooker, Peter Aldous, Eric Mercer)....Pages 94-111 Compiler Optimizations for Parallel Programs (Johannes Doerfert, Hal Finkel)....Pages 112-119 MATE, a Unified Model for Communication-Tolerant Scientific Applications (Sergio M. Martin, Scott B. Baden)....Pages 120-137 GASNet-EX: A High-Performance, Portable Communication Library for Exascale (Dan Bonachea, Paul H. Hargrove)....Pages 138-158 Nested Parallelism with Algorithmic Skeletons (Alireza Majidi, Nathan Thomas, Timmie Smith, Nancy Amato, Lawrence Rauchwerger)....Pages 159-175 HDArray: Parallel Array Interface for Distributed Heterogeneous Devices (Hyun Dok Cho, Okwan Kwon, Samuel P. Midkiff)....Pages 176-184 Automating the Exchangeability of Shared Data Abstractions (Jiange Zhang, Qian Wang, Qing Yi, Huimin Cui)....Pages 185-192 Back Matter ....Pages 193-193