Homepage for Marcos K. Aguilera


Marcos K. Aguilera 

CONTACT

VMware Research Group
3401 Hillview Ave, Palo Alto, CA 94304  USA
m[lastname] at vmware com
+1-650-427-5858

RESUME

Available here, as of February 2016.

NEWS

2016-may-1: The invited paper "The many faces of consistency" is now available
2016-mar-17: Yesquel 0.3 is now available.
2016-mar-1: I will be co-chairing the program committee of SoCC 2016
2016-jan-25: Yesquel source code available at github
2015-sep-09: Yesquel paper available (scalable SQL database system for Web applications)
2015-jun-28: Yesquel paper to appear at SOSP 2015
2015-may-08: I joined the program committee of ASPLOS 2016
2015-apr-01: I am giving a keynote at SFMA 2015, co-located with EuroSys 2015
2015-feb-01: I am giving a keynote at PaPoC 2015, co-located with EuroSys 2015
2015-jan-21: Albatross paper to appear at EuroSys 2015
2014-dec-08: I now work as a researcher at VMware

RESEARCH INTERESTS

Distributed systems

SELECTED PROJECTS

  • Yesquel. Designed, implemented, and evaluated a scalable and distributed SQL database system for Web applications, which features a new architecture and distributed balanced trees (SOSP 2015). Available on github.

  • Geo-distributed systems. Proposed abstractions and concepts to develop distributed systems that span many data centers, including transaction chains (SOSP 2013), parallel snapshot isolation (SOSP 2011), online migration (ATC 2011), and RPC chains (NSDI 2009).
  • Reliable failure detectors. Proposed mechanisms to realize reliable failure detectors (EuroSys 2015, NSDI 2013, SOSP 2011, HotOS 2009).

  • Sinfonia. Designed, implemented, and evaluated lightweight transactions to develop applications in data centers (TOCS 2009, SOSP 2007).

  • Black-box performance debugging. Proposed concepts and techniques to debug the performance of complex distributed systems (SOSP 2003).

  • Reconfiguration without consensus. Proposed algorithms to reconfigure distributed storage without the use of consensus (JACM 2011, PODC 2009).

  • Leader election. Proposed algorithms for electing leaders in distributed systems (DIST COMP 2008, PODC 2004, PODC 2003, DISC 2001).

  • Content-based publish-subscribe systems. Proposed a publish-subscribe system based on message content, with a matching algorithm that runs in sub-linear time (PODC 1999).

RECENT PROFESSIONAL ACTIVITIES

Program committee VLDB 2016, ASPLOS 2016, PODC 2016
Program committee SOSP 2015, HotOS 2015, DISC 2015

Program committee DSN 2014, HotDep 2014
Program committee PODC 2009, OPODIS 2009SSS 2009
Program committee OSDI 2008, DSN 2008, ICDCN 2008

Co-chair of the program committee SoCC 2016
Chair of the program committee DISC 2012
Co-chair of algorithms and theory track ICDCS 2012
Co-chair of program committee ICDCN 2011
Co-chair of program committee LADIS 2010
Steering committee LADC 2011, LADC 2009
Co-chair of Industry track PODC 2009

RECENT PAPERS

1. Practice of distributed systems

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.

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 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.

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).

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.

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.

2. Theory of distributed systems

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.
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.

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.

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

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.

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.


ALL PAPERS

            Click here