首页>外文会议>ACM SIGPLAN symposium on principles and practice of parallel programming

ACM SIGPLAN symposium on principles and practice of parallel programming

召开年：2012
召开地：New Orleans, LA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Lock-Free, Array-Based Priority Queue

机译：基于阵列的无锁优先队列
- 作者：Yujie Liu;Michael Spear
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Lock-Free;
- Linearizability;
- Randomization;
- Heap;
- Priority Queue;
- Synchronization;
- Mound;
2.An Infrastructure for Dynamic Optimization of Parallel Programs

机译：动态优化并行程序的基础架构
- 作者：Albert Noll;Thomas R. Gross
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel programming;
- performance;
- JIT compilation;
3.Automatic Datatype Generation and Optimization

机译：自动数据类型生成和优化
- 作者：Fredrik Kjolstad;Torsten Hoefler;Marc Snir
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- MPI;
- Datatypes;
- Compiler Technique;
- Refactoring;
4.NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness

机译：NDetermin：推论并行性正确性的不确定性顺序规范
- 作者：Jacob Burnim;Tayfun Elmas;George Necula;Koushik Sen
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
5.Concurrent Breakpoints

机译：并发断点
- 作者：Chang-Seo Park;Koushik Sen
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
6.Establishing a Miniapp as a Programmability Proxy

机译：将Miniapp建立为可编程代理
- 作者：Andrew I. Stone;John M. Dennis;Michelle Mills Strout
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Programmability Proxy;
- miniapp;
- benchmark;
- POP;
- conjugate gradient;
- parallel programming;
7.OpenMP-style Parallelism in Data-Centered Multicore Computing with R

机译：使用R的以数据为中心的多核计算中的OpenMP风格并行
- 作者：Lei Jiang;Pragneshkumar B. Patel;Ferdinand Jamitzky;George Ostrouchov
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- parallelization;
- domain specific language;
- automatic code generation;
- data-centered applications;
- MapReduce;
8.Performance Analysis of Parallel Constraint-Based Local Search

机译：基于并行约束的局部搜索性能分析
- 作者：Yves Caniou;Daniel Diaz;Florian Richoux;Philippe Codognet;Salvador Abreu
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- combinatorial optimization;
- meta-heuristics;
- parallelism;
- implementation;
- Constraints;
- local search;
9.Scalable Parallel Minimum Spanning Forest Computation

机译：可扩展并行最小生成林计算
- 作者：Sadegh Nobari;Thanh-Tung Cao;Panagiotis Karras;Stephane Bressan
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel Graph Algorithms;
- Minimum Spanning Forest;
- GPU;
10.GKLEE: Concolic Verification and Test Generation for GPUs

机译：GKLEE：用于GPU的Concolic验证和测试生成
- 作者：Guodong Li;Peng Li;Geof Sawaya;Indradeep Ghosh
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- GPU;
- CUDA;
- Parallelism;
- Symbolic Execution;
- Formal Verification;
- Automatic Test Generation;
- Virtual Machine;
11.Algorithm-based Fault Tolerance for Dense Matrix Factorizations

机译：密集矩阵分解的基于算法的容错
- 作者：Peng Du;Aurelien Bouteiller;George Bosilca;Thomas Herault;Jack Dongarra
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- ABFT;
- Fault-tolerance;
- Fail-stop failure;
- LU;
- QR;
12.Efficient Deadlock Avoidance for Streaming Computation with Filtering

机译：通过过滤有效避免死锁
- 作者：Jeremy D. Buhler;Kunal Agrawal;Peng Li;Roger D. Chamberlain
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Deadlock Avoidance;
- Graph Theory;
- Streaming Computation;
13.Lock Cohorting: A General Technique for Designing NUMA Locks

机译：锁群组：设计NUMA锁的通用技术
- 作者：David Dice;Virendra J. Marathe;Nir Shavit
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- NUMA;
- hierarchical locks;
- spin locks;
14.Revisiting the Combining Synchronization Technique

机译：再谈组合同步技术
- 作者：Panagiota Fatourou;Nikolaos D. Kallimanis
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Synchronization techniques;
- combining;
- hierarchical algorithms;
- blocking algorithms;
- concurrent data structures;
15.A Work-Stealing Scheduler for X10's Task Parallelism with Suspension

机译：带有暂停功能的X10任务并行性的窃取工作调度程序
- 作者：Olivier Tardieu;Haichuan Wang;Haibo Lin
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Scheduling;
- Task Parallelism;
- Work-Stealing;
- X10;
16.Automatic Communication Optimizations Through Memory Reuse Strategies

