Abstract is missing.
- TeraHAC: Hierarchical Agglomerative Clustering of Trillion-Edge Graphs (Abstract)Laxman Dhulipala, Jakub Lacki, Jason Lee, Vahab Mirrokni. [doi]
- The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems (Abstract)Naama Ben-David, Gal Sela 0001, Adriana Szekeres. [doi]
- BP-tree: Overcoming the Point-Range Operation Tradeoff for In-Memory B-trees (Abstract)Helen Xu 0001, Amanda Li, Brian Wheatman, Manoj Marneni, Prashant Pandey 0001. [doi]
- Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract)Konrad Siek, Pawel T. Wojciechowski. [doi]
- Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract)Siddhartha Jayanti, Robert E. Tarjan. [doi]
- Parallel Derandomization for Coloring (Abstract)Sam Coy, Artur Czumaj, Peter Davies-Peck, Gopinath Mishra. [doi]
- Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract)Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski. [doi]
- Lock-Free Locks Revisited (Abstract)Naama Ben-David, Guy E. Blelloch, Yuanhao Wei. [doi]
- Scalable SAT Solving on Demand (Abstract)Dominik Schreiber, Peter Sanders 0001. [doi]
- Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract)Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez. [doi]
- Concurrent Immediate Reference Counting (Abstract)Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang. [doi]
- Parallel Integer Sort: Theory and Practice (Abstract)Xiaojun Dong 0001, Laxman Dhulipala, Yan Gu 0001, Yihan Sun 0001. [doi]
- TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract)Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer. [doi]
- Modern Software Libraries for Graph Partitioning (Abstract)Lars Gottesbüren, Nikolai Maas, Peter Sanders 0001, Daniel Seemaier. [doi]
- Efficient Parallel Output-Sensitive Edit Distance (Abstract)Xiangyun Ding, Xiaojun Dong 0001, Yan Gu 0001, Youzhe Liu, Yihan Sun 0001. [doi]
- Concurrent Size (Abstract)Gal Sela 0001, Erez Petrank. [doi]
- Bit-Parallel Wavelet Tree Construction (Abstract)Patrick Dinklage, Johannes Fischer 0001, Florian Kurpicz, Jan-Philipp Tarnowski. [doi]
- Fast and Space-Efficient Parallel Algorithms for Influence Maximization (Abstract)Letong Wang, Xiangyun Ding, Yan Gu 0001, Yihan Sun 0001. [doi]