Search For:

Displaying 1-21 out of 21 total
Zyzzyva: speculative Byzantine fault tolerance
Found in: Communications of the ACM
By Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin, Ramakrishna Kotla, Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin, Ramakrishna Kotla
Issue Date:November 2008
pp. 486-487
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databases. It must be possible for analysts to easily and incrementally change both ...
     
Building a Hypervisor on a Formally Verifiable Protection Layer
Found in: 2013 46th Hawaii International Conference on System Sciences (HICSS)
By Michael McCoyd,Robert Bellarmine Krug,Deepak Goel,Mike Dahlin,William Young
Issue Date:January 2013
pp. 5069-5078
Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying hyper visor. Hyper visors provide complete control of the virtualized resources (protecti...
   
Self-Tuning, Bandwidth-Aware Monitoring for Dynamic Data Streams
Found in: Data Engineering, International Conference on
By Navendu Jain, Praveen Yalagandula, Mike Dahlin, Yin Zhang
Issue Date:April 2009
pp. 114-125
We present SMART, a self-tuning, bandwidth-aware monitoring system that maximizes result precision of continuous aggregate queries over dynamic data streams. While prior approaches minimize bandwidth cost under fixed precision constraints, they may still o...
 
Shruti: A Self-Tuning Hierarchical Aggregation System
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Praveen Yalagandula, Mike Dahlin
Issue Date:July 2007
pp. 141-150
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read and write access patterns in large systems and hence applications built on such...
 
Towards Self-Configuring Hardware for Distributed Computer Systems
Found in: Autonomic Computing, International Conference on
By Jonathan Wildstrom, Peter Stone, Emmett Witchel, Raymond J. Mooney, Mike Dahlin
Issue Date:June 2005
pp. 241-249
High-end servers that can be partitioned into logical subsystems and repartitioned on the fly are now becoming available. This development raises the possibility of reconfiguring distributed systems online to optimize for dynamically changing workloads. Th...
 
Improving Availability and Performance with Application-Specific Data Replication
Found in: IEEE Transactions on Knowledge and Data Engineering
By Lei Gao, Mike Dahlin, Amol Nayate, Jiandan Zheng, Arun Iyengar
Issue Date:January 2005
pp. 106-120
The emerging edge services architecture promises to improve the availability and performance of Web services by replicating servers at geographically distributed sites. A key challenge in such systems is data replication and consistency, so that edge serve...
 
Scaling to the End of Silicon with EDGE Architectures
Found in: Computer
By Doug Burger, Stephen W. Keckler, Kathryn S. McKinley, Mike Dahlin, Lizy K. John, Calvin Lin, Charles R. Moore, James Burrill, Robert G. McDonald, William Yoder, the TRIPS Team
Issue Date:July 2004
pp. 44-55
Post-RISC microprocessor designs must introduce new ISAs to address the challenges that modern CMOS technologies pose while also exploiting the massive levels of integration now possible. To meet these challenges, the TRIPS Team at the University of Texas ...
 
High Throughput Byzantine Fault Tolerance
Found in: Dependable Systems and Networks, International Conference on
By Ramakrishna Kotla, Mike Dahlin
Issue Date:July 2004
pp. 575
This paper argues for a simple change to Byzantine Fault Tolerant (BFT) state machine replication libraries. Traditional BFT state machine replication techniques provide high availability and security but fail to provide high throughput. This limitation st...
 
C0PE:Consistent 0-Administration Personal Environment
Found in: Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
By Praveen Yalagandula, Lorenzo Alvisi, Mike Dahlin, and Harrick Vin
Issue Date:January 2001
pp. 34
We present an overview of C0PE,a project that aims at building an infrastructure or self-configuring personal environment.The main goals of this project are (i)to reduce the onus of system administration by allowing devices to be configured automatically,a...
 
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services
Found in: IEEE Transactions on Dependable and Secure Computing
By Lei Gao, Mike Dahlin, Jiandan Zheng, Lorenzo Alvisi, Arun Iyengar
Issue Date:April 2010
pp. 159-174
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet services via distributed edge servers that operate on a shared collection of underl...
 
Depot: Cloud Storage with Minimal Trust
Found in: ACM Transactions on Computer Systems (TOCS)
By Allen Clement, Lorenzo Alvisi, Michael Walfish, Mike Dahlin, Prince Mahajan, Sangmin Lee, Srinath Setty
Issue Date:December 2011
pp. 1-38
This article describes the design, implementation, and evaluation of Depot, a cloud storage system that minimizes trust assumptions. Depot tolerates buggy or malicious behavior by any number of clients or servers, yet it provides safety and liveness guaran...
     
Zyzzyva: Speculative Byzantine fault tolerance
Found in: ACM Transactions on Computer Systems (TOCS)
By Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin, Ramakrishna Kotla
Issue Date:December 2009
pp. 1-39
A longstanding vision in distributed systems is to build reliable systems from unreliable components. An enticing formulation of this vision is Byzantine Fault-Tolerant (BFT) state machine replication, in which a group of servers collectively act as a corr...
     
Upright cluster services
Found in: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles (SOSP '09)
By Allen Clement, Lorenzo Alvisi, Manos Kapritsos, Mike Dahlin, Sangmin Lee, Taylor Riche, Yang Wang
Issue Date:October 2009
pp. 277-290
The UpRight library seeks to make Byzantine fault tolerance (BFT) a simple and viable alternative to crash fault tolerance for a range of cluster services. We demonstrate UpRight by producing BFT versions of the Zookeeper lock service and the Hadoop Distri...
     
BFT: the time is now
Found in: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (LADIS '08)
By Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin, Mirco Marchetti
Issue Date:September 2008
pp. 1-36
Data centers strive to provide reliable access to the data and services that they host. This reliable access requires the hosted data and services hosted by the data center to be both consistent and available. Byzantine fault tolerance (BFT) replication of...
     
A scalable distributed information management system
Found in: Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications (SIGCOMM '04)
By Mike Dahlin, Praveen Yalagandula
Issue Date:August 2004
pp. 95-104
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building block for a broad range of large-scale distributed applications by providing deta...
     
Application specific data replication for edge services
Found in: Proceedings of the twelfth international conference on World Wide Web (WWW '03)
By Amol Nayate, Arun Iyengar, Jiandan Zheng, Lei Gao, Mike Dahlin
Issue Date:May 2003
pp. 449-460
The emerging edge services architecture promises to improve the availability and performance of web services by replicating servers at geographically distributed sites. A key challenge in such systems is data replication and consistency so that edge server...
     
Operating system support for massive replication
Found in: Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC (EW10)
By Arun Venkataramani, Mike Dahlin, Ravi Kokku
Issue Date:July 2002
pp. 227-230
The increasing number of devices used by each user to access data and services and the increasing importance of the data and services available electronically both favor "access-anywhere" network-delivered services. Unfortunately, making such services high...
     
Engineering web cache consistency
Found in: ACM Transactions on Internet Technology (TOIT)
By Arun Iyengar, Jian Yin, Lorenzo Alvisi, Mike Dahlin
Issue Date:August 2001
pp. 224-259
Server-driven consistency protocols can reduce read latency and improve data freshness for a given network and server overhead, compared to the traditional consistency protocols that rely on client polling. Server-driven consistency protocols appear partic...
     
Bandwidth constrained placement in a WAN
Found in: Proceedings of the twentieth annual ACM symposium on Principles of distributed computing (PODC '01)
By Arun Venkataramani, Mike Dahlin, Phoebe Weidmann
Issue Date:August 2001
pp. 134-143
In this paper, we examine the bandwidth-constrained placement problem, focusing on trade-offs appropriate for wide area network (WAN) environments. The goal is to place copies of objects at a collection of distributed caches to minimize expected access tim...
     
Resource management for scalable disconnected access to Web services
Found in: Proceedings of the tenth international conference on World Wide Web (WWW '01)
By Amjad-Ali Khoja, Amol Nayate, Anil Sewani, Asim Razzaq, Bharat Chandra, Lei Gao, Mike Dahlin
Issue Date:May 2001
pp. 245-256
This paper describes the challenges faced by designers in creating accessible systems for the elderly. CARSE, an assessment tool, which has been synthesized and empirically validated of the semantic efficacy of interface metaphor, is used to evaluate two s...
     
Engineering server-driven consistency for large scale dynamic Web services
Found in: Proceedings of the tenth international conference on World Wide Web (WWW '01)
By Arun Iyengar, Jian Yin, Lorenzo Alvisi, Mike Dahlin
Issue Date:May 2001
pp. 45-57
This paper describes the challenges faced by designers in creating accessible systems for the elderly. CARSE, an assessment tool, which has been synthesized and empirically validated of the semantic efficacy of interface metaphor, is used to evaluate two s...
     
 1