Refereed papers by Marcos K. Aguilera

Practice of distributed systems

Transaction chains: achieving serializability with low latency in geo-distributed storage systems.
Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li.
ACM Symposium on Operating Systems Principles, November 2013.

Consistency-based service level agreements for cloud storage.
Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh.
ACM Symposium on Operating Systems Principles, November 2013.

Improving availability in distributed systems with failure informers.
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, Michael Walfish.
Symposium on Networked Systems Design and Implementation, April 2013.

Surviving congestion in geo-distributed storage systems.
Brian Cho, Marcos K. Aguilera.
Usenix Annual Technical Conference, June 2012.

Detecting failures in distributed systems with the FALCON spy network.
Joshua Leners, Hao Wu, Wei-Lun, Marcos K. Aguilera, Michael Walfish.
ACM Symposium on Operating Systems Principles, October 2011.

Transactional storage for geo-replicated systems.
Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li.
ACM Symposium on Operating Systems Principles, October 2011.

Online migration for geo-distributed storage systems.
Nguyen Tran, Marcos K. Aguilera, and Mahesh Balakrishnan.
Usenix Annual Technical Conference, June 2011.

Sinfonia: a new paradigm for building scalable distributed systems.
Marcos K. Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis.
ACM Transactions on Computer Systems, 27(3), November 2009.

No time for asynchrony.
Marcos K. Aguilera, Michael Walfish.
Usenix Workshop on Hot Topics in Operating Systems, May 2009.

RPC Chains: Efficient client-server communication in geodistributed systems.
Yee Jiun Song, Marcos K. Aguilera, Ramakrishna Kotla, Dahlia Malkhi.
Symposium on Networked Systems Design and Implementation, April 2009.

Transaction rate limiters for peer-to-peer systems.
Marcos K. Aguilera, Mark Lillibridge, Xiaozhou Li.
International Conference on Peer-to-Peer Computing, September 2008.

A practical scalable distributed B-tree.
Marcos K. Aguilera, Wojciech Golab, Mehul Shah.
International Conference on Very Large Data Bases, August 2008.

Sinfonia: a new paradigm for building scalable distributed systems. (Best paper award)
Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, Christos Karamanolis.
ACM Symposium on Operating Systems Principles, October 2007.

Improving recoverability in multi-tier storage systems.
Marcos K. Aguilera, Kimberly Keeton, Arif Merchant, Kiran-Kumar Muniswamy-Reddy, Mustafa Uysal.
International Conference on Dependable Systems and Networks, June 2007.

Olive: distributed point-in-time branching storage for real systems.
Marcos K. Aguilera, Susan Spence, Alistair Veitch.
3rd Symposium on Networked Systems Design and Implementation, May 2006.

WAP5: black-box performance debugging for wide-area systems.
Patrick Reynolds, Janet Wiener, Jeff Mogul, Marcos K. Aguilera, Amin Vahdat.
International Conference on World Wide Web, May 2006.

Performance debugging for distributed systems of black boxes.
Marcos K. Aguilera, Jeffrey C. Mogul, Janet Wiener, Patrick Reynolds, Athicha Muthitacharoen.
ACM Symposium on Operating Systems Principles, October 2003.

Block-level security for network attached disks.
Marcos K. Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick,
Erwin Oertli, Dave Andersen, Mike Burrows, Timothy Mann, Chandramohan Thekkath.
USENIX Conference on File and Storage Technologies, March 2003.

Matching events in a content-based subscription system.
Marcos K. Aguilera, Robert E. Strom, Daniel C. Sturman, Mark Astley, Tushar D. Chandra.
ACM Symposium on Principles of Distributed Computing, May 1999.

Theory of distributed computing

The correctness proof of Ben-Or’s randomized consensus algorithm.
Marcos K. Aguilera, Sam Toueg.
Distributed Computing, 25(5):371-381, October 2012.

Partial synchrony based on set timeliness.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
Distributed Computing, June 2012.
Previously appeared at the ACM Symposium on Principles of Distributed Computing, August 2009.

Dynamic atomic storage without consensus.
Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer.
Journal of the ACM, 58(2):7, April 2011.

Reconfiguring replicated atomic storage: a tutorial.
Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer.
Distributed Computing column, Bulletin of the EATCS, pp. 84-108, October 2010.

The mailbox problem.
Marcos K. Aguilera, Eli Gafni, Leslie Lamport.
Distributed Computing, 23(2), pp. 113-134, October 2010.

Fast asynchronous consensus with optimal resilience.
Ittai Abraham, Marcos K. Aguilera and Dahlia Malkhi.
International Symposium on Distributed Computing, September 2010.

Adaptive progress: a gracefully-degrading liveness property.
Marcos K. Aguilera, Sam Toueg.
Distributed Computing, 22(5-6), pp. 303-334, August 2010.

Stumbling over consensus research: misunderstandings and issues.
Marcos K. Aguilera.
Replication: theory and practice. LNCS 5959, Chapter 4, March 2010.

Remote storage with byzantine servers.
Marcos K. Aguilera, Ram Swaminathan.
ACM Symposium on Parallelism in Algorithms and Architectures, August 2009.