机译：通过内存重用策略实现自动通信优化
- 作者：Muthu Baskaran;Nicolas Vasilache;Benoit Meister;Richard Lethin
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Data reuse;
- Memory reuse;
- Data transfer optimization;
17.FlexBFS: A Parallelism-aware Implementation of Breadth-First Search on GPU

机译：FlexBFS：GPU上广度优先搜索的并行感知实现
- 作者：Gu Liu;Hong An;Wenting Han;Xiaoqiang Li;Tao sun;Wei Zhou;Xuechao Wei;Xulong Tang
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Graph algorithms;
- Breadth-first Search;
- CUDA;
- GPGPU;
18.Programming Parallel Embedded and Consumer Applications in OpenMP Superscalar

机译：在OpenMP Superscalar中对并行嵌入式和消费类应用程序进行编程
- 作者：Michael Andersch;Chi Ching Chi;Ben Juurlink
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- OpenMP Superscalar;
- OmpSs;
- Embedded;
- Consumer;
19.An Overview of Medusa: Simplified Graph Processing on GPUs

机译：美杜莎概述：GPU上的简化图形处理
- 作者：Jianlong Zhong;Bingsheng He
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- GPGPU;
- GPU Programming;
- Graph Processing;
- Runtime Framework;
20.Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA

机译：优化卸载内核的远程访问：在FPGA的高级综合中的应用
- 作者：Christophe Alias;Alain Darte;Alexandra Plesco
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Polyhedral optimizations;
- communication coalescing;
- pipelined processes;
- DDR memory;
- FPGA;
- HLS;
21.Using GPU's to Accelerate Stencil-based Computation Kernels for the Development of Large Scale Scientific Applications on Heterogeneous Systems

机译：使用GPU加速基于模板的计算内核，以开发异构系统上的大规模科学应用程序
- 作者：Jian Tao;Marek Blazewicz;Steven R. Brandt
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- GPGPU Programming;
- Computational Framework;
- HPC;
- Stencil Computation;
22.Mechanizing the Expert Dense Linear Algebra Developer

机译：机械化专家级密集线性代数开发人员
- 作者：Bryan Marker;Robert van de Geijn;Don Batory;Andy Terrel;Jack Poulson
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
23.The Boat Hull Model: Adapting the Roofline Model to Enable Performance Prediction for Parallel Computing

机译：船体模型：修改车顶线模型以实现并行计算的性能预测
- 作者：Cedric Nugteren;Henk Corporaal
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel computing;
- performance prediction;
- manycore accelerators;
- the roofline model;
24.Speculative Parallelization on GPGPUs

机译：GPGPU上的投机并行化
- 作者：Min Feng;Rajiv Gupta;Laximi N. Bhuyan
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Performance;
25.Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization

机译：调整多面体模型作为有效的投机并行化框架
- 作者：Alexandra Jimborean;Philippe Clauss;Benott Pradelle;Luis Mastrangelo;Vincent Loechner
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Speculative parallelization;
- dynamic system;
- polyhedral model;
- dynamic code transformations;
26.An Overview of CMPI: Network Performance Aware MPI in the Cloud

机译：CMPI概述：云中的网络性能感知MPI
- 作者：Yifan Gong;Bingsheng He;Jianlong Zhong
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- MPI;
- Collective Communication Operations;
- Cloud Computing;
- Scientific Computing;
27.OpenCL as a Unified Programming Model for Heterogeneous CPU/GPU Clusters

机译：OpenCL作为异构CPU / GPU集群的统一编程模型
- 作者：Jungwon Kim;Sangmin Seo;Jun Lee;Jeongho Nah;Gangwon Jo;Jaejin Lee
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- OpenCL;
- Clusters;
- Heterogeneous computing;
- Programming models;
28.BDDT: Block-level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism

机译：BDDT：确定性基于任务的并行性的块级动态相关性分析
- 作者：George Tzenakis;Angelos Papatriantafyllou;John Kesapides;Polyvios Pratikakis;Hans Vandierendonck;Dimitrios S. Nikolopoulos
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Performance;
29.Portable Parallel Performance from Sequential, Productive, Embedded Domain-Specific Languages

机译：顺序，高效，嵌入式领域特定语言的可移植并行性能
- 作者：Shoaib Kamil;Derrick Coetzee;Scott Beamer;Henry Cook;Ekaterina Gonina;Jonathan Harper;Jeffrey Morlan;Armando Fox
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Asp;
- SEJITS;
- Python;
- Domain-Specific Languages;
30.Communication-Centric Optimizations by Dynamically Detecting Collective Operations

