It is our great pleasure to welcome you to the 2023 ACM Workshop on Highlights of Parallel Computing (HOPC). This is the first iteration of HOPC, which is organized jointly with SPAA'23, and brings together a wide range of research on parallel algorithms, architectures, and systems. Our goal with this workshop was to provide an opportunity for researchers in parallel algorithms and parallel systems whose work appeared in venues outside of SPAA during the pandemic years to present their work in a shared venue. To this end, we were quite happy to see a wide range of submissions which represent the diversity of topics studied by our community, including papers on shortest paths, clustering, graph processing, sparse computations, accelerators, and many other topics. We hope all of the attendees will find this first iteration of the workshop enjoyable and valuable, and we look forward to continuing to organize HOPC in the future.
Proceeding Downloads
CommonGraph: Graph Analytics on Evolving Data (Abstract)
We consider the problem of graph analytics on evolving graphs. In this scenario, a query typically needs to be applied to different snapshots of the graph over an extended time window. We propose CommonGraph, an approach for efficient processing of ...
Efficient Construction of Directed Hopsets and Parallel Single-source Shortest Paths (Abstract)
The single-source shortest-path problem is as follows: given a graph with nonnegative edge weights and a designated source vertex s, return the distances from~s to each other vertex such. This paper presents a randomized parallel single-source shortest ...
Provably Fast and Space-Efficient Parallel Biconnectivity (Abstract)
We propose the first parallel biconnectivity algorithm (FAST-BCC) that has optimal work, polylogarithmic span, and is space-efficient. Our algorithm creates a skeleton graph based on any spanning tree of the input graph. Then we use the connectivity ...
Theoretically and Practically Efficient Parallel Nucleus Decomposition (Abstract)
Discovering dense substructures in graphs is a fundamental topic in graph mining, and has been studied across many areas including computational biology, spam and fraud-detection, and large-scale network analysis. Recently, Sariyuce et al. introduced ...
Smarter Atomic Smart Pointers: Safe and Efficient Concurrent Memory Management (Abstract)
We present a technique for concurrent memory management that combines the ease-of-use of automatic memory reclamation, and the efficiency of state-of-the-art deferred reclamation algorithms.
First, we combine ideas from referencing counting and hazard ...
Faster Parallel Exact Density Peaks Clustering (Abstract)
Clustering multidimensional points is a fundamental data mining task, with applications in many fields, such as astronomy, neuroscience, bioinformatics, and computer vision. The goal of clustering algorithms is to group similar objects together. Density-...
PIM-tree: A Skew-resistant Index for Processing-in-Memory (Abstract)
Processing-in-memory (PIM) is an emerging technology to alleviate the high cost of data movement by pushing computation into/near memory modules. There is an inherent tension, however, between minimizing communication (data movement) and achieving load ...
Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling (Extended Abstract)
- Toluwanimi O. Odemuyiwa,
- Hadi Asghari-Moghaddam,
- Michael Pellauer,
- Kartik Hegde,
- Po-An Tsai,
- Neal C. Crago,
- Aamer Jaleel,
- John D. Owens,
- Edgar Solomonik,
- Joel S. Emer,
- Christopher W. Fletcher
Tensor algebra involving multiple sparse operands is severely memory bound, making it a challenging target for acceleration. Furthermore, irregular sparsity complicates traditional techniques---such as tiling---for ameliorating memory bottlenecks. Prior ...
Fast Parallel Algorithms for Euclidean Minimum Spanning Tree and Hierarchical Spatial Clustering (Abstract)
This paper presents new parallel algorithms for generating Euclidean minimum spanning trees and spatial clustering hierarchies (known as HDBSCAN^*). Our approach is based on generating a well-separated pair decomposition followed by using Kruskal's ...
Empirical Challenge for NC Theory (Abstract)
Horn-satisfiability or Horn-SAT is the problem of deciding whether a satisfying assignment exists for a Horn formula, a conjunction of clauses each with at most one positive literal (also known as Horn clauses). It is a well-known P-complete problem, ...
Static Prediction of Parallel Computation Graphs (Abstract)
Many results in the theory of parallel scheduling, dating back to Brent's Theorem, are expressed in terms of the parallel dependency structure of a program as represented by a Directed Acyclic Graph (DAG). In the world of parallel and concurrent program ...
Parallel Strong Connectivity Based on Faster Reachability (Abstract)
In this paper, we propose a parallel strongly connected components (SCC) implementation that is efficient on a wide range of graphs. Our speedup comes from two novel techniques: vertical granularity control (VGC) and parallel hash bag.
Taming Misaligned Graph Traversals in Concurrent Graph Processing (Abstract)
This work introduces Glign, a runtime system that automatically aligns the graph traversals for concurrent queries. Glign introduces three levels of graph traversal alignment for iterative evaluation of concurrent queries. First, it synchronizes the ...
Index Terms
- Proceedings of the 2023 ACM Workshop on Highlights of Parallel Computing