ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2014


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

A universal approach to data center network design

Bruce M. Maggs

A universal approach to data center network design

Details
Discussion Comments: 0
Verification: Author has not verified information

On the online fault-tolerant server consolidation problem

Khuzaima Daudjee, Shahin Kamali, Alejandro López-Ortiz

On the online fault-tolerant server consolidation problem

Details
Discussion Comments: 0
Verification: Authors have not verified information

Scheduling selfish jobs on multidimensional parallel machines

Leah Epstein, Elena Kleiman

Scheduling selfish jobs on multidimensional parallel machines

Details
Discussion Comments: 0
Verification: Authors have not verified information

Phase-concurrent hash tables for determinism

Julian Shun, Guy E. Blelloch

Phase-concurrent hash tables for determinism

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief annoucement: a distributed minimum cut approximation scheme

Hsin-Hao Su

Brief annoucement: a distributed minimum cut approximation scheme

Details
Discussion Comments: 0
Verification: Author has not verified information

Competitively scheduling tasks with intermediate parallelizability

Sungjin Im, Benjamin Moseley, Kirk Pruhs, Eric Torng

Competitively scheduling tasks with intermediate parallelizability

Details
Discussion Comments: 0
Verification: Authors have not verified information

Parallel peeling algorithms

Jiayang Jiang, Michael Mitzenmacher, Justin Thaler

Parallel peeling algorithms

Details
Discussion Comments: 0
Verification: Authors have not verified information

Finding approximate partitions and splitters in external memory

Xiaocheng Hu, Yufei Tao, Yi Yang, Shuigeng Zhou

Finding approximate partitions and splitters in external memory

Details
Discussion Comments: 0
Verification: Authors have not verified information

Ephemeral networks with random availability of links: diameter and connectivity

Eleni C. Akrida, Leszek Gasieniec, George B. Mertzios, Paul G. Spirakis

Ephemeral networks with random availability of links: diameter and connectivity

Details
Discussion Comments: 0
Verification: Authors have not verified information

Experimental analysis of space-bounded schedulers

Harsha Vardhan Simhadri, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons, Aapo Kyrola

Experimental analysis of space-bounded schedulers

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: persistent unfairness arising from cache residency imbalance

Dave Dice, Virendra J. Marathe, Nir Shavit

Brief announcement: persistent unfairness arising from cache residency imbalance

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: cache-oblivious scheduling of streaming pipelines

Kunal Agrawal, Jeremy T. Fineman

Brief announcement: cache-oblivious scheduling of streaming pipelines

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: deadline-aware scheduling of big-data processing jobs

Peter Bodík, Ishai Menache, Joseph Naor, Jonathan Yaniv

Brief announcement: deadline-aware scheduling of big-data processing jobs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: faster 3-periodic merging networks

Marek Piotrów

Brief announcement: faster 3-periodic merging networks

Details
Discussion Comments: 0
Verification: Author has not verified information

Parallel streaming frequency-based aggregates

Kanat Tangwongsan, Srikanta Tirthapura, Kun-Lung Wu

Parallel streaming frequency-based aggregates

Details
Discussion Comments: 0
Verification: Authors have not verified information

Balanced allocations and double hashing

Michael Mitzenmacher

Balanced allocations and double hashing

Details
Discussion Comments: 0
Verification: Author has not verified information

Simple parallel and distributed algorithms for spectral graph sparsification

Ioannis Koutis

Simple parallel and distributed algorithms for spectral graph sparsification

Details
Discussion Comments: 0
Verification: Author has not verified information

Brief announcement: queue delegation locking

David Klaftenegger, Konstantinos F. Sagonas, Kjell Winblad

Brief announcement: queue delegation locking

Details
Discussion Comments: 0
Verification: Authors have not verified information

Adaptive integration of hardware and software lock elision techniques

Dave Dice, Alex Kogan, Yossi Lev, Timothy Merrifield, Mark Moir

Adaptive integration of hardware and software lock elision techniques

Details
Discussion Comments: 0
Verification: Authors have not verified information

The PCL theorem: transactions cannot be parallel, consistent and live

Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, Rachid Guerraoui

The PCL theorem: transactions cannot be parallel, consistent and live

Details
Discussion Comments: 0
Verification: Authors have not verified information

Scheduling shared continuous resources on many-cores

André Brinkmann, Peter Kling, Friedhelm Meyer auf der Heide, Lars Nagel, Sören Riechers, Tim Süß

Scheduling shared continuous resources on many-cores

Details
Discussion Comments: 0
Verification: Authors have not verified information

LP rounding and combinatorial algorithms for minimizing active and busy time

Jessica Chang, Samir Khuller, Koyel Mukherjee

LP rounding and combinatorial algorithms for minimizing active and busy time

Details
Discussion Comments: 0
Verification: Authors have not verified information

Tradeoffs between synchronization, communication, and computation in parallel linear algebra computations

Edgar Solomonik, Erin Carson, Nicholas Knight, James Demmel

Tradeoffs between synchronization, communication, and computation in parallel linear algebra computations

Details
Discussion Comments: 0
Verification: Authors have not verified information

Ordering heuristics for parallel graph coloring

William Hasenplaugh, Tim Kaler, Tao B. Schardl, Charles E. Leiserson

Ordering heuristics for parallel graph coloring

Details
Discussion Comments: 0
Verification: Authors have not verified information

(Near) optimal resource-competitive broadcast with jamming

Seth Gilbert, Valerie King, Seth Pettie, Ely Porat, Jared Saia, Maxwell Young

(Near) optimal resource-competitive broadcast with jamming

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: fast dual ring queues

Joseph Izraelevitz, Michael L. Scott

Brief announcement: fast dual ring queues

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: concurrent data structures for efficient streaming aggregation

Daniel Cederman, Vincenzo Gulisano, Yiannis Nikolakopoulos, Marina Papatriantafilou, Philippas Tsigas

Brief announcement: concurrent data structures for efficient streaming aggregation

Details
Discussion Comments: 0
Verification: Authors have not verified information

A distributed perspective on graph connectivity and cuts

Fabian Kuhn

A distributed perspective on graph connectivity and cuts

Details
Discussion Comments: 0
Verification: Author has not verified information

Brief announcement: fairness-efficiency tradeoffs in tiered storage allocation

Peter Varman, Hui Wang

Brief announcement: fairness-efficiency tradeoffs in tiered storage allocation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hierarchical graph partitioning

Mohammad Taghi Hajiaghayi, Theodore Johnson, Mohammad Reza Khani, Barna Saha

Hierarchical graph partitioning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: few buffers, many hot spots, and no tree saturation (with high probability)

Bradley C. Kuszmaul, William Kuszmaul

Brief announcement: few buffers, many hot spots, and no tree saturation (with high probability)

Details
Discussion Comments: 0
Verification: Authors have not verified information

On computing maximal independent sets of hypergraphs in parallel

Ioana O. Bercea, Navin Goyal, David G. Harris, Aravind Srinivasan

On computing maximal independent sets of hypergraphs in parallel

Details
Discussion Comments: 0
Verification: Authors have not verified information

A simple and practical linear-work parallel algorithm for connectivity

Julian Shun, Laxman Dhulipala, Guy E. Blelloch

A simple and practical linear-work parallel algorithm for connectivity

Details
Discussion Comments: 0
Verification: Authors have not verified information

A note on multiprocessor speed scaling with precedence constraints

Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli

A note on multiprocessor speed scaling with precedence constraints

Details
Discussion Comments: 0
Verification: Authors have not verified information

Simple dynamics for plurality consensus

Luca Becchetti, Andrea E. F. Clementi, Emanuele Natale, Francesco Pasquale, Riccardo Silvestri, Luca Trevisan

Simple dynamics for plurality consensus

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: amoebot - a new model for programmable matter

Zahra Derakhshandeh, Shlomi Dolev, Robert Gmyr, Andréa W. Richa, Christian Scheideler, Thim Strothmann

Brief announcement: amoebot - a new model for programmable matter

Details
Discussion Comments: 0
Verification: Authors have not verified information

Provably good scheduling for parallel programs that use data structures through implicit batching

Kunal Agrawal, Jeremy T. Fineman, Kefu Lu, Brendan Sheridan, Jim Sukha, Robert Utterback

Provably good scheduling for parallel programs that use data structures through implicit batching

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic complexity analysis of explicitly parallel programs

Torsten Hoefler, Grzegorz Kwasniewski

Automatic complexity analysis of explicitly parallel programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Brief announcement: parallelization of asynchronous variational integrators forshared memory architectures

Muhammad Amber Hassaan, Donald Nguyen, Keshav Pingali

Brief announcement: parallelization of asynchronous variational integrators forshared memory architectures

Details
Discussion Comments: 0
Verification: Authors have not verified information

Executing dynamic data-graph computations deterministically using chromatic scheduling

Tim Kaler, William Hasenplaugh, Tao B. Schardl, Charles E. Leiserson

Executing dynamic data-graph computations deterministically using chromatic scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

On dynamic bin packing for resource allocation in the cloud

Yusen Li, Xueyan Tang, Wentong Cai

On dynamic bin packing for resource allocation in the cloud

Details
Discussion Comments: 0
Verification: Authors have not verified information

Locality-based network creation games

Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti

Locality-based network creation games

Details
Discussion Comments: 0
Verification: Authors have not verified information

Transaction-friendly condition variables

Chao Wang, Yujie Liu, Michael F. Spear

Transaction-friendly condition variables

Details
Discussion Comments: 0
Verification: Authors have not verified information

On characterizing the data movement complexity of computational DAGs for parallel execution

Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan

On characterizing the data movement complexity of computational DAGs for parallel execution

Details
Discussion Comments: 0
Verification: Authors have not verified information