机译：通过动态检测集体行动以通讯为中心的优化
- 作者：Torsten Hoefler;Timo Schneider
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Collective Communication;
- Parallel Compiler Optimization;
- Parallel Dataflow;
31.LHlf: Lock-free Linear Hashing (poster paper)

机译：LHlf：无锁线性哈希（海报纸）
- 作者：Donghui Zhang;Per-Ake Larson
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- lock-free;
- hash table;
- linear hashing;
- split-order;
32.Wait-Free Linked-Lists

机译：无等待链接列表
- 作者：Shahar Timnat;Anastasia Braginsky;Alex Kogan;Erez Petrank
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Alsorithms;
- Design;
- Performance;
33.Scalable Parallel Debugging with Statistical Assertions

机译：具有统计断言的可扩展并行调试
- 作者：Minh Ngoc Dinh;David Abramson;Chao Jin;Andrew Gontarek;Bob Moench;Luiz DeRose
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- parallel debugging;
- statistic;
- assertion;
34.Verification of Software Barriers

机译：验证软件障碍
- 作者：Alexander Malkis;Anindya Banerjee
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- software;
- barrier;
- verification;
- invariant;
- safely;
- verifier;
- counting;
- central;
- dissemination;
- tournament;
- static;
- combining;
- implementation;
- client;
35.Collective Algorithms for Sub-communicators

机译：子通信器的集体算法
- 作者：Anshul Mittal;Thomas George;Nikhil Jain;Sameer Kumar
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Collectives;
- Torus;
- Sub-communicators;
36.Synchronization Views for Event-loop Actors

机译：事件循环参与者的同步视图
- 作者：Joeri De Koster;Stefan Marr;Theo DHondt
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Actor Model;
- Synchronization;
- Data Parallelism;
37.CPHASH: A Cache-Partitioned Hash Table

机译：CPHASH：缓存分区的哈希表
- 作者：Zviad Metreveli;Nickolai Zeldovich;M. hrans Kaashoek
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Design;
- Performance;
38.RACECAR: A Heuristic for Automatic Function Specialization on Multi-core Heterogeneous Systems

机译：RACECAR：多核异构系统上自动功能专业化的启发式方法
- 作者：John R. Wernsing;Dr. Greg Stitt
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- elastic computing;
- heterogeneous;
- optimization;
- RACECAR;
- speedup;
39.S: a Scripting Language for High-Performance RESTful Web Services

机译：S：高性能RESTful Web服务的脚本语言
- 作者：Daniele Bonetta;Achille Peternier;Cesare Pautasso;Walter Binder
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- RESTful Web services;
- Multicores;
- Scalable service execution;
40.A GPU Implementation of Inclusion-based Points-to Analysis

机译：基于包含的指向分析的GPU实现
- 作者：Mario Mendez-Lojo;Martin Burtscher;Keshav Pingali
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Inclusion-based Points-to Analysis;
- Irregular Programs;
- Graph Algorithms;
- GPU;
- CUDA;
41.Scalable GPU Graph Traversal

机译：可扩展的GPU图遍历
- 作者：Duane Merrill;Michael Garland;Andrew Grimshaw
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Breadth-first search;
- GPU;
- graph algorithms;
- parallel algorithms;
- prefix sum;
- graph traversal;
- sparse graph;
42.GPU-based NFA Implementation for Memory Efficient High Speed Regular Expression Matching

机译：基于GPU的NFA实现，可实现内存高效的高速正则表达式匹配
- 作者：YuanZu;Ming Yang;Zhonghu Xu;Lin Wang;Xin Tian;Kunyang Peng;QunfengDong
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- CUDA;
- Deep Packet Inspection;
- GPU;
- NFA;
- Pattern Matching;
- Regular Expression Matching;
43.A Methodology for Creating Fast Wait-Free Data Structures

机译：创建快速免等待数据结构的方法
- 作者：Alex Kogan;Erez Petrank
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Concurrent data structures;
- non-blocking synchronization;
- wait-free queues;
- lock-free algorithms;
44.Concurrent Tries with Efficient Non-Blocking Snapshots

机译：并发尝试高效的非阻塞快照
- 作者：Aleksandar Prokopec;Nathan G. Bronson;Phil Bagwell;Martin Odersky
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- hash trie;
- concurrent data structure;
- snapshot;
- non-blocking;
45.A Speculation-Friendly Binary Search Tree

