All Papers

Papers of Marcos K. Aguilera

Logical memory pools: flexible and local disaggregated memory.
Emmanuel Amaro, Stephanie Wang, Aurojit Panda, Marcos K. Aguilera.
ACM Workshop on Hot Topics in Networks (HotNets), November 2023.

Limited access: the truth behind far memory.
Anil Yelam, Stewart Grant, Enze Liu, Radhika Niranjan Mysore, Marcos K. Aguilera, Amy Ousterhout, Alex C. Snoeren.
Workshop on Resource Disaggregation and Serverless (WORDS), October 2023.

DINOMO: an elastic, scalable, high-performance key-value store for disaggregated persistent memory.
Se Kwon Lee, Soujanya Ponnapalli, Sharad Singhal, Marcos K. Aguilera, Kimberly Keeton, Vijay Chidambaram.
International Conference on Very Large Data Bases (VLDB), August 2023.

Nu: achieving microsecond-scale resource fungibility with logical processes.
Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, Malte Schwarzkopf.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2023.

uBFT: microsecond-scale BFT using disaggregated memory.
Marcos K. Aguilera, Naama Ben David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi.
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2023.

Frugal byzantine computing.
Marcos K. Aguilera, Naama Ben David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi.
International Symposium on Distributed Computing (DISC), October 2021.

AIFM: high-performance, application-integrated far memory.
Zhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, Adam Belay.
Usenix Symposium on Operating Systems Design and Implementation (OSDI), November 2020.

Microsecond consensus for microsecond applications.
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi.
Usenix Symposium on Operating Systems Design and Implementation (OSDI), November 2020.

Can far memory improve job throughput?
Emmanuel Amaro, Christopher Branner-Augmon, Zhihong Luo, Amy Ousterhout, Marcos K. Aguil- era, Aurojit Panda, Sylvia Ratnasamy, Scott Shenker.
European Conference on Computer Systems (EuroSys), April 2020.

Hillview: a trillion-cell spreadsheet for big data.
Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera.
International Conference on Very Large Data Bases (VLDB), August 2019.

The impact of RDMA on agreement.
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Igor Zablotchi.
ACM Symposium on Principles of Distributed Computing (PODC), July 2019.

Storm: a fast transactional dataplane for remote data structures.
Stanko Novakovic, Yizhou Shan, Aasheesh Kolli, Michael Cui, Yiying Zhang, Haggai Eran, Boris Pismenny, Liran Liss, Michael Wei, Dan Tsafrir, Marcos K. Aguilera.
ACM International Systems and Storage Conference (SYSTOR), June 2019.

Designing far memory data structures: think outside the box.
Marcos K. Aguilera, Kimberly Keeton, Stanko Novakovic, Sharad Singhal.
Usenix Workshop on Hot Topics in Operating Systems (HotOS), May 2019.

How to implement any concurrent data structure.
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos K. Aguilera.
Communications of the ACM, December 2018.

Passing 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 (PODC), July 2018.

Locking timestamps versus locking objects.
Marcos K. Aguilera, Tudor David, Rachid Guerraoui, Junxiong Wang.
ACM Symposium on Principles of Distributed Computing (PODC), July 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 (Usenix ATC), July 2018.

Black-box concurrent data structures for NUMA architectures.
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos K. Aguilera.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2017.

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 (SoCC), 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 (SOSP), 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 (EuroSys), 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 (PODC), 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 (SOSP), 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 (NSDI), 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 (Usenix ATC), 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 (PODC), 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 (SOSP), October 2011. 

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

Online migration for geo-distributed storage systems.
Nguyen Tran, Marcos K. Aguilera, and Mahesh Balakrishnan.
Usenix Annual Technical Conference (Usenix ATC), 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 (PODC), 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 (HotOS), 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 (DISC), September 2008.

Fast asynchronous consensus with optimal resilience.
Ittai Abraham, Marcos K. Aguilera and Dahlia Malkhi.
International Symposium on Distributed Computing (DISC), 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 (PODC), 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 (SOSP), 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 (POC), 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 (PODC), August 2009. 

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

No time for asynchrony.
Marcos K. Aguilera, Michael Walfish.
Usenix Workshop on Hot Topics in Operating Systems (HotOS), 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 (NSDI), 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 (PODC), July 2003

The mailbox problem.
Marcos K. Aguilera, Eli Gafni, Leslie Lamport.
International Symposium on Distributed Computing (DISC), 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 (VLDB), August 2008.

Timeliness-based wait-freedom: a gracefully degrading progress condition.
Marcos K. Aguilera, Sam Toueg.
ACM Symposium on Principles of Distributed Computing (PODC), 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 (SOSP), 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 (PODC), 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 (DSN), June 2007.

Altering document term vectors for classification: ontologies as expectations of co-occurrence.
Meenakshi Nagarajan, Amit P. Sheth, Marcos Kawazoe Aguilera, Kimberly Keeton, Arif Merchant, Mustafa Uysal.
International Conference on World Wide Web (WWW), 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 (DSN), 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 (NSDI), 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 (WWW), 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 (ISIT), 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 (DSN), 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 (PODC), 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 (DISC), 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 (SOSP), 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 (PODC), July 2003. 

On using network attached disks as shared memory.
Marcos K. Aguilera, Burkhard Englert, Eli Gafni.
ACM Symposium on Principles of Distributed Computing (PODC), 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 (FAST), 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 (DISC), 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 (DSN), June 2000. 

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

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

Efficient atomic broadcast using deterministic merge.
Marcos K. Aguilera, Robert E. Strom.
ACM Symposium on Principles of Distributed Computing (PODC), July 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 (DSN), 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 (DISC), 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 (DISC), 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 (WDAG), 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 (PODC), 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 (WDAG), October 1996. 

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

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

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