Distributed Systems

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

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.