机译：推测友好的二进制搜索树
- 作者：Tyler Crain;Vincent Gramoli;Michel Raynal
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Background Rebalancing;
- Optimistic Concurrency;
- Transactional Memory;
46.Parray: A Unifying Array Representation for Heterogeneous Parallelism

机译：Parray：异构并行的统一数组表示形式
- 作者：Yifeng Chen;Xiang Cui;Hong Mei
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel Programming;
- Array Representation;
- Heterogeneous Parallelism;
- GPU Clusters;
47.Internally Deterministic Parallel Algorithms Can Be Fast

机译：内部确定性并行算法可能很快
- 作者：Guy E. Blelloch;Jeremy T. Fineman;Phillip B. Gibbons;Julian Shun
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel algorithms;
- deterministic parallelism;
- parallel programming;
- commutative operations;
- graph algorithms;
- geometry algorithms;
- sorting;
- string processing;
48.Deterministic Parallel Random-Number Generation for Dynamic-Multithreading Platforms

机译：动态多线程平台的确定性并行随机数生成
- 作者：Charles E. Leiserson;Tao B. Schardl;Jim Sukha
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Cilk;
- determinism;
- dynamic multithreading;
- nondeterminism;
- parallel computing;
- pedigree;
- random-number generator;
49.Chairs' Welcome

机译：主席欢迎
- 作者：P.(Saday)Sadayappan;J. (Ram) Ramanujam
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
50.Scalable Framework for Mapping Streaming Applications onto Multi-GPU Systems

机译：用于将流应用程序映射到多GPU系统的可扩展框架
- 作者：Huynh Phung Huynh;Andrei Hagiescu;Weng-Fai Wong;Rick Siow Mong Goh
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Algorithms;
- Performance;
- Design;
51.A Performance Analysis Framework for Identifying Potential Benefits in GPGPU Applications

机译：用于识别GPGPU应用程序中潜在利益的性能分析框架
- 作者：Jaewoong Sim;Aniruddha Dasgupta;Hyesoon Kim;Richard Vuduc
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- CUDA;
- GPGPU architecture;
- Analytical model;
- Performance benefit prediction;
- Performance prediction;
52.Efficient Performance Evaluation of Memory Hierarchy for Highly Multithreaded Graphics Processors

机译：高度多线程图形处理器的内存层次结构的有效性能评估
- 作者：Sara S. Baghsorkhi;Isaac Gelado;Matthieu Delahaye;Wen-mei W. Hwu
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- GPU;
- Memory hierarchy;
- Performance evaluation;
53.Communication Avoiding Symmetric Band Reduction

机译：避免对称频带减少的通信
- 作者：Grey Ballard;James Demmel;Nicholas Knight
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Symmetric eigenvalue problem;
- Communication avoiding algorithms;
- Band reduction;
54.Faster Topology-aware Collective Algorithms Through Non-minimal Communication

机译：通过非最小通信实现更快的拓扑感知集体算法
- 作者：Paul Sack;William Gropp
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Collective-communication algorithms;
55.Efficient SIMD Code Generation for Irregular Kernels

机译：针对不规则内核的高效SIMD代码生成
- 作者：Seonggun Kim;Hwansoo Han
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- DFG-based vectorization;
- Irregular kernels;
- SIMD processors;
56.Extending a C-like Language for Portable SIMD Programming

机译：扩展类C语言用于可移植SIMD编程
- 作者：Roland Leissa;Sebastian Hack;Ingo Wald
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- language theory;
- parallel programming;
- polymorphism;
- semantics;
- SIMD;
- SIMT;
- type system;
- vectorization;
57.A Hybrid Approach of OpenMP for Clusters

机译：集群的OpenMP混合方法
- 作者：Okwan Kwon;Failed Jubair;Rudolf Eigenmann;Samuel Midkiff
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- OpenMP;
- MPI;
- Translator;
- Optimization;
- Hybrid;
- Runtime Data Row Analysis;
- Runtime Environment;
58.DOJ: Dynamically Parallelizing Object-Oriented Programs

机译：DOJ：动态并行化面向对象的程序
- 作者：Yong hun Eom;Stephen Yang;James C. Jenista;Brian Demsky
- 会议名称：《ACM SIGPLAN symposium on principles and practice of parallel programming》 | 2012年
- Parallel Programming;
- Dynamic Analysis;
- Object-Oriented Analysis;
- Heap Analysis;
- Parallelization;