Specific topics of interest include (but are not limited to): Parallel programming theory and models Formal analysis and verification Parallel programming languages Compilers and runtime systems for parallel and heterogeneous systems Task-parallel libraries Parallel application frameworks Software productivity for parallel programming Middleware for parallel systems Performance analysis, debugging and optimization Development, analysis, or management tools Parallel algorithms Parallel applications Concurrent data structures Synchronization and concurrency control Software engineering for parallel programs Fault tolerance for parallel systems Software for heterogeneous architectures Programming tools for parallel and heterogeneous systems Parallelism in non-scientific workloads: web servers, search, analytics, cloud computing