Homepage for Marcos K. Aguilera
CONTACTVMware Research 3401 Hillview Ave, Palo Alto, CA 94304 USA m[lastname] at vmware com +1-650-427-5858
RESUME Available here, as of February 2016.NEWS2019-jan-1: This year I'm working in a VMware engineering group to tech transfer some cool research ideas. We're hiring. Let me know if you're interested in a job that straddles engineering and research.
2018-dec-1: Our black-box concurrent data structures work was highlighted in CACM here2018-nov-5: I am in the program committee of the HotOS 2019 workshop 2018-jul-1: I am giving a keynote in the ApPLIED 2018 workshop 2018-jun-15: I am giving a keynote in the LADIS 2018 workshop 2018-apr-28: M&M model paper accepted to PODC 2018 2018-mar-1: I am part of the program committee of ASPLOS 2019 2017-nov-1: I am part of the program committee of DISC 2018 2017-oct-17: I am part of program committee of OSDI 2018 2017-apr-11: We got best paper award in ASPLOS 2017 for the work on black-box concurrent data structures. 2017-dec-01: I am co-chairing the HotStorage 2017 workshop. 2016-may-01: The invited paper "The many faces of consistency" is now available.
RESEARCH INTERESTSDistributed systems SELECTED PROJECTS- Remote memory. Designed, implemented, and evaluated remote memory. Proposed a list of open problems (SoCC 2017), a file-based abstraction (ATC 2018), and a new distributed computing model (PODC 2018).
- 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 ACTIVITIESProgram committee ASPLOS 2019 Program committee OSDI 2018, DISC 2018 Program committee SOSP 2017, DISC 2017 Program committee VLDB 2016, ASPLOS 2016, PODC 2016 Program committee SOSP 2015, HotOS 2015, DISC 2015, HotStorage 2015 Program committee DSN 2014, HotDep 2014 Program committee DSN 2013, FAST 2013, Hotdep 2013 Program committee DSN 2012, HotDep 2012, ICDCN 2012, P2P 2012, SSS 2012 Program committee DISC 2011, FAST 2011, CloudDB 2011, LADC 2011 Program committee SPAA 2011, OPODIS 2011, TADDS 2011 Program committee PODC 2010, DISC 2010, DSN 2010, OPODIS 2010, SAN 2010, SSS 2010 Program committee DISC 2009, Hotdep 2009, ICDCN 2009, LADC 2009 Program committee PODC 2009, OPODIS 2009, SSS 2009 Program committee OSDI 2008, DSN 2008, ICDCN 2008 Co-chair of the program committee HotStorage 2017 Co-chair of the program committee SoCC 2016 Chair of the program committee OPODIS 2014 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 PAPERS1. Practice of distributed systemsHow to implement any concurrent data structure. Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos K. Aguilera. Communications of the ACM, December 2018.
Remote regions: a simple abstraction for remote memory. Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei. Usenix Annual Technical Conference, July 2018. Remote memory in the age of fast networks. Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, Michael Wei. ACM Symposium on Cloud Computing, September 2017. 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 systemsPassing messages while sharing memory. Marcos K. Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, Sam Toueg. ACM Symposium on Principles of Distributed Computing, July 2018. Locking timestamps versus locking objects. Marcos K. Aguilera, Tudor David, Rachid Guerraoui, Junxiong Wang. ACM Symposium on Principles of Distributed Computing, July 2018. 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.
|
|