yusuke1997/dblp-id-title huggingface dataset:
ArcherGear: data race equivalencing for expeditious HPC debugging
The Z-polyhedral model
High Performance Fortran Without Templates: An Alternative Model for Distribution and Alignment
Supporting fault-tolerance in streaming grid applications
Universal wait-free memory reclamation
Automatic generation of specialized direct convolutions for mobile GPUs
Matrix product on heterogeneous master-worker platforms
WISE: Predicting the Performance of Sparse Matrix Vector Multiplication with Machine Learning
Auto-tuning methodology to represent landform attributes on multicore and multi-GPU systems
ParlayANN: Scalable and Deterministic Parallel Graph-Based Approximate Nearest Neighbor Search Algorithms
GHOST: GPGPU-offloaded high performance storage I/O deduplication for primary storage system
Transparent Avoidance of Redundant Data Transfer on GPU-enabled Apache Spark
Betweenness centrality: algorithms and implementations
Performance Prediction of Large Parallel Applications using Parallel Simulations
Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors
Designing and auto-tuning parallel 3-D FFT for computation-communication overlap
Predicate RCU: an RCU for scalable concurrent updates
An Evaluation of Computing Paradigms for N-Body Simulations on Distributed Memory Architectures
Exploiting accelerators for efficient high dimensional similarity search
Stamp-it , amortized constant-time memory reclamation in comparison to five other schemes
Data and Computation Transformations for Multiprocessors
TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention Networks
Lightweight hardware transactional memory profiling
An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL
Exposing speculative thread parallelism in SPEC2000
An LLVM-based open-source compiler for NVIDIA GPUs
QGTC: accelerating quantized graph neural networks via GPU tensor core
NBR: neutralization based reclamation
Modernizing parallel code with pattern analysis
Parallel programming environment: a key to translating tera-scale platforms into a big success
Well-structured futures and cache locality
Modular transactions: bounding mixed races in space and time
Proceedings of the 8th Workshop on General Purpose Processing using GPUs, GPGPU@PPoPP 2015, San Francisco, CA, USA, February 7, 2015
Deterministic parallel random-number generation for dynamic-multithreading platforms
Pipelonk: Accelerating End-to-End Zero-Knowledge Proof Generation on GPUs for PLONK-Based Protocols
Exploitation of APL Data Parallelism on a Shared-memory MIMD Machine
Functional faults
Copperhead: compiling an embedded data parallel language
A compiler and runtime system for enabling data mining applications on gpus
Modeling Concurrency in Parallel Debugging
A practical concurrent binary search tree
An OpenACC-based unified programming model for multi-accelerator systems
POSTER: Cache-Oblivious MPI All-to-All Communications on Many-Core Architectures
All-window profiling and composable models of cache sharing
Backtracking-based load balancing
BerryBees: Breadth First Search by Bit-Tensor-Cores
An interval constrained memory allocator for the Givy GAS runtime
Portable, MPI-interoperable coarray fortran
Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster
Barrier elision for production parallel programs
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA
Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018
Keep calm and react with foresight: strategies for low-latency and energy-efficient elastic data stream processing
ASM-SpMM: Unleashing the Potential of Arm SME for Sparse Matrix Multiplication Acceleration
Toward high performance nonblocking software transactional memory
A supernodal all-pairs shortest path algorithm
Dynamic Node Reconfiguration in a Parallel-Distributed Environment
MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard
A lock-free relaxed concurrent queue for fast work distribution
S-EnKF: co-designing for scalable ensemble Kalman filter
POSTER: OCToPus: Semantic-aware Concurrency Control for Blockchain Transactions
KRASH: reproducible CPU load generation on many cores machines
Jigsaw: Toward Conflict-free Vectorized Stencil Computation by Tessellating Swizzled Registers
KiWi: A Key-Value Map for Scalable Real-Time Analytics
Eliminating global interpreter locks in ruby through hardware transactional memory
Accurate data redistribution cost estimation in software distributed shared memory systems
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor
iQAN: Fast and Accurate Vector Search with Efficient Intra-Query Parallelism on Multi-Core Architectures
GOPipe: a granularity-oblivious programming framework for pipelined stencil executions on GPU
Shared-memory parallelization of MTTKRP for dense tensors
A Row Decomposition-based Approach for Sparse Matrix Multiplication on GPUs
POSTER: A Wait-Free Queue with Wait-Free Memory Reclamation
Quasi-static scheduling for safe futures
The virtues of conflict: analysing modern concurrency
Reflector: a fine-grained I/O tracker for HPC systems
Acceleration of the Pre-processing Stage of the MVS Workflow using Graphics Processors
Thread Data Sharing in Cache: Theory and Measurement
Impala: a middleware system for managing autonomic, parallel sensor systems
Lock-free channels for programming via communicating sequential processes: poster
POSTER: RadiK: Scalable Radix Top-K Selection on GPUs
Managing application parallelism via parallel efficiency regulation: poster
Provably Fast and Space-Efficient Parallel Biconnectivity
A library for portable and composable data locality optimizations for NUMA systems
Leveraging hardware message passing for efficient thread synchronization
Generic messages: capability-based shared memory parallelism for event-loop systems
Verification of software barriers
Towards batched linear solvers on accelerated hardware platforms
Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2024, Edinburgh, United Kingdom, March 2-6, 2024
Fast tridiagonal solvers on the GPU
VERLIB: Concurrent Versioned Pointers
RTNN: accelerating neighbor search using hardware ray tracing
On designing NUMA-aware concurrency control for scalable transactional memory
Efficient Direct Convolution Using Long SIMD Instructions
Implementation of a Portable Nested Data-Parallel Language
The State-of-the-Art LCRQ Concurrent Queue Algorithm Does NOT Require CAS2
Boost Lock-free Queue and Stack with Batching
Transparent GPU memory management for DNNs
Vector seeker: a tool for finding vector potential
Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm
PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022
ELSE: an efficient link-time static instrumentation tool for embedded system
Efficient on-the-fly data race detection in multihreaded C++ programs
Automatic problem size sensitive task partitioning on heterogeneous parallel systems
PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Virtual Event, Republic of Korea, February 27- March 3, 2021
ShadowVM: accelerating data plane for data analytics with bare metal CPUs and GPUs
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
Compilation of Parallel Multimedia Computations - Extending Retiming Theory and Amdahl's Law
A distributed placement service for graph-structured and tree-structured data
Singe: leveraging warp specialization for high performance on GPUs
Experiences with Non-numeric Applications on Multithreaded Architectures
A distributed hypervisor for resource aggregation: poster
SUIF Explorer: An Interactive and Interprocedural Parallelizer
Runtime aware architectures
Using hardware transactional memory to correct and simplify and readers-writer lock algorithm
CASE: a compiler-assisted SchEduling framework for multi-GPU systems
Concurrency testing using schedule bounding: an empirical study
Batched Gauss-Jordan Elimination for Block-Jacobi Preconditioner Generation on GPUs
A specialized B-tree for concurrent datalog evaluation
Scalable packet classification using interpreting: a cross-platform multi-core solution
Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool
ROME: Maximizing GPU Efficiency for All-Pairs Shortest Path via Taming Fine-Grained Irregularities
WaterWise: Co-optimizing Carbon- and Water-Footprint Toward Environmentally Sustainable Cloud Computing
Lazygraph: lazy data coherency for replicas in distributed graph-parallel computation
Software Caching and Computation Migration in Olden
SemCache++: semantics-aware caching for efficient multi-GPU offloading
Parallelizing a New Class of Large Applications over High-speed Networks
Studying the expressiveness and performance of parallelization abstractions for linear pipelines
The SprayList: a scalable relaxed priority queue
Lock-free and scalable multi-version software transactional memory
POSTER: Distributed Control: The Benefits of Eliminating Global Synchronization via Effective Scheduling
A Java util concurrent park contention tool
Nested parallelism in transactional memory
Taming unbalanced training workloads in deep learning with partial collective operations
Two concurrent data structures for efficient datalog query processing
An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness
CCL-D: A High-Precision Diagnostic System for Slow and Hang Anomalies in Large-Scale Model Training
Processing transactions in a predefined order
Graph partitioning applied to DAG scheduling to reduce NUMA effects
Compiler aided selective lock assignment for improving the performance of software transactional memory
Adaptive sparse matrix-matrix multiplication on the GPU
Optimizing computation-communication overlap in asynchronous task-based programs: poster
Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems
TDC: Towards Extremely Efficient CNNs on GPUs via Hardware-Aware Tucker Decomposition
RaceFree: an efficient multi-threading model for determinism
Supporting Shared Data Structures on Distributed Memory Architectures
Symbolic prefetching in transactional distributed shared memory
Parallelization and Performance of Conjugate Gradient Algorithms on the Cedar Hierarchical-Memory Multiprocessor
Efficient execution of time-step computations with pipelined parallelism and inter-thread data locality optimizaitions
Intra-Task Parallelism in Automotive Real-Time Systems
A General and Scalable GCN Training Framework on CPU Supercomputers
The lock-free k-LSM relaxed priority queue
A pattern based algorithmic autotuner for graph processing on GPUs
Combining SIMD and Many/Multi-core Parallelism for Finite State Machines with Enumerative Speculation
HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff
POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models
Stream-K: Work-Centric Parallel Decomposition for Dense Matrix-Matrix Multiplication on the GPU
Solving dense linear systems on platforms with multiple hardware accelerators
Declarative coordination of graph-based parallel programs
POSTER: Enabling Extreme-Scale Phase Field Simulation with In-situ Feature Extraction
DTMiner: A Data-Centric System for Efficient Temporal Motif Mining
Task-DAG Support in Single-Source PHAST Library: Enabling Flexible Assignment of Tasks to CPUs and GPUs in Heterogeneous Architectures
Stretching the capacity of hardware transactional memory in IBM POWER architectures
Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2016, Barcelona, Spain, March 12-16, 2016
Detecting and tolerating asymmetric races
A Production-Quality C* Compiler for Hypercube Multicomputers
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems
Concurrent Aggregates (CA)
Parallel determinacy race detection for futures
Infrastructure-free logging and replay of concurrent execution on multiple cores
A lock-free, array-based priority queue
The design and implementation of a parallel array operator for the arbitrary remapping of data
A practical wait-free simulation for lock-free data structures
System-wide performance monitors and their application to the optimization of coherent memory accesses
Using generative design patterns to generate parallel code for a distributed memory environment
Simplifying low-level GPU programming with GAS
Griffin: uniting CPU and GPU in information retrieval systems for intra-query parallelism
Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs
Understand the overheads of storage data structures on persistent memory
The Interaction of Parallel Programming Constructs and Coherence Protocols
Optimistic Parallelization of Communicating Sequential Processes
Verifying C11 programs operationally
Silent Data Corruption Resilient Two-sided Matrix Factorizations
Applications of synchronization coverage
SGDRC: Software-Defined Dynamic Resource Control for Concurrent DNN Inference on NVIDIA GPUs
VEBO: a vertex- and edge-balanced ordering heuristic to load balance parallel graph processing
WeiPipe: Weight Pipeline Parallelism for Communication-Effective Long-Context Large Model Training
Parallel and distributed bounded model checking of multi-threaded programs
Proceedings of the first workshop on Parallel programming for analytics applications, PPAA 2014, Orlando, Florida, USA, February 16, 2014
Composable memory transactions
Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations
Type inference for locality analysis of distributed data structures
A systems perspective on GPU computing: a tribute to Karsten Schwan
LiTM: A Lightweight Deterministic Software Transactional Memory System
Efficient algorithms for persistent transactional memory
Arrow Matrix Decomposition: A Novel Approach for Communication-Efficient Sparse Matrix Multiplication
Continuations and Concurrency
Trade-offs Between False Sharing and Aggregation in Software Distributed Shared Memory
A programming model and runtime system for significance-aware energy-efficient computing
On-line automated performance diagnosis on thousands of processes
Restricted memory-friendly lock-free bounded queues
Exascale computing: the challenges and opportunities in the next decade
Communication avoiding successive band reduction
Automatic datatype generation and optimization
An adaptive performance modeling tool for GPU architectures
ATTNChecker: Highly-Optimized Fault Tolerant Attention for Large Language Model Training
Lifetime-Based Optimization for Simulating Quantum Circuits on a New Sunway Supercomputer
Superneurons: dynamic GPU memory management for training deep neural networks
Safer open-nested transactions through ownership
CC-MPI: a compiled communication capable MPI prototype for ethernet switched clusters
swSpTRSV: a fast sparse triangular solve with sparse level tile layout on sunway architectures
SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations
Application-aware management of parallel simulation collections
Efficient SIMD code generation for irregular kernels
It's Time for a New Old Language
Automatic communication optimizations through memory reuse strategies
Flattening and Parallelizing Irregular, Recurrent Loop Nests
ESTIMA: extrapolating scalability of in-memory applications
Where will all the threads come from?
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
Relational algorithms for multi-bulk-synchronous processors
Semantics-based distributed I/O for mpiBLAST
Towards scalable and transparent parallelization of multiplayer games using transactional memory support
Programming a Multicore Architecture without Coherency and Atomic Operations
Acc-SpMM: Accelerating General-purpose Sparse Matrix-Matrix Multiplication with GPU Tensor Cores
ApproxTuner: a compiler and runtime system for adaptive approximations
wCQ: a fast wait-free queue with bounded memory usage
Compiler support for speculative multithreading architecture with probabilistic points-to analysis
Complexity analysis and algorithm design for reorganizing data to minimize non-coalesced memory accesses on GPU
On using connection-oriented vs. connection-less transport for performance and scalability of collective and one-sided operations: trade-offs and impact
Parallel binary code analysis
Practical parallel hypergraph algorithms
AArch64 Atomics: Might They Be Harming Your Performance?
A speculation-friendly binary search tree
Articulation points guided redundancy elimination for betweenness centrality
Efficient Parallelization of Complex Automotive Systems
Learning to Parallelize in a Shared-Memory Environment with Transformers
Remote OpenMP offloading
A Distributed Matrix-Block-Vector Multiplication in Presence of System Performance Variability
"MAMA!": a memory allocator for multithreaded architectures
Efficient Interprocedural Analysis for Program Parallelization and Restructuring
Communication-centric optimizations by dynamically detecting collective operations
VirtCL: a framework for OpenCL device abstraction and management
Semantics-aware scheduling policies for synchronization determinism
End-to-End LU Factorization of Large Matrices on GPUs
A Case for Scoped Persist Barriers in GPUs
PETRAS: Performance, Energy and Thermal Aware Resource Allocation and Scheduling for Heterogeneous Systems
Ownership passing: efficient distributed memory programming on multi-core systems
Cilk: An Efficient Multithreaded Runtime System
SCRATCH: a tool for automatic analysis of dma races
Cooperative reasoning for preemptive execution
MPIWiz: subgroup reproducible replay of mpi applications
Source-level global optimizations for fine-grain distributed shared memory systems
Section based program analysis to reduce overhead of detecting unsynchronized thread communication
New strategy for coarse grid solvers in parallel multigrid methods using OpenMP/MPI hybrid programming models
Fuzzy Array Dataflow Analysis
MPI-based Remote OpenMP Offloading: A More Efficient and Easy-to-use Implementation
Autotuning Wavefront Applications for Multicore Multi-GPU Hybrid Architectures
Root-Down Exposure for Maximal Clique Enumeration on GPUs
Speculative parallelization on GPGPUs
High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs
New abstractions for effective performance analysis of STM programs
Predictive Analysis of a Wavefront Application using LogGP
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool
Noise Injection Techniques to Expose Subtle and Unintended Message Races
A linear-time algorithm for optimal barrier placement
Performance challenges in modular parallel programs
Evaluating graph coloring on GPUs
Fast Symmetric Eigenvalue Decomposition via WY Representation on Tensor Core
Working together to build the heterogeneous processing ecosystem
X10 and APGAS at Petascale
Design Challenges of Virtual Networks: Fast, General-Purpose Communication
SEP-graph: finding shortest execution paths for graph processing under a hybrid framework on GPU
DOJ: dynamically parallelizing object-oriented programs
Programming with cluster openMP
FasterMoE: modeling and optimizing training of large-scale dynamic pre-trained models
Characterizing Matrix Multiplication Units across General Parallel Patterns in Scientific Computing
A wait-free queue as fast as fetch-and-add
Intra-application shared cache partitioning for multithreaded applications
A predictable synchronisation algorithm
Minimizing speculation overhead in a parallel recognizer for regular texts
Quantifying and reducing execution variance in STM via model driven commit optimization
Restructuring Lisp Programs for Concurrent Execution
Decomposition techniques for optimal design-space exploration of streaming applications
PARRAY: a unifying array representation for heterogeneous parallelism
GPU-based NFA implementation for memory efficient high speed regular expression matching
Parallel algorithms for masked sparse matrix-matrix products
Unifying fixed code and fixed data mapping of load-imbalanced pipelined loops
PathCAS: an efficient middle ground for concurrent search data structures
Proactive work stealing for futures
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
Design and Distributed Implementation of the Parallel Logic Language Shared Prolog
FlashR: parallelize and scale R for machine learning using SSDs
How to build programmable multi-core chips
Code vectorization using Intel Array Notation
Time skewing made simple
Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2013, Shenzhen, China, February 23, 2013
Liger: Interleaving Intra- and Inter-Operator Parallelism for Distributed Large Model Inference
Extracting coarse-grain parallelism in general-purpose programs
Scheduling Irregular Dataflow Pipelines on SIMD Architectures
Topology aware task mapping techniques: an api and case study
Race directed scheduling of concurrent programs
Setting a Course for Post-Moore Software Performance
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs
A Chare Kernel Implementation of a Parallel Prolog Compiler
A work-stealing scheduler for X10's task parallelism with suspension
Adaptive GPU cache bypassing
PMA: Pixel-based multi-anchor algorithm for image recognition on multi-core systems
Energy conservation in heterogeneous server clusters
Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin
Integrating a global load balancer to an APGAS distributed collections library
On ordering transaction commit
HelixPipe: Efficient Distributed Training of Long Sequence Transformers with Attention Parallel Pipeline Parallelism
Correct and efficient work-stealing for weak memory models
FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue
Predicting bounds on queuing delay for batch-scheduled parallel machines
Hapax Locks: Scalable Value-Based Mutual Exclusion
A parallel branch-and-bound algorithm with history-based domination
Harmonic CUDA: Asynchronous Programming on GPUs
The Minos Computing Library: efficient parallel programming for extremely heterogeneous systems
Assertional reasoning about data races in relaxed memory models
Compilers, hands-off my hands-on optimizations
GPOP: a cache and memory-efficient framework for graph processing over partitions
Optimizing graph processing on GPUs using approximate computing: poster
Removal of Redundant Dependences in DOACROSS Lops with Constant Dependences
Corder: cache-aware reordering for optimizing graph analytics
SIMDization of Small Tensor Multiplication Kernels for Wide SIMD Vector Processors
Concurrent Balanced Augmented Trees
The SuperCodelet architecture
Input-driven dynamic execution prediction of streaming applications
Factorization with morton-ordered quadtree matrices for memory re-use and parallelism
Practical Hardware Transactional vEB Trees
Proceedings of the General Purpose GPUs, GPGPU@PPoPP, Austin, TX, USA, February 4-8, 2017
Semi-StructMG: A Fast and Scalable Semi-Structured Algebraic Multigrid
ExHET@PPoPP 2022: Proceedings of the 1st International Workshop on Extreme Heterogeneity Solutions, Seoul Republic of Korea, 2 April 2022
XIndex: a scalable learned index for multicore data storage
Featherlight on-the-fly false-sharing detection
BASMAT: bottleneck-aware sparse matrix-vector multiplication auto-tuning on GPGPUs
Transparent Adaptive Parallelism on NOWs using OpenMP
Parallel block-delayed sequences