yusuke1997/dblp-id-title huggingface dataset:
Active pebbles: a programming model for highly parallel fine-grained data-driven computations
Recurrence Analysis for Automatic Parallelization of Subscripted Subscripts
Effective communication and computation overlap with hybrid MPI/SMPSs
Scaling concurrent queues by using HTM to profit from failed atomic operations
Mechanizing the expert dense linear algebra developer
Towards Singular Value Decomposition for Rank-Deficient Matrices: An Efficient and Accurate Algorithm on GPU Architectures
Stack-based parallel recursion on graphics processors
Improving the Accuracy of Data Race Detection
Dopia: online parallelism management for integrated CPU/GPU architectures
Data-only flattening for nested data parallelism
Adding approximate counters
A GPU memory efficient speed-up scheme for training ultra-deep neural networks: poster
ARMI: an adaptive, platform independent communication library
Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract)
LogP: Towards a Realistic Model of Parallel Computation
Compiler support for near data computing
Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2025, Las Vegas, NV, USA, March 1-5, 2025
Fault detection in multi-threaded c++ server applications
A tool to analyze the performance of multithreaded programs on NUMA architectures
A case for secure and scalable hypervisor using safe language
Performance modeling for GPUs using abstract kernel emulation
Efficiently reclaiming memory in concurrent search data structures while bounding wasted memory
Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud
Wait-free queues with multiple enqueuers and dequeuers
Space and Time Efficient Execution of Parallel Irregular Computation
Compiler techniques for high performance sequentially consistent java programs
Array dataflow analysis for polyhedral X10 programs
Dynamic Instrumentation of Threaded Applications
Optimistic concurrency with OPTIK
A Static Performance Estimator to Guide Data Partitioning Decisions
Blockchain abstract data type: poster
POSTER: Optimizing Sparse Tensor Contraction with Revisiting Hash Table Design
Boosting Performance and QoS for Concurrent GPU B+trees by Combining-Based Synchronization
Compiling Fortran 8x Array Features for the Connection Machine Computer System
Fault tolerant high performance computing by a coding approach
Transactional memory with strong atomicity using off-the-shelf memory protection hardware
Function flow: making synchronization easier in task parallelism
Lock-free locks revisited
An evaluation of current SIMD programming models for C++
Large-Scale Parallel Programming: Experience with the BBN Butterfly Parallel Processor
Detecting and reproducing error-code propagation bugs in MPI implementations
On the parallel I/O optimality of linear algebra kernels: near-optimal LU factorization
Bulk synchronous visualization
Cache-tries: concurrent lock-free hash tries with constant-time operations
Self-adaptive applications on the grid
Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation
Static/Dynamic validation of MPI collective communications in multi-threaded context
zBuffer: Zero-Copy and Metadata-Free Serialization for Fast RPC with Scatter-Gather Reflection
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency
Multiverse: Transactional Memory with Dynamic Multiversioning
Exploiting the input sparsity to accelerate deep neural networks: poster
Multitasking Real-time Embedded GPU Computing Tasks
LibRTS: A Spatial Indexing Library by Ray Tracing
Load balancing on speed
LogGPS: a parallel computational model for synchronization analysis
Memory Bounds for Concurrent Bounded Queues
SPIDER: Unleashing Sparse Tensor Cores for Stencil Computation via Strided Swapping
Design and analysis of CXL performance models for tightly-coupled heterogeneous computing
MixFusion: A Patch-Level Parallel Serving System for Mixed-Resolution Diffusion Models
Effective resource management for enhancing performance of 2D and 3D stencils on GPUs
Proceedings of the 9th Annual Workshop on General Purpose Processing using Graphics Processing Unit, GPGPU@PPoPP 2016, Barcelona, Spain, March 12 - 16, 2016
A Framework for Developing Parallel Applications with high level Tasks on Heterogeneous Platforms
FastLane: improving performance of software transactional memory for low thread counts
McRT-STM: a high performance software transactional memory system for a multi-core runtime
Effective communication coalescing for data-parallel applications
Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2023, Montreal, QC, Canada, 25 February 2023 - 1 March 2023
Safe privatization in transactional memory
Checking linearizability using hitting families
Improving performance of SYCL applications on CPU architectures using LLVM-directed compilation flow
Improving communication by optimizing on-node data movement with data layout
Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
Automatic scalable atomicity via semantic locking
High performance locks for multi-level NUMA systems
Simplifying programming and load balancing of data parallel applications on heterogeneous systems
POSTER: Automated Load Balancer Selection Based on Application Characteristics
Production-guided concurrency debugging
Conservative vs. optimistic parallelization of stateful network intrusion detection
Investigating the semantics of futures in transactional memory systems
INFINEL: An efficient GPU-based processing method for unpredictable large output graph queries
Improving efficacy of internal binary search trees using local recovery
Structure-driven optimizations for amorphous data-parallel programs
Compile-time Techniques for Efficient Utilization of Parallel Memories
Register-based implementation of the sparse general matrix-matrix multiplication on GPUs
Multi-core on-the-fly SCC decomposition
Usuba: Optimizing & Trustworthy Bitslicing Compiler
Crystality: A Programming Model for Smart Contracts on Parallel EVMs
Implicit parallelism with ordered transactions
A comparison of programming models for multiprocessors with explicitly managed memory hierarchies
Investigating automatic vectorization for real-time 3D scene understanding
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences
Harnessing Extreme Heterogeneity for Ocean Modeling with Tensors
Automated application-level checkpointing based on live-variable analysis in MPI programs
Disens: scalable distributed sensor network simulation
The pilot library for novice MPI programmers
POSTER: Provably Efficient Scheduling of Cache-Oblivious Wavefront Algorithms
GRace: a low-overhead mechanism for detecting data races in GPU programs
Compiler aided manual speculation for high performance concurrent data structures
A performance analysis framework for identifying potential benefits in GPGPU applications
Adaptive sparse tiling for sparse matrix multiplication
Distributed Halide
Extending MapReduce framework with locality keys
Extending a C-like language for portable SIMD programming
X10-FT: transparent fault tolerance for APGAS language and runtime
Verifying C11-style weak memory libraries
Swift Unfolding of Communities: GPU-Accelerated Louvain Algorithm
NUMA-aware graph-structured analytics
Parallel programming challenges for Internet-scale computing (entropia)
A coordinated tiling and batching framework for efficient GEMM on GPUs
Big Atomics and Fast Hash Tables
A GPU implementation of inclusion-based points-to analysis
Atomic quake: using transactional memory in an interactive multiplayer game server
An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs
A tunable holistic resiliency approach for high-performance computing systems
Shared Memory Performance Profiling
Ace: Linguistic Mechanisms for Customizable Protocols
Parallel programming and code selection in fortress
MagPIe: MPI's Collective Communication Operations for Clustered Wide Area Systems
Optimizing irregular shared-memory applications for distributed-memory systems
Launch-Time Optimization of OpenCL GPU Kernels
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), Atlanta, Georgia, USA, May 4-6, 1999
A decomposition for in-place matrix transposition
High level transforms for SIMD and low-level computer vision algorithms
S-Caffe: Co-designing MPI Runtimes and Caffe for Scalable Deep Learning on Modern GPU Clusters
Data layout optimization for GPGPU architectures
<u>G</u>PU <u>i</u>nitiated <u>O</u>penSHMEM: correct and efficient intra-kernel networking for dGPUs
Toward terabyte pattern mining: an architecture-conscious solution
Towards fair and efficient SMP virtual machine scheduling
Space-Efficient Implementation of Nested Parallelism
Trace driven dynamic deadlock detection and reproduction
Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations
Towards concurrency refactoring for x10
Auto-vectorizing a large-scale production unstructured-mesh CFD application
High-performance Visual Semantics Compression for AI-Driven Science
A performance-oriented comparative study of the Chapel high-productivity language to conventional programming environments
Rethinking Thread Scheduling under Oversubscription: A User-Space Framework for Coordinating Multi-runtime and Multi-process Workloads
OpenCL framework for ARM processors with NEON support
Programming with tiles
ScaleServe: a scalable multi-GPU machine learning inference system and benchmarking suite
SIMDizing pairwise sums: a summation algorithm balancing accuracy with throughput
Modeling wildcard-free MPI programs for verification
Parallelizing Algorithms for Symbolic Computation using ||MAPLE||
High performance computing of fiber scattering simulation
PRISM: An Efficient GPU-Based Lossy Compression Framework for Progressive Data Retrieval with Multi-Level Interpolation
Kite: efficient and available release consistency for the datacenter
VerifiedFT: a verified, high-performance precise dynamic race detector
PMAM@PPoPP 2022: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores, Virtual Event / Seoul, Republic of Korea, April 2 - 6, 2022
Toward efficient and robust software speculative parallelization on multiprocessors
Scheduling HPC workloads on heterogeneous-ISA architectures: poster
Flow Driven GPGPU Programming combining Textual and Graphical Programming
Corrected trees for reliable group communication
Stream processing with dependency-guided synchronization
POSH: a TLS compiler that exploits program structure
POSTER: FineCo: Fine-grained Heterogeneous Resource Management for Concurrent DNN Inferences
Reordering constraints for pthread-style locks
Multi-stage programming for GPUs in C++ using PACXX
A Diagonal Block Memory-Aware Polynomial Preconditioner for Linear and Eigenvalue Solvers
CuPBoP: A Framework to Make CUDA Portable
Optimal Schedules for Parallel Prefix Computation with Bounded Resources
CompactNet: Platform-Aware Automatic Optimization for Convolutional Neural Networks
Extending ILUPACK with a Task-Parallel Version of BiCG for Dual-GPU Servers
GPUpIO: the case for I/O-driven preemption on GPUs
An Open Environment for Building Parallel Programming Systems
Low power cache architectures with hybrid approach of filtering unnecessary way accesses
Encapsulated open nesting for STM: fine-grained higher-level conflict detection
Revealing parallel scans and reductions in sequential loops through function reconstruction
POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime
Fast Parallel Exact Inference on Bayesian Networks
Exploiting task-level concurrency in a programmable network interface
Cacheman: A Comprehensive Last-Level Cache Management System for Multi-tenant Clouds
CRA: a dynamic task allocation algorithm for many-core processor
Debugging programs that use atomic blocks and transactional memory
GKLEE: concolic verification and test generation for GPUs
A wait-free NCAS library for parallel applications with timing constraints
The Integration of Application and System Based Metrics in a Parallel Program Performance Tool
Analysis of Event Synchronization in A Parallel Programming Tool
Identifying scalability bottlenecks for large-scale parallel programs with graph analysis
Exploring parallelism in volume ray casting: understanding the programming issues of multithreaded accelerators
Jiffy: a lock-free skip list with batch updates and snapshots
Optimizing batched Winograd convolution on GPUs
OrcGC: automatic lock-free memory reclamation
Tetris: Accelerating Sparse Convolution by Exploiting Memory Reuse on GPU
Pyjama: OpenMP-like implementation for Java, with GUI extensions
Porting and Evaluation of a Distributed Task-driven Stencil-based Application
ULCC: a user-level facility for optimizing shared cache performance on multicores
Swift/T: scalable data flow programming for many-task applications
X10: concurrent programming for modern architectures
Exploring OpenMP GPU Offloading for Implementing Convolutional Neural Networks
Exploring the Use of WebAssembly in HPC
Samsara parallel: a non-BSP parallel-in-time model
Networks beat pipelines: the design of FG 2.0
Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems
FastBWA: Practical and Cost-Efficient Genome Sequence Alignment Pipeline
TurboTransformers: an efficient GPU serving system for transformer models
Cognitive computing journey
High Performance FORTRAN for Highly Unstructured Problems
Synchronized-by-Default Concurrency for Shared-Memory Systems
Small SIMD Matrices for CERN High Throughput Computing
A Linear-Time Algorithm for Computing the Memory Access Sequence in Data-Parallel Programs
A performance study of Java garbage collectors on multicore architectures
Concurrent hash tables: fast and general?(!)
Reduction to Tridiagonal Form for Symmetric Eigenproblems on Asymmetric Multicore Processors
Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources
PMAM@PPoPP '20: Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores colocated with the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22, 2020
Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster
Lease/release: architectural support for scaling contended data structures
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap
Transactional collection classes
Causal consistency: beyond memory
SpiceC: scalable parallelism via implicit copying and explicit commit
A SIMD programming model for dart, javascript, and other dynamically typed scripting languages
The boat hull model: adapting the roofline model to enable performance prediction for parallel computing
Bridging the gap between deep learning and sparse matrix format selection
Future directions in analytic applications
GPU-based 3D cryo-EM reconstruction with key-value streams: poster
Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization
Featherweight transactions: decoupling threads and atomic blocks
Register optimizations for stencils on GPUs
User-assisted storage reuse determination for dynamic task graphs
LHlf: lock-free linear hashing (poster paper)
Global-view abstractions for user-defined reductions and scans
High-performance Cholesky factorization for GPU-only execution
Establishing a Miniapp as a programmability proxy
A case study in top-down performance estimation for a large-scale parallel application
Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations
POSTER: StructMG: A Fast and Scalable Structured Multigrid
Using sample-based time series data for automated diagnosis of scalability losses in parallel programs
Two examples of parallel programming without concurrency constructs (PP-CC)
Why is graphics hardware so fast?
Distributed Cell Set : A Library for Space-Dependent Communication/Computation Overlap on Manycore Cluster
Pure C++ Approach to Optimized Parallel Traversal of Regular Data Structures
An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection
Auto-blocking Matrix-Multiplication or Tracking BLAS3 Performance with Source Code
Mapping parallelism to multi-cores: a machine learning based approach
QTLS: high-performance TLS asynchronous offload framework with Intel® QuickAssist technology
An optimizing compiler for GPGPU programs with input-data sharing
Exploring accelerator and parallel graph algorithmic choices for temporal graphs
Dynamic deadlock verification for general barrier synchronisation
Scalable data race detection for partitioned global address space programs
High-Level Optimization via Automated Statistical Modeling
SCCMulti: an improved parallel strongly connected components algorithm
OoOJava: software out-of-order execution
A scalable lock-free hash table with open addressing
Exploiting distributed version concurrency in a transactional memory cluster
Concurrent tries with efficient non-blocking snapshots
Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors
SYNC or ASYNC: time to fuse for distributed graph-parallel computation
The STAPL parallel container framework
BiPart: a parallel and deterministic hypergraph partitioner
Parallel Integer Sort: Theory and Practice
Massively parallel breadth first search using a tree-structured memory model
Effective communication for a system of cluster-on-a-chip processors
Palirria: Accurate On-line Parallelism Estimation for Adaptive Work-Stealing
High Performance Detection of Strongly Connected Components in Sparse Graphs on GPUs
Multi-Model Parallel Programming in Psyche
Distributed Data Access in AC
Oak: a scalable off-heap allocated key-value map
Triangle Counting on Tensor Cores
Faster and Cheaper: Pushing the Sequence Alignment Throughput with Commercial CPUs
Composable thread coloring
Beyond worst-case analysis: observed low depth for a P-complete problem
Data-flow/dependence profiling for structured transformations
How much parallelism is there in irregular applications?
Process Barrier for Predictable and Repeatable Concurrent Execution
Sparsity in Deep Neural Nets (Keynote)
A novel memory-efficient deep learning training framework via error-bounded lossy compression
Exploiting Variable Grain Parallelism at Runtime
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs
POSTER: ParGNN: Efficient Training for Large-Scale Graph Neural Network on GPU Clusters
Parallel Dynamic Spatial Indexes
DNNMark: A Deep Neural Network Benchmark Suite for GPUs
Proceedings of the 9th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2018, February 25, 2018, Vienna, Austria
Concurrency bug localization using shared memory access pairs
Fast American Option Pricing using Nonlinear Stencils
Exploring source-to-source compiler transformation of OpenMP SIMD constructs for Intel AVX and Arm SVE vector architectures
Merchandiser: Data Placement on Heterogeneous Memory for Task-Parallel HPC Applications with Load-Balance Awareness
Programming parallel embedded and consumer applications in OpenMP superscalar
Semi-sparse algorithm based on multi-layer optimization for recommendation system
The LOFAR correlator: implementation and performance analysis
A high-performance parallel algorithm for nonnegative matrix factorization
Model-based Iterative CT Image Reconstruction on GPUs
Contention-conscious, locality-preserving locks
Scalable GPU graph traversal
DWS: Demand-aware Work-Stealing in Multi-programmed Multi-core Architectures
Mashup: making serverless computing useful for HPC workflows via hybrid execution
Scalable Reader-Writer Synchronization for Shared-Memory Multiprocessors
Thread contracts for safe parallelism
Overlapping host-to-device copy and computation using hidden unified memory
Grain graphs: OpenMP performance analysis made easy
COREMU: a scalable and portable parallel full-system emulator
LOFT: lock-free transactional data structures
GPU-SM: shared memory multi-GPU programming
Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods
Accurate and efficient runtime detection of atomicity errors in concurrent programs
Making concurrent algorithms detectable: poster
On the fly MHP analysis
Parallel Pattern Language Code Generation
Automated code acceleration targeting heterogeneous openCL devices
POSTER: Optimizing Collective Communications with Error-bounded Lossy Compression for GPU Clusters
Data structures for task-based priority scheduling
Transaction communicators: enabling cooperation among concurrent transactions
Accelerating data transfer between host and device using idle GPU
Parallel Locality and Parallelization Quality
Parallel CCD++ on GPU for Matrix Factorization
Dynamic performance tuning of word-based software transactional memory
Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis
Formal verification of practical MPI programs
The JStar language philosophy
GPU-based Acceleration of Detailed Tissue-Scale Cardiac Simulations
GPU multisplit
Improving Energy Saving of One-Sided Matrix Decompositions on CPU-GPU Heterogeneous Systems
Transactional boosting: a methodology for highly-concurrent transactional objects
Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020
Scaling LAPACK panel operations using parallel cache assignment
CAP: co-scheduling based on asymptotic profiling in CPU+GPU hybrid systems
Initial Steps toward Making GPU a First-Class Computing Resource: Sharing and Resource Management
Scalable queue-based spin locks with timeout
Data-centric combinatorial optimization of parallel code
An Efficient Abortable-locking Protocol for Multi-level NUMA Systems
TigerQuoll: parallel event-based JavaScript
Trust but verify: monitoring remotely executing programs for progress and correctness
DomLock: a new multi-granularity locking technique for hierarchies
Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2016, Barcelona, Spain, March 13, 2016
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016
Energy-efficient computing for HPC workloads on heterogeneous manycore chips
Be my guest: MCS lock now welcomes guests
A hierarchical approach to reducing communication in parallel graph algorithms
spECK: accelerating GPU sparse matrix-matrix multiplication through lightweight analysis
Checking Concurrent Data Structures Under the C/C++11 Memory Model
Diagnosing the causes and severity of one-sided message contention
Employing Register Channels for the Exploitation of Instruction Level Parallelism
POSTER: An Architecture and Programming Model for Accelerating Parallel Commutative Computations via Privatization
ActorSpaces: An Open Distributed Programming Paradigm
Practically and Theoretically Efficient Garbage Collection for Multiversioning
YewPar: skeletons for exact combinatorial search
Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly
Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs
POSTER: IOGP: An Incremental Online Graph Partitioning for Large-Scale Distributed Graph Databases