Papers of Marcos K. Aguilera

The many faces of consistency.
Marcos K. Aguilera, Douglas B. Terry.
Data Engineering Bulletin, March 2016.

Yesquel: Scalable SQL storage for Web applications.
Marcos K. Aguilera, Joshua B. Leners, Michael Walfish.
ACM Symposium on Operating Systems Principles, October 2015.

Taming uncertainty in distributed systems with help from the network.
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish.
ACM European Conference on Computer Systems, April 2015.

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.

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

Surviving congestion in geo-distributed storage systems.
Brian Cho, Marcos K. Aguilera.
Usenix Annual Technical Conference, June 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.

Detecting failures in distributed systems with the FALCON spy network.
Joshua Leners, Hao Wu, Wei-Lun Hung, 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.

Dynamic atomic storage without consensus.
Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer.
Journal of the ACM, 58(2):7, April 2011.
Previously appeared at the ACM Symposium on Principles of Distributed Computing, August 2009.

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.

Location, location, location!: modeling data proximity in the cloud.
Birjodh Tiwana, Mahesh Balakrishnan, Marcos K. Aguilera, Hitesh Ballani, Z. Morley Mao.
ACM Workshop on Hot Topics in Networks, October 2010. 

The mailbox problem.
Marcos K. Aguilera, Eli Gafni, Leslie Lamport.
Distributed Computing, 23(2), pp. 113-134, October 2010.
Previously appeared at the International Symposium on Distributed Computing, September 2008.

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.
Previously appeared at the ACM Symposium on Principles of Distributed Computing, August 2008.

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

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.
Previously appeared at the ACM Symposium on Operating Systems Principles, October 2007 (best paper award).

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

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

      Remote storage with byzantine servers.
      Marcos K. Aguilera, Ram Swaminathan.
      ACM Symposium on Parallelism in Algorithms and Architectures, August 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. 

      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.
      Previously appeared at the 
      ACM Symposium on Principles of Distributed Computing, July 2003

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

        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.

        Timeliness-based wait-freedom: a gracefully degrading progress condition.
        Marcos K. Aguilera, Sam Toueg.
        ACM Symposium on Principles of Distributed Computing, August 2008. 
          Sinfonia: a new paradigm for building scalable distributed systems.
          Marcos K. Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis.
          ACM Symposium on Operating Systems Principles, October 2007 (best paper award).

          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.

          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.

          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.

          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.

          On the erasure recoverability of MDS codes under concurrent updates.
          Marcos K. Aguilera, Ramaprabhu Janakiraman, Lihao Xu.
          IEEE International Symposium on Information Theory
          , September 2005.
           
          Using erasure codes efficiently for storage in a distributed system.
          Marcos K. Aguilera, Ramaprabhu Janakiraman, Lihao Xu.
          IEEE/IFIP 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, June 2004.
           
          Uniform solvability with a finite number of MWMR registers.
          Marcos K. Aguilera, Burkhard Englert, Eli Gafni.
          International Symposium on Distributed Computing, October 2003.
           

          Performance debugging for distributed systems of black boxes.
          Marcos K. Aguilera, Jeffrey C. Mogul, Janet Wiener, Athicha Muthitacharoen. ACM Symposium on Operating Systems Principles, 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.

            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.
             

            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, May 2002. 
            Previously appeared at the
            IEEE/IFIP International Conference on Dependable Systems and Networks, June 2000. 

            On the quality of service of failure detectors.
            Wei Chen, Sam Toueg, Marcos K. Aguilera.
            IEEE/IFIP International Conference on Dependable Systems and Networks, June 2000. 
              Failure detection and consensus in the crash-recovery model.
              Marcos K. Aguilera, Wei Chen, Sam Toueg.
              Distributed Computing journal, April 2000.
              Previously appeared at the International Symposium on Distributed Computing, September 1998.

              On quiescent reliable communication.
              Marcos K. Aguilera, Wei Chen, Sam Toueg.
              SIAM Journal on Computing, 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, 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 journal, June 1999.
              Previously appeared at the 
              International Workshop on Distributed Algorithms, September 1997.

              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.

              Failure detection and randomization: a hybrid approach to solve consensus.
              Marcos K. Aguilera, Sam Toueg.
              SIAM Journal on Computing, June 1998.
              Previously appeared at the 
              International Workshop on Distributed Algorithms, October 1996. 

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

              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.