Partial synchrony based on set timeliness.        (tech report version here)
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
ACM Symposium on Principles of Distributed Computing, August 2009.

Dynamic atomic storage without consensus.
Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer.
ACM Symposium on Principles of Distributed Computing, August 2009.

On implementing Omega in systems with weak reliability and synchrony assumptions.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
Distributed Computing, 21(4), pp. 239-314, October 2008.

The mailbox problem.
Marcos K. Aguilera, Eli Gafni, Leslie Lamport.
International Symposium on Distributed Computing, September 2008.

Timeliness-based wait-freedom: a gracefully degrading progress condition.
Marcos K. Aguilera, Sam Toueg.
ACM Symposium on Principles of Distributed Computing, August 2008.

Abortable and query-abortable objects and their efficient implementation.
Marcos K. Aguilera, Svend Frolund, Vassos Hadzilacos, Stephanie Horn, Sam Toueg.
ACM Symposium on Principles of Distributed Computing, August 2007.

Brief announcement: remote storage with byzantine servers.
Marcos K. Aguilera, Ram Swaminathan.
ACM Symposium on Principles of Distributed Computing, August 2007.

Altering document term vectors for classification - Ontologies as expectations of co-occurrence. (Poster)
Meenakshi Nagarajan, Amit Sheth, Marcos K. Aguilera, Kimberly Keeton, Arif Merchant, Mustafa Uysal.
International World Wide Web Conference, May 2007.

Consensus with byzantine failures and little system synchrony.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
International Conference on Dependable Systems and Networks, June 2006.

On the erasure recoverability of MDS codes under concurrent updates.
Marcos K. Aguilera, Ramaprabhu Janakiraman, Lihao Xu.
International Symposium on Information Theory, September 2005.

Using erasure codes efficiently for storage in a distributed system.
Marcos K. Aguilera, Ramaprabhu Janakiraman, Lihao Xu.
International Conference on Dependable Systems and Networks, June 2005.

Communication-efficient leader election and consensus with limited link synchrony.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
ACM Symposium on Principles of Distributed Computing, July 2004.

A pleasant stroll through the land of infinitely many creatures.
Marcos K. Aguilera.
ACM SIGACT News Distributed Computing Column, August 2004.

Uniform solvability with a finite number of MWMR registers.
Marcos K. Aguilera, Burkhard Englert, Eli Gafni.
International Symposium on Distributed Computing, October 2003.

On implementing Omega with weak reliability and synchrony assumptions.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
ACM Symposium on Principles of Distributed Computing, July 2003.

On using network attached disks as shared memory.
Marcos K. Aguilera, Burkhard Englert, Eli Gafni.
ACM Symposium on Principles of Distributed Computing, July 2003.

On the impact of fast failure detectors on real-time fault-tolerant systems.
Marcos K. Aguilera, Gerard Le Lann, Sam Toueg.
International Symposium on Distributed Computing, October 2002.

On the quality of service of failure detectors.
Wei Chen, Sam Toueg, Marcos K. Aguilera.
IEEE Transactions on Computers, 51(5), pp. 561-580, May 2002.

Stable leader election.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
International Symposium on Distributed Computing, October 2001.

Thrifty generic broadcast.
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg.
International Symposium on Distributed Computing, October 2000.

Efficient atomic broadcast using deterministic merge.
Marcos K. Aguilera, Robert E. Strom.
ACM Symposium on Principles of Distributed Computing, July 2000.

Failure detection and consensus in the crash-recovery model.
Marcos K. Aguilera, Wei Chen, Sam Toueg.
Distributed Computing, 13(2), pp. 99-125, April 2000.

On quiescent reliable communication.
Marcos K. Aguilera, Wei Chen, Sam Toueg.
SIAM Journal on Computing, 29(6), pp. 2040-2073, April 2000.

Revisiting the weakest failure detector for uniform reliable broadcast.
Marcos K. Aguilera, Sam Toueg, Borislav Deianov.
International Symposium on Distributed Computing, September 1999.

A simple bivalency proof that t-resilient consensus requires t + 1 rounds.
Marcos K. Aguilera, Sam Toueg.
Information Processing Letters, 71(3-4), pp. 155-158, August 1999.

Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks.
Marcos K. Aguilera, Wei Chen, Sam Toueg.
Theoretical Computer Science, 220(1), pp. 3-30, June 1999.

Failure detection and consensus in the crash-recovery model.
Marcos K. Aguilera, Wei Chen, Sam Toueg.
International Symposium on Distributed Computing, September 1998.

Failure detection and randomization: a hybrid approach to solve consensus.
Marcos K. Aguilera, Sam Toueg.
SIAM Journal on Computing, 28(3), pp. 390-903, June 1998.

Heartbeat: a timeout-free failure detector for quiescent reliable communication.
Marcos K. Aguilera, Wei Chen, Sam Toueg.
International Workshop on Distributed Algorithms, September 1997.

Randomization and failure detection: a hybrid approach to solve consensus.
Marcos K. Aguilera, Sam Toueg.
International Workshop on Distributed Algorithms, October 1996.