Lorenzo Alvisi

According to our database1, Lorenzo Alvisi
  • authored at least 99 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of two.

Awards

ACM Fellow

ACM Fellow 2010, "For contributions to fault-tolerant distributed computing, bridging theory and practice.".

IEEE Fellow

IEEE Fellow 2016, "For contributions to reliable distributed systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Privacy-Preserving Data Analysis for the Federal Statistical Agencies.
CoRR, 2017

Bringing Modular Concurrency Control to the Next Level.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Pretzel: Email encryption and provider-supplied functions are compatible.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Seeing is Believing: A Client-Centric Specification of Database Isolation.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016
Pretzel: Email encryption and provider-supplied functions are compatible.
CoRR, 2016

Seeing is Believing: A Unified Model for Consistency and Isolation via States.
CoRR, 2016

TARDiS: A Branch-and-Merge Approach To Weak Consistency.
Proceedings of the 2016 International Conference on Management of Data, 2016

Scalable and Private Media Consumption with Popcorn.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

2015
Scalable and private media consumption with Popcorn.
IACR Cryptology ePrint Archive, 2015

High-performance ACID via modular concurrency control.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014
Communities, Random Walks, and Social Sybil Defense.
Internet Mathematics, 2014

Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage.
Proceedings of the International Conference on Systems and Storage, 2014

Salt: Combining ACID and BASE in a Distributed Database.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013
SoK: The Evolution of Sybil Defense via Social Networks.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

What's a little collusion between friends?
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Robustness in the Salus Scalable Block Store.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Reasoning with MAD Distributed Systems.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

All about Eve: Execute-Verify Replication for Multi-Core Servers.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2011
Depot: Cloud Storage with Minimal Trust.
ACM Trans. Comput. Syst., 2011

Distributed computing meets game theory: combining insights from two fields.
SIGACT News, 2011

Special issue on PODC 2009.
Distributed Computing, 2011

Regret Freedom Isn't Free.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services.
IEEE Trans. Dependable Sec. Comput., 2010

It's on Me! The Benefit of Altruism in BAR Environments.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Depot: Cloud Storage with Minimal Trust.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009
Practical and low-overhead masking of failures of TCP-based servers.
ACM Trans. Comput. Syst., 2009

Zyzzyva: Speculative Byzantine fault tolerance.
ACM Trans. Comput. Syst., 2009

The 2009 Edsger W. Dijkstra Prize in Distributed Computing.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
Proceedings of the Stabilization, 2009

Upright cluster services.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008
Zyzzyva: speculative Byzantine fault tolerance.
Commun. ACM, 2008

Matrix Signatures: From MACs to Digital Signatures in Distributed Systems.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

FlightPath: Obedience vs. Choice in Cooperative Services.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Model Checking Nash Equilibria in MAD Distributed Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

BAR primer.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
How robust are gossip-based communication protocols?
Operating Systems Review, 2007

Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage Without (Unproven) Cryptographic Assumptions.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

SafeStore: A Durable and Practical Storage System.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007

The Paxos Register.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Zyzzyva: speculative byzantine fault tolerance.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Truth in advertising: lightweight verification of route integrity.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Theory of BAR games.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Bounded wait-free implementation of optimally resilient byzantine storage without (unproven) cryptographic assumptions.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

BAR - Where Distributed Computing Meets Game Theory.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006
Correction to "Fast Byzantine Consensus".
IEEE Trans. Dependable Sec. Comput., 2006

Fast Byzantine Consensus.
IEEE Trans. Dependable Sec. Comput., 2006

Byzantine and Multi-writer K-Quorums.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

BAR Gossip.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Key Grids: A Protocol Family for Assigning Symmetric Keys.
Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

2005
Improving the Performance of Software Distributed Shared Memory with Speculation.
IEEE Trans. Parallel Distrib. Syst., 2005

On the Availability of Non-strict Quorum Systems.
Proceedings of the Distributed Computing, 19th International Conference, 2005

BAR fault tolerance for cooperative services.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Dual-Quorum Replication for Edge Services.
Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

Fast Byzantine Consensus.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
A Framework for Dynamic Byzantine Storage.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Scalable causal message logging for wide-area environments.
Concurrency and Computation: Practice and Experience, 2003

Separating agreement from execution for byzantine fault tolerant services.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

A Fault-Tolerant Java Virtual Machine.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Towards a Practical Approach to Confidential Byzantine Fault Tolerance.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
Engineering web cache consistency.
ACM Trans. Internet Techn., 2002

Causality tracking in causal message-logging protocols.
Distributed Computing, 2002

A survey of rollback-recovery protocols in message-passing systems.
ACM Comput. Surv., 2002

Minimal Byzantine Storage.
Proceedings of the Distributed Computing, 16th International Conference, 2002

Half-Pipe Anchoring: An Efficient Technique for Multiple Connection Handoff.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Small Byzantine Quorum Systems.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Fault Detection for Byzantine Quorum Systems.
IEEE Trans. Parallel Distrib. Syst., 2001

Engineering server-driven consistency for large scale dynamic Web services.
Proceedings of the Tenth International World Wide Web Conference, 2001

C0PE: Consistent 0-Administration Personal Environment.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

A framework for semantic reasoning about Byzantine quorum systems.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Heterogeneous networking: a new survivability paradigm.
Proceedings of the New Security Paradigms Workshop 2001, 2001

Wrapping Server-Side TCP to Mask Connection Failures.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Scalable Causal Message Logging for Wide-Area Environments.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
The Cost of Recovery in Message Logging Protocols.
IEEE Trans. Knowl. Data Eng., 2000

Dynamic Byzantine Quorum Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Volume Leases for Consistency in Large-Scale Systems.
IEEE Trans. Knowl. Data Eng., 1999

Hierarchical Cache Consistency in a WAN.
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance.
Proceedings of the Digest of Papers: FTCS-29, 1999

An Analysis of Communication Induced Checkpointing.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
Message Logging: Pessimistic, Optimistic, Causal, and Optimal.
IEEE Trans. Software Eng., 1998

The Cost of Recovery in Message Logging Protocols.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

The Relative Overhead of Piggybacking in Causal Message Logging Protocols.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Using Leases to Support Server-Driven Consistency in Large-Scale Systems.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Low-Overhead Protocols for Fault-Tolerant File Sharing.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Fault-Tolerance: Java's Missing Buzzword.
Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

1997
Seuss: What the Doctor Ordered.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996
Parallel Computing in Networks of Workstations with Paralex.
IEEE Trans. Parallel Distrib. Syst., 1996

Trade-Offs in Implementing Optimal Message Logging Protocols.
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Message Logging: Pessimistic, Optimistic, and Causal.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993
Nonblocking and Orphan-Free Message Logging Protocols.
Proceedings of the Digest of Papers: FTCS-23, 1993

1992
Paralex: an environment for parallel programming in distributed systems.
Proceedings of the 6th international conference on Supercomputing, 1992

1989
On the two array mask hidden-line algorithm.
Computers & Graphics, 1989


  Loading...