Wojciech M. Golab

Bernard Wong

J. Parallel Distributed Comput., May, 2024

A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0.

[BibT_eX]

[DOI]

Chien-Chih Chen

CoRR, 2024

Brief Announcement: A Fast Scalable Detectable Unrolled Lock-Based Linked List.

[BibT_eX]

[DOI]

Ahmed Fahmy

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Snapshotting Mechanisms for Persistent Memory-Mapped Files.

[BibT_eX]

[DOI]

Mohammad Moridi

Proceedings of the 2024 Workshop on Advanced Tools, 2024

The Illusive Failure-Atomic Double-Width Compare-And-Swap.

[BibT_eX]

[DOI]

Ahmed Fahmy

Adrian Jendo

Proceedings of the 2024 Workshop on Advanced Tools, 2024

2023

Modular Recoverable Mutual Exclusion Under System-Wide Failures.

[BibT_eX]

[DOI]

Sahil Dhoked

Neeraj Mittal

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: On Implementing Wear Leveling in Persistent Synchronization Structures.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures.

[BibT_eX]

[DOI]

Sahil Dhoked

Neeraj Mittal

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

GeoChain: A Locality-Based Sharding Protocol for Permissioned Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

IRS: An Incentive-compatible Reward Scheme for Algorand.

[BibT_eX]

[DOI]

Maizi Liao

Seyed Majid Zahedi

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

An Implementation of Fake News Prevention by Blockchain and Entropy-based Incentive Mechanism.

[BibT_eX]

[DOI]

Soc. Netw. Anal. Min., 2022

A NUMA-Aware Recoverable Mutex Lock.

[BibT_eX]

[DOI]

Ahmed Fahmy

Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

A Closer Look at Detectable Objects for Persistent Memory.

[BibT_eX]

[DOI]

Proceedings of the ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, 2022

Brief Announcement: Towards a Theory of Wear Leveling in Persistent Data Structures.

[BibT_eX]

[DOI]

Xialin Liu

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Recycling Memory in Recoverable Mutex Locks.

[BibT_eX]

[DOI]

Aravind Segu

Proceedings of the Networked Systems - 10th International Conference, 2022

2021

Gossip-based visibility control for high-performance geo-distributed transactions.

[BibT_eX]

[DOI]

VLDB J., 2021

Optimizing All-to-All Data Transmission in WANs.

[BibT_eX]

[DOI]

Hao Tan

IEEE Trans. Netw. Serv. Manag., 2021

Deadline-Aware Cost Optimization for Spark.

[BibT_eX]

[DOI]

IEEE Trans. Big Data, 2021

Detectable Sequential Specifications for Recoverable Shared Objects.

[BibT_eX]

[DOI]

Nan Li

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Sharding Techniques in the Era of Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

A Scalable Recoverable Skip List for Persistent Memory.

[BibT_eX]

[DOI]

Sakib Chowdhury

Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

PHPRX: An Efficient Hash Table for Persistent Memory.

[BibT_eX]

[DOI]

Diego Cepeda

Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects.

[BibT_eX]

[DOI]

Nan Li

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Benchmarking Recoverable Mutex Locks.

[BibT_eX]

[DOI]

Jeffrey Xiao

Zheng Zhang

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

A Closer Look at Quantum Distributed Consensus.

[BibT_eX]

[DOI]

Hao Tan

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Performance and Fault Tolerance Trade-offs in Sharded Permissioned Blockchains.

[BibT_eX]

[DOI]

Anh-Duong Nguyen

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Energy-Efficient Energy Analytics Using a General Purpose Graphics Processing Unit.

[BibT_eX]

[DOI]

Sagnik De

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Ocean Vista: Gossip-Based Visibility Control for Speedy Geo-Distributed Transactions.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Recoverable mutual exclusion.

[BibT_eX]

[DOI]

Aditya Ramaraju

Distributed Comput., 2019

Shallow Overlay Trees Suffice for High-Throughput Consensus.

[BibT_eX]

[DOI]

Hao Tan

CoRR, 2019

Dyn-YCSB: Benchmarking Adaptive Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE World Congress on Services, 2019

The Recoverable Consensus Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory.

[BibT_eX]

[DOI]

Diego Cepeda

Sakib Chowdhury

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Consistify: preserving correctness and SLA under weak consistency.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

Proving PACELC.

[BibT_eX]

[DOI]

SIGACT News, 2018

Computing k-Atomicity in Polynomial Time.

[BibT_eX]

[DOI]

Xiaozhou (Steve) Li

Alejandro López-Ortiz

Naomi Nishimura

SIAM J. Comput., 2018

Analyzing linearizability violations in the presence of read-modify-write operations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

RCanopus: Making Canopus Resilient to Failures and Byzantine Faults.

[BibT_eX]

[DOI]

CoRR, 2018

Recoverable Consensus in Shared Memory.

[BibT_eX]

[DOI]

CoRR, 2018

Recoverable Mutual Exclusion Under System-Wide Failures.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Scalable Transaction Processing Using Functors.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

2017

Smart Meter Data Analytics: Systems, Algorithms, and Benchmarking.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2017

Adaptable SLA-Aware Consistency Tuning for Quorum-Replicated Datastores.

[BibT_eX]

[DOI]

Saikat Basu

IEEE Trans. Big Data, 2017

Self-tuning Eventually-Consistent Data Stores.

[BibT_eX]

[DOI]

Shankha Chatterjee

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Recoverable Mutual Exclusion in Sub-logarithmic Time.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Brief Announcement: A Probabilistic Performance Model and Tuning Framework for Eventually Consistent Distributed Storage Systems.

[BibT_eX]

[DOI]

Shankha Chatterjee

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

ALOHA-KV: high performance read-only and write-only distributed transactions.

[BibT_eX]

[DOI]

Charles B. Morrey III

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Efficient incremental data analytics with apache spark.

[BibT_eX]

[DOI]

Sina Gholamian

Paul A. S. Ward

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

Recoverable Mutual Exclusion: [Extended Abstract].

[BibT_eX]

[DOI]

Aditya Ramaraju

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

WatCA: The Waterloo consistency analyzer.

[BibT_eX]

[DOI]

Shankha Chatterjee

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

Efficient Incremental Smart Grid Data Analytics.

[BibT_eX]

[DOI]

David Xi Cheng

Paul A. S. Ward

Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference, 2016

OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores.

[BibT_eX]

[DOI]

Saikat Basu

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

OptEx: A Deadline-Aware Cost Optimization Model for Spark.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

2015

Understanding the Causes of Consistency Anomalies in Apache Cassandra.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2015

Continuous Partial Quorums for Consistency-Latency Tuning in Distributed NoSQL Storage Systems.

[BibT_eX]

[DOI]

Marlon McKenzie

CoRR, 2015

Computing Weak Consistency in Polynomial Time: [Extended Abstract].

[BibT_eX]

[DOI]

Xiaozhou (Steve) Li

Alejandro López-Ortiz

Naomi Nishimura

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Robust Shared Objects for Non-Volatile Main Memory.

[BibT_eX]

[DOI]

Ryan Berryhill

Mahesh Tripunitara

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Benchmarking Smart Meter Data Analytics.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Extending Database Technology, 2015

Fine-tuning the consistency-latency trade-off in quorum-replicated distributed storage systems.

[BibT_eX]

[DOI]

Marlon McKenzie

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

Eventually consistent: not what you were expecting?

[BibT_eX]

[DOI]

Alvin AuYoung

Kimberly Keeton

Xiaozhou (Steve) Li

Commun. ACM, 2014

Making Sense of Relativistic Distributed Systems.

[BibT_eX]

[DOI]

Seth Gilbert

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Making objects writable.

[BibT_eX]

[DOI]

Zahra Aghazadeh

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Client-Centric Benchmarking of Eventual Consistency for Cloud Storage Systems.

[BibT_eX]

[DOI]

Alvin AuYoung

Kimberly Keeton

Indranil Gupta

Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

2013

Deconstructing Queue-Based Mutual Exclusion.

[BibT_eX]

[DOI]

CoRR, 2013

Brief announcement: resettable objects and efficient memory reclamation for concurrent algorithms.

[BibT_eX]

[DOI]

Zahra Aghazadeh

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

On the k-Atomicity-Verification Problem.

[BibT_eX]

[DOI]

Jeremy Hurwitz

Xiaozhou Li

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Client-centric benchmarking of eventual consistency for cloud storage systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

Minuet: A Scalable Distributed Multiversion B-Tree.

[BibT_eX]

[DOI]

Benjamin Sowell

Mehul A. Shah

Proc. VLDB Endow., 2012

RMR-efficient implementations of comparison primitives using read and write operations.

[BibT_eX]

[DOI]

Distributed Comput., 2012

Toward a Principled Framework for Benchmarking Consistency.

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

2011

Constant-RMR Implementations of CAS and Other Synchronization Primitives Using Read and Write Operations.

[BibT_eX]

[DOI]

PhD thesis, 2011

Linearizable implementations do not suffice for randomized distributed computation.

[BibT_eX]

[DOI]

Lisa Higham

Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011

Analyzing consistency properties for fun and profit.

[BibT_eX]

[DOI]

Xiaozhou Li

Mehul A. Shah

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

A complexity separation between the cache-coherent and distributed shared memory models.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

2010

An O(1) RMRs Leader Election Algorithm.

[BibT_eX]

[DOI]

SIAM J. Comput., 2010

Closing the complexity gap between FCFS mutual exclusion and mutual exclusion.

[BibT_eX]

[DOI]

Robert Danek

Distributed Comput., 2010

Brief announcement: locally-accessible implementations for distributed shared memory multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

2008

Review of DISC 2008.

[BibT_eX]

[DOI]

Robert Danek

Wojciech Wawrzyniak

SIGACT News, 2008

A practical scalable distributed B-tree.

[BibT_eX]

[DOI]

Marcos Kawazoe Aguilera

Mehul A. Shah

Proc. VLDB Endow., 2008

Path selection in user-controlled circuit-switched optical networks.

[BibT_eX]

[DOI]

Opt. Switch. Netw., 2008

Closing the complexity gap between mutual exclusion and FCFS mutual exclusion.

[BibT_eX]

[DOI]

Robert Danek

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

Admission control in data transfers over lightpaths.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2007

Constant-RMR implementations of CAS and other synchronization primitives using read and write operations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

An <i>O</i>(1) RMRs leader election algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

2004

Policy-driven automated reconfiguration for performance management in WDM optical networks.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2004

Lightpaths on demand: a Web-services-based management system.

[BibT_eX]

[DOI]

Youssef Iraqi

IEEE Commun. Mag., 2004

Resource Allocation in User-Controlled Circuit-Switched Optical Networks.

[BibT_eX]

[DOI]