DISC A

43 papers

YearTitle / Authors
2015A Constructive Approach for Proving Data Structures' Linearizability.
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
2015Amalgamated Lock-Elision.
Yehuda Afek, Alexander Matveev, Oscar R. Moll, Nir Shavit
2015Analyzing the Performance of Lock-Free Data Structures: A Conflict-Based Model.
Aras Atalar, Paul Renaud-Goud, Philippas Tsigas
2015Anonymous Graph Exploration with Binoculars.
Jérémie Chalopin, Emmanuel Godard, Antoine Naudin
2015Byzantine Fireflies.
Rachid Guerraoui, Alexandre Maurer
2015Compressing Communication in Distributed Protocols.
Yael Tauman Kalai, Ilan Komargodski
2015Computing in Additive Networks with Bounded-Information Codes.
Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter
2015Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings
Yoram Moses
2015Distributed Large Independent Sets in One Round on Bounded-Independence Graphs.
Magnús M. Halldórsson, Christian Konrad
2015Efficient Counting with Optimal Resilience.
Christoph Lenzen, Joel Rybicki
2015Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution.
Eli Gafni, Dahlia Malkhi
2015Fair Distributed Computation of Reactive Functions.
Juan A. Garay, Björn Tackmann, Vassilis Zikas
2015Fast Byzantine Leader Election in Dynamic Networks.
John Augustine, Gopal Pandurangan, Peter Robinson
2015Fast Consensus for Voting on General Expander Graphs.
Colin Cooper, Robert Elsässer, Tomasz Radzik, Nicolas Rivera, Takeharu Shiraga
2015Fault Tolerant Reachability for Directed Graphs.
Surender Baswana, Keerti Choudhary, Liam Roditty
2015From Geometric Semantics to Asynchronous Computability.
Eric Goubault, Samuel Mimram, Christine Tasson
2015Grasping the Gap Between Blocking and Non-Blocking Transactional Memories.
Petr Kuznetsov, Srivatsan Ravi
2015Hardware Transactions in Nonvolatile Memory.
Hillel Avni, Eliezer Levy, Avi Mendelson
2015Hybrid Transactional Memory Revisited.
Wenjia Ruan, Michael F. Spear
2015Inherent Limitations of Hybrid Transactional Memory.
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2015Limit Behavior of the Multi-agent Rotor-Router System.
Jérémie Chalopin, Shantanu Das, Pawel Gawrychowski, Adrian Kosowski, Arnaud Labourel, Przemyslaw Uznanski
2015Local Information in Influence Networks.
Yuezhou Lv, Thomas Moscibroda
2015Locally Optimal Load Balancing.
Laurent Feuilloley, Juho Hirvonen, Jukka Suomela
2015Modular Verification of Concurrency-Aware Linearizability.
Nir Hemed, Noam Rinetzky, Viktor Vafeiadis
2015Nonuniform SINR+Voroni Diagrams Are Effectively Uniform.
Erez Kantor, Zvi Lotker, Merav Parter, David Peleg
2015On the Computational Complexity of MapReduce.
Benjamin Fish, Jeremy Kun, Ádám Dániel Lelkes, Lev Reyzin, György Turán
2015On the Optimal Space Complexity of Consensus for Anonymous Processes.
Rati Gelashvili
2015Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space.
Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita
2015Privacy-Conscious Information Diffusion in Social Networks.
George Giakkoupis, Rachid Guerraoui, Arnaud Jégou, Anne-Marie Kermarrec, Nupur Mittal
2015Randomness vs. Time in Anonymous Networks.
Jochen Seidel, Jara Uitto, Roger Wattenhofer
2015Simulating a Shared Register in an Asynchronous System that Never Stops Changing - (Extended Abstract).
Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2015SmartMerge: A New Approach to Reconfiguration for Atomic Storage.
Leander Jehl, Roman Vitenberg, Hein Meling
2015Smoothed Analysis of Dynamic Networks.
Michael Dinitz, Jeremy T. Fineman, Seth Gilbert, Calvin C. Newport
2015Space-Optimal Counting in Population Protocols.
Joffroy Beauquier, Janna Burman, Simon Clavière, Devan Sohier
2015Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract).
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
2015Stable Leader Election in Population Protocols Requires Linear Time.
David Doty, David Soloveichik
2015The Computational Power of Beeps.
Seth Gilbert, Calvin C. Newport
2015Tight Bounds for MIS in Multichannel Radio Networks.
Sebastian Daum, Fabian Kuhn
2015Towards Automatic Lock Removal for Scalable Synchronization.
Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar
2015Transaction Chopping for Parallel Snapshot Isolation.
Andrea Cerone, Alexey Gotsman, Hongseok Yang
2015Transactional Interference-Less Balanced Tree.
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2015Wait-Freedom is Harder Than Lock-Freedom Under Strong Linearizability.
Oksana Denysyuk, Philipp Woelfel
2015Why Non-blocking Operations Should be Selfish.
Joel Gibson, Vincent Gramoli