A Unified Approach to Variable Renaming for Enhanced Vectorization.- Design and Performance Analysis of Real-time Dynamic Streaming Applications.- A Similarity Measure for GPU Kernel Subgraph Matching.- New Opportunities for Compilers in Computer Security.- Footmark: A New Working Set Definition.- Towards an Achievable Performance for the Loop Nests.- Extending Index-Array Properties for Data Dependence Analysis.- Optimized Sound and Complete Data Race Detection in Structured Parallel Programs.- Compiler Optimizations for Parallel Programs.- MATE, a Unified Model for Communication-Tolerant Scientific Applications.- GASNet-EX: A High-Performance, Portable Communication Library for Exascale.- Nested Parallelism with Algorithmic Skeletons.- HDArray: Parallel Array Interface for Distributed Heterogeneous Devices.- Automating the Exchangeability of Shared Data Abstractions.