Publications

Journals

  • Communities, Random Walks, and Social Sybil Defense (with A. Clement, A. Epasto, S. Lattanzi, and A. Panconesi). In Internet Mathematics, 10(3-4), July 2014, pp. 360-420.
  • Depot: Cloud Storage with Minimal Trust (with P. Mahajan S. Setty, S. Lee, A.Clement, M. Dahlin and M. Walfish) ACM Transactions on Computer Systems (TOCS), 29(4), December 2011, 38 pages.
  • Distributed computing meets game theory: combining insights from two fields (with I. Abraham and J. Halpern) SIGACT News, 42(2), June 2011, pp. 69-76.
  • Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services (with L. Gao, M. Dahlin, J. Zheng, and A. Iyengar) IEEE Transactions on Dependable and Secure Computing 7(2), April-June 2010, pp.159-174.
  • Zyzzyva: Speculative Byzantine Fault Tolerance (with R. Kotla, A. Clement, E. Wong, and M. Dahlin) ACM Trasactions on Computer Systems 27(4), December 2009, pp. 1-39.
  • Practical and low-overhead masking of failures of TCP-based servers (with D. Zagorodnov, K. Marzullo, and T.C. Bressoud). ACM Transactions on Computer Systems 27(2,) May 2009, pp. 1-39.
  • Zyzzyva: Speculative Byzantine Fault Tolerance (with R. Kotla, A. Clement, E. Wong, and M. Dahlin).Communications of the ACM 51(11), November 2008, pp. 86-95.
  • Fast Byzantine Consensus (with J.P. Martin). In IEEE Transactions on Dependable and Secure Computing , 3(3), July-September 2006, pp. 202-215.
  • Improving the Performance of Distributed Shared Memory with Speculation (with M. Kistler). IEEE Transactions on Parallel and Distributed Systems, 16:9, September 2005, pp. 885-896.
  • Scalable Causal Message Logging for Wide-Area Environments (with K. Bhatia and K. Marzullo). Concurrency and Computation: Practice and Experience, 15:3, August 2003, pp. 873-889.
  • Engineering Web Cache Consistency (with J. Yin, M. Dahlin, A. Iyengar). ACM Transactions on Internet Technology, 2:3, August 2002, pp. 224-259.
  • A Survey of Rollback-Recovery Protocols in Message-Passing Systems (with E. Elnozahy, Y.M. Wang and D.B. Johnson). ACM Computing Surveys, 34:3, September 2002, pp. 375-408.
  • Tracking Causality in Causal Message Logging Protocols (with K. Bhatia and K. Marzullo). Distributed Computing, 15:1, January 2002, pp. 1-15.
  • Fault Detection in Byzantine Quorum Systems (with D. Mahlki, E. Pierce, and M. Reiter). IEEE Transactions on Parallel and Distributed Systems, 12:9, September 2001, pp. 996-1007.
  • The Cost of Recovery in Message Logging Protocols (with S. Rao and H.Vin). IEEE Transactions on Knowledge and Data Engineering, 12:2, March/April 2000, pp. 160-173.
  • Volume Leases for Consistency in Large-Scale Systems (with J.Yin, M. Dahlin and C. Lin). IEEE Transactions on Knowledge and Data Engineering, 11:2, July/August 1999, pp. 563-576.
  • Message Logging: Pessimistic, Optimistic, Causal and Optimal (with K. Marzullo) IEEE Transactions on Software Engineering . 24:2, February 1998, pp. 149-159.
  • Parallel Computing in Networks of Workstations with Paralex (with R. Davoli, L.A. Giachini, O. Babaoglu and S. Amoroso) IEEE Transactions on Parallel and Distributed Systems . 7:4, April 1996, pp. 371-384 (Available as Technical Report UBLCS-92-4, Laboratory for Computer Science, University of Bologna).
  • On the Two Mask Hidden-Line Algorithm. (with G. Casciola) Computers & Graphics, vol. 13, no.2 (1989), pp. 193-206.
  • A Rule Based Approach for Pattern Recognition in Planar Geometric Figures. (with R. Odorico) Computer Physics Communication, 51 (1988), pp. 443-450.
  • TAM rivisitato: un metodo rapido ed esatto per la rappresentazione prospettica di superfici. (with G. Casciola) PIXEL, October 1988 (In Italian).
  • Conferences

  • Gorilla: Safe Permissionless Byzantine Consensus (with Y. Pu, A. Farahbakhsh, and I. Eyal). In Proceedings of the 37th International Symposium on Distributed Computing (DiSC '23), October 2023.
  • ScaleDB: A Scalable, Asynchronous In-Memory Database (with S. A. Mehdi, D. Hwang, and S. Peter. In Proceedings of the 2023 USENIX Symposium on Operating Systems Design and Implementation (OSDI '23), July 2023, pp. 361-376.
  • Morty: Scaling Concurrency Control with Re-Execution (with M. Burke, F. Suri-Payer, J. Helt, and N. Crooks). In Proceedings of the EuroSys Conference (EuroSys'23), May 2023, pp. 687-702.
  • Safe Permissionless Consensus (with Y. Pu and I. Eyal. In Proceedings of the 36th International Symposium on Distributed Computing (DiSC '22), October 2022.
  • Building Systems of Systems with Escher (with B. Canakci and R. Van Renesse. In Proceedings of the 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'21), November 2021, pp. 34-50.
  • Basil: Breaking up BFT with ACID (Transactions) (with F. Suri-Payer, M. Burke, Y.Zhang, Z. Wang, and N. Crooks). In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP'21), October 2021.
  • Byzantine Ordered Consensus without Byzantine Oligarchy (with Y. Zhang, Q. Chen, S. Setty, and L. Zhou). In Proceedings of the 2020 USENIX Symposium on Operating Systems Design and Implementation (OSDI'20), November 2020, pp. 633-649. Jay Lepreau Best Paper Award
  • Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log (with C. Ding, D. Chu, E. Zhao, X. Li, and R. van Renesse). In Proceedings of the 2020 USENIX Symposium on Networked Systems Design and Implementation (NSDI'20), Santa Cruz, CA, February 2020, pp. 325-338.
  • Obladi: Oblivious Serializable Transactions in the Cloud (with N. Crooks, M. Burke, E. Cecchetti, S. Harel and R. Agarwal). In Proceedings of the 2018 USENIX Symposium on Operating Systems Design and Implementation (OSDI'18), Carlsbad, CA, October 2018, pp. 727-743.
  • Pretzel: Email Encryption and Provider-Supplied Functions are Compatible (with T. Gupta, H. Fingler, and M. Walfish). In Proceedings of the 2017 ACM SIGCOMM Conference, Los Angeles, CA, August 2017.
  • Seeing Is Believing: A Client-Centric Specification of Database Isolation (with N. Crooks, Y. Pu, and A. Clement). In Proceedings of the 36nd ACM Symposium on Principles of Distributed Computing (PODC 2017), Washington, D C, August 2017.
  • Bringing Modular Concurrency Control to the Next Level (with C. Su, C. Xie, N. Crooks, and C. Ding). In Proceedings of the 2017 ACM SIGMOD, Chicago, IL, May 2017.
  • I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades (with S.A. Mehdi, C. Littley, N. Crooks, N. Bronson, and W. Lloyd). In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17), Boston, MA, April 2017.
  • TARDiS: A Branch-And-Merge Approach to Weak Consistency (with N. Crooks, Y. Pu, N. Estrada, T. Gupta, and A. Clement). In Proceedings of the 2016 ACM SIGMOD, San Francisco, Californa, June 2016, pp. 1615-1628.
  • Scalable and private media consumption with Popcorn (with T. Gupta, N. Crooks, W. Mulhern, S. Setty, and M. Walfish). In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16), Santa Clara, CA, April 2016, pp. 90-107.
  • High-Performance ACID via Modular Concurrency Control (with C. Xie, C. Su, C. Littley, M. Kapritsos, and Y. Wang). In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, Californa, October 2015, pp. 279-294.
  • Salt: Combining ACID and BASE in a Distributed Database (with C. Xie, C. Su, M. Kapritsos, Y. Wang, N. Yaghmazadeh, and P. Mahajan). In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI '14), Denver, Colorado, October 2014, pp. 495-510.
  • Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage (with M. Silberstein, Y. Wang, L.Ganesh, and M. Dahlin). In Proceedings of the 7th ACM International Systems and Storage Conference (SYSTOR '14) Haifa, Israel, June 2014, pp. 1-7. Best Paper Award.
  • Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems (with Y. Wang, M. Kapritsos, L. Schmidt, and M. Dahlin). In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14), Seattle, WA, April 2014, pp. 129-142.
  • What's a Little Collusion Between Friends? (with E. L. Wong). In Proceedings of the 32nd ACM Symposium on Principles of Distributed Computing (PODC 2013), Montreal, Canada, July 2013, pp. 240-249.
  • SoK: The Evolution of Sybil Defense via Social Networks (with A. Clement, A. Epasto, S. Lattanzi, and A. Panconesi). In Proceedings of the 2013 Symposium on Security and Privacy (Oakland 2013), May 2013, pp. 382-396.
  • Robustness in the Salus scalable block store (with Y. Wang, M. Kapritsos, Z. Ren, P. Mahajan, J. Kirubanandam, and M. Dahlin). In Proceedings of the 10th USENIX Symposium of Network Systems Design and Impementation (NSDI '13), Lombard, Il, April 2013, pp. 357-370.
  • All about Eve: Execute-Verify Replication for Multi-Core Systems (with M. Kapritsos, Y. Wang, V. Quema, A. Clement, and M. Dahlin). In Proceedings of the 10th Symposium on Operating Systems Design and Implementation (OSDI '12), Hollywood, CA, October 2012, pp. 237-250.
  • Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication (with Y. Wang and M. Dahlin). In Proceedings of the 2012 USENIX Annual Technical Conference, Boston, June 2012, pp. 413-424.
  • Regret freedom isn't free (with E. L. Wong, I. Levy, A Clement, and M. Dahlin). In Proceedings of the 15th International Conference on the Principles of Distributed Systems (OPODIS '11), Toulouse, France, December 2011, pp. 80-95.
  • Depot: Cloud Storage with Minimal Trust (with P. Mahajan, S. Setty, S.Lee, A. Clement, M.Dahlin, and M. Walfish). In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI '10), Vancouver, BC, Canada, October 2010, pp. 307-322.
  • It's On Me! The Benefit of Altruism in BAR Environments (with E. L. Wong and J. Leners). In Proceedings of the 24th International Symposium on Distributed Computing (DISC 2010), Boston, MA, September 2010, pp. 406-420.
  • Model Checking Coalition Nash Equilibria in MAD Distributed Systems (with F. Mari, I. Melatti, I. Salvo, E. Tronci, A. Clement, and H. Li). In Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009) , Lyon, France, November 2009, pp. 531-546.
  • UpRight Cluster Services (with A. Clement, M. Kapritsos, S. Lee, Y. Wang, M. Dahlin, and T. Riché). In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP 2009), Big Sky, MT, October 2009, pp. 277-290.
  • Making Byzantine Fault-Tolerant Systems Tolerate Byzantine Faults (with A. Clement, M. Marchetti, E. Wong, and M. Dahlin). In Proceedings of the 6th USENIX Symposium of Network Systems Design and Impementation (NSDI '09) , Boston, MA, April 2009, pp. 153-168.
  • FlightPath: Obedience vs. Choice in Cooperative Services (with H. Li, A. Clement, M. Marchetti, E. Kapritsos, L. Robison, and M. Dahlin). In Proceedings of the 8th Symposium on Operating System Design and Implementation (OSDI '08) , San Diego, CA, December 2008, pp. 355-368.
  • Model Checking Nash Equilibria in MAD Distributed Systems (with F. Mari, I. Melatti, I. Salvo, E. Tronci, A. Clement, and H. Li) In Proceedings of the 8th Conference on Formal Methods in Computer-Aided Desing (FMCAD 08), Portland, OR, November 2008, pp. 1-8.
  • BFT: The Time is Now (with A. Clement, M. Marchetti, E. Wong, and M. Dahlin). In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (LADIS '08) , Yorktown Heights, October 2008, pp. 1-4.
  • Matrix Signatures: From MACs to Digital Signatures in Distributed Systems (with A. S. Aiyer, R. Bazzi. and A. Clement) In Proceedings of the 22nd International Symposium on Distributed Computing (DISC 2008) , Arcachon, France, October 2008, pp. 16-31.
  • BAR Primer (with A. Clement, H. Li, J. Napper, J. P. Martin, M. Dahlin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2008), DCC Symposium, Anchorage, AK, June 2008, pp. 287-296.
  • Zyzzyva: Speculative Byzantine Fault Tolerant Replication (with R. Kotla, M. Dahlin, A. Clement, and E. L. Wong). In Proceedings of the 21th ACM Symposium on Operating Systems Principles (SOSP 2007), Skamania Lodge, Stevenson, WA, October 2007, pp. 45-58. Best Paper Award.
  • Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage without (Unproven) Cryptographic Assumptions. (with A. S. Aiyer and R. Bazzi) In Proceedings of the 21th International Symposium on Distributed Computing (DISC 2007) , Lemesos, Cyprus, October 2007.
    (A shorter version appears as a Brief Annoncement, Proceedings of Symposium on Principles of Distributed Computing (PODC 2007) , Portland, OR, August 2007), pp. 310-311.
  • The Paxos Register (with H. C. Li, A. Clement, and A. S. Aiyer). In Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 2007, pp. 114-126.
  • How Robust Are Gossip-Based Communication Protocols? (with J. Doumen, R. Guerraoui, B. Koldehofe, H. Li, R. van Renesse, G. Tredan. In SIGOPS Operating Systems Review 41,5, October 2007, pp. 43-50.
  • Truth In Advertising: Lightweight Verification of Route Integrity (with E. L. Wong, P. Balasubramanian, M. G. Gouda, and V. Shmatikov). In Proceedings of the 26th ACM Annual Symposium on the Principles of Distributed Computing (PODC 2007), Portland, OR, August 2007, pp. 147-156.
  • Theory of BAR Games. (with A. Clement, J. Napper, H. C. Li, J.P. Martin, and M. Dahlin) In Brief Announcements, Proceedings of Symposium on Principles of Distributed Computing (PODC 2007) , Portland, OR, August 2007, pp. 358-359.
  • SafeStore: A Durable and Practical Storage System (with R. Kotla and M. Dahlin). In Proceedings of the 2007 USENIX Annual Technical Conference, Santa Clara, CA, June 2007, pp. 129-142 Best Paper Award.
  • BAR Gossip (with H. C. Li, A. Clement, E. Wong, J. Napper, and M. Dahlin) In Proceedings of the 7th Symposium on Operating System Design and Implementation (OSDI '06) , Seattle, WA, November 2006, pp. 191-204.
  • Key Grids: A Protocol Family for Assigning Symmetric Keys (with A. S. Aiyer and M. G. Gouda). In Proceedings of the 14th International Conference on Network Protocols (ICNP 2006), Santa Barbara, CA, November 2006, pp. 178-186.
  • Byzantine and Multi-writer k-quorums (with A. S. Ayer and R. Bazzi). In Proceedings of the 20th International Symposium on Distributed Computing (DISC 2006), Stockholm, Sweden, September 2006, pp. 443-458.
  • Dual Quorum Replication for Edge Services (with L. Gao, M. Dahlin, J. Zheng, and A. Iyer). In Proceedings of Middleware 2005, Grenoble, France, December 2005.
  • BAR Fault Tolerance for Cooperative Services. (with A.S. Ayer, A. Clement, M. Dahlin, J.P. Martin, and C. Porth). In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP 2005), Brighton, United Kingdom, October 2005, pp. 45-58. Best Paper Award.
  • On the Availability of non-Strict Quorum Systems (with A.S. Ayer and R. Bazzi). In Proceedings of the 19th International Symposium on Distributed Computing (DISC 2005), Cracow, Poland, September 2005, pp. 48-62.
  • Fast Byzantine Consensus (with J.P. Martin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005), DCC Symposium, Yokohama, Japan, June 2005, pp. 402-411. Award Paper.
  • Dynamic Byzantine Storage (with J.P. Martin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004), DCC Symposium, Florence, Italy, June 2004, pp. 325-334.
  • Separating Agreement from Execution in Byzantine Fault-Tolerant Services (with J. Yin, J.P. Martin, A. Venkataramani, and M. Dahlin). In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP 2003), Bolton Landing, NY, October 2003, pp. 253-268.
  • A Fault-Tolerant Java Virtual Machine (with J. Napper and H. Vin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2003), DCC Symposium, San Francisco, CA, June 2003, pp. 425-434.
  • Engineering Fault Tolerant TCP/IP Services Using FT-TCP (with D. Zagorodnov, K. Marzullo, and T. Bressoud). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2003), DCC Symposium, San Francisco, CA, June 2003, pp. 393-402.
  • Half-Pipe Anchoring: An Efficient Technique for Multiple Connection Handoff (with R. Kokku, R. Rajamoni, and H. Vin). In Proceedings of the 10th International Conference on Network Protocols (ICNP 2002), Paris, France, November 2002, pp. 12-21.
  • Minimal Byzantine Storage (with J.P. Martin and M. Dahlin). In Proceedings of the 16th International Symposium on Distributed Computing (DISC 2002), Toulouse, France, October 2002, pp. 311-326.
  • Small Byzantine Quorum Systems (with J.P. Martin and M. Dahlin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2002 and FTCS 32), DCC Symposium, Washington, DC, June 2002, pp. 374-383. See also the extended technical report.
  • Modeling the Effect of Technology Trends on Soft Error Rate of Combinational Logic (with P. Shivakumar, M. Kistler, S. Keckler, and D. Burger). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2002 and FTCS 32), DCC Symposium, Washington, DC, June 2002, pp. 389-398.
  • Heterogeneous Networking - A New Survivability Paradigm (with Son K. Dao, W. Lee, H. Vin, and Y. Zhang). In Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, NM, September 2001, pp. 33-39.
  • Scalable Causal Message Logging for Wide-Area Environments (with K. Bhatia and K. Marzullo). In Proceedings of the European Conference on Parallel Computing (Euro-Par 2001), Manchester, UK, August 2001, pp. 864-873.
  • Engineering Server Driven Consistency for Large Scale Dynamic Web Services. (with J. Yin, M. Dahlin, A. Iyengar). In Proceedings of WWW10, Hong Kong, May 2001, pp. 45-57. Best Paper Award.
  • A Framework for Semantic Reasoning about Byzantine Quorum Systems. (with E. Pierce) In Brief Announcements, Proceedings of Symposium on Principles of Distributed Computing (PODC 2001) , August 2001, pp. 317-319.
  • Wrapping Server-Side TCP to Mask Connection Failures. (with T.C. Bressoud, A. El-Khashab, K. Marzullo, and D. Zagorodnov). In Proceedings of Infocom 2001 , Anchorage, Alaska, April 2001, pp. 329-338.
  • Dynamic Byzantine Quorum Systems. (with D. Mahlki, L. Pierce, M. Reiter, and R. Wright) In Proceedings of the International Conference on Dependable Systems and Networks (FTCS 30 and DCCA 8), New York, NY, June 2000, pp. 283-292.
  • Hierarchical Cache Consistency in a WAN. (with J. Yin, M. Dahlin, C. Lin) Proceedings of the 1999 USENIX Symposium on Internet Technologies and Systems (USITS99), October 1999, pp. 13-24.
  • Egida: An Extensible Toolkit For Low-overhead Fault-Tolerance. (with S. Rao and H. Vin) In Proceedings of the 29th Fault-tolerant Computing Symposium (FTCS-29), Madison, Wisconsin, June 1999, pp. 48-55.
  • An Analysis of Communication-Induced Checkpointing. (with E. Elnozahy, S. Rao, S.A. Husain and A. de Mel) In Proceedings of the 29th Fault-tolerant Computing Symposium (FTCS-29), Madison, Wisconsin, June 1999, pp. 242-249.
  • Probabilistic Techniques for Fault Detection in Byzantine Quorum Systems. (with D. Mahlki, L. Pierce, and M. Reiter). Proceedings of the Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7) San Jose, CA, January 1999, pp. 379-394.
  • The Cost of Recovery in Message Logging Protocols. (with S. Rao and H.Vin). Proceedings of the 17th International Symposium on Reliable Distributed Systems. West Lafayette, Indiana, October 1998, pp. 10-18. Award Paper.
  • Low-Overhead Protocols for Fault-Tolerant File Sharing. (with S. Rao and H. Vin) Proceedings of the 18th IEEE International Conference on Distributed Computing Systems. Amsterdam, The Netherlands, May 1998, pp. 452-461.
  • Using Leases to Support Server-Driven Consistency in Large-Scale Systems. (with J.Yin, M. Dahlin and C. Lin). Proceedings of the 18th IEEE International Conference on Distributed Computing Systems. Amsterdam, The Netherlands, May 1998, pp. 285-294.
  • Trade-Offs in Implementing Causal Message Logging Protocols. (with K. Marzullo) Proceedings of the 15th ACM Annual Symposium on the Principles of Distributed Computing (PODC '96) Philadelphia, May 1996, pp. 58-67.
  • Message Logging: Pessimistic, Optimistic, and Causal. (with K. Marzullo) Proceedings of the 15th IEEE International Conference on Distributed Computing Systems. Vancouver, Canada, June 1995, pp. 229-236.
  • Nonblocking and Orphan-Free Message Logging Protocols. (with B. Hoppe and K. Marzullo) Proceedings of the 23rd International Symposium on Fault Tolerant Computing, Toulouse, France, June 1993 pp. 145-154. Award Paper.
  • Paralex: An Environment for Parallel Programming in Distributed Systems. (with O. Babaoglu, S. Amoroso, R. Davoli and L. A. Giachini). Proceedings of the 6th ACM International Conference on Supercomputing, Washington, D.C., July 1992, 178--187.
  • Parallel Scientific Computing in Distributed Systems: The Paralex Approach. Invited paper. (with \item A. Amoroso, A. Baronio, O. Babaoglu, R. Davoli and L. A. Giachini). Proceedings of Sixth International Symposium on Computer and Information Sciences, Side, Antalya, Turkey, October 1991, 1093--1103. (Available as Technical Report UBLCS-92-2, Laboratory for Computer Science, University of Bologna).
  • Mapping Parallel Computations onto Distributed Systems in Paralex. Invited paper. (with O. Babaoglu, A. Amoroso and R. Davoli). Proceedings of IEEE CompEuro '91, Bologna, Italy, May 1991, 123--130. (Available as Technical Report UBLCS-92-1, Laboratory for Computer Science, University of Bologna).
  • Workshops

  • BFT: The Time is Now (with A. Clement, M. Marchetti, E. Wong, and M. Dahlin). In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2008) , Yorktown Heights, NY, October 2008.
  • Robust Multithreaded Applications. (with J. Napper) In Proceedings of the ACM Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06), Seattle, WA, August 2006.
  • Byzantine Fault-Tolerant Confidentiality. (with J. Yin, J.P. Martin, A. Venkataramani, and M. Dahlin In International Workshop on Future Directions in Distributed Computing, Lecture Notes in Computer Science, vol. 2584, Bertinoro, Italy, June 2002, pp. 51-56.
  • C0PE: Consistent, 0-Administration Personal Environment. (with P. Yalagandula, M. Dahlin, and H. Vin) In Proceedings of WORDS01, Rome, Italy, January 2001.
  • WAFT: Support for Fault-Tolerance in Wide-Area Object Oriented Systems.. (with K. Marzullo) Invited Paper. Proceedings of the Information Survivability Workshop (ISW98) October 28-30, 1998, Orlando, Florida, pp. 5-10.
  • Hybrid Message-Logging Protocols for Fast Recovery. (with S. Rao and H. Vin) Digest of FastAbstracts. The 28th International Symposium on Fault-Tolerant Computing. Munich, Germany, June 1998, pp. 41-42.
  • The Relative Overhead of Piggybacking in Causal Message-Logging Protocols.. (with K. Bhatia and K. Marzullo) Workshop on Advances in PArallel and Distributed Systems (APADS 98). Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems October 20, 1998, Purdue University, West Lafayette, Indiana, pp. 348-353.
  • Fault-Tolerance: Java's Missing Buzzword. Invited Paper. Proceedings of the 7th Heterogeneous Computing Workshop (HCW '98), Orlando, Florida, March 1998, pp. 156-158.
  • Seuss: what the Doctor ordered. (with C. Lin, R. Joshi and J. Misra) Proceedings of the 2nd IEEE International Workshop on Software Engineering for Parallel and Distributed Systems, Boston, May 1997, pp. 284-290.
  • Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. (with K. Marzullo) Selected Papers, International Workshop in Theory and Practice in Distributed Systems , K. Birman, F. Mattern and A. Schiper editors, Springer-Verlag 1995, pp. 111-120. A short version of this paper appeared in Brief Announcements, Proceedings of the 14th ACM Annual Symposium on the Priciples of Distributed Computing. Ottawa, Canada, August 1995, pp. 263.
  • VIDA: An Ape Extension for the Steering of Numerical Simulations (with G. Fabiani and L. Moltedo). Proceedings of the ISMM International Workshop on Parallel Computing , Trani, Italy September 1991, pp. 375-377
  • Technical Reports

  • Consistency, Availability, and Convergence (with P. Mahajan and M. Dahlin). Department of Computer Sciences, Technical Report TR-11-21, The University of Texas at Austin, Austin, Texas, 2011.
  • Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults (with A. Clement, M. Marchetti, E. Wong, and M. Dahlin). Department of Computer Sciences, Technical Report TR-08-27, The University of Texas at Austin, Austin, Texas, May 2008.
  • Improving the Performance of Software Distributed Shared Memory Through Speculation (with M. Kistler). Department of Computer Sciences, Technical Report TR-02-57, The University of Texas at Austin, Austin, Texas, November 2002.
  • Minimal Byzantine Storage (with J.P. Martin and M. Dahlin). Technical Report, Department of Computer Sciences, The University of Texas at Austin, August 2002.
  • Small Byzantine Quorum Systems (with J.P. Martin and M. Dahlin). Technical Report, Department of Computer Sciences, The University of Texas at Austin, June 2002.
  • A Recipe for Atomic Semantics for Byzantine Quorum Systems. (with E. Pierce). Technical Report, Department of Computer Sciences, The University of Texas at Austin, May 2000.
  • Causality Tracking in Causal Message Logging Protocols. (with K. Bhatia and K. Marzullo). Technical Report, Department of Computer Sciences, The University of Texas at Austin, August 1999.
  • The Relative Overhead of Piggybacking in Causal Message-Logging Protocols. (with K. Bhatia and K. Marzullo). Technical Report 98-572, Department of Computer Science and Engineering, University of California San Diego, January 1998.
  • A Graphical Interface for CHIP. (with Fred Schneider). Technical Report TR 96-1587, Department of Computer Science, Cornell University, Ithaca, New York, June 1996.
  • Two and Four Array Mask Algorithms in practice. (with G. Casciola) Technical Report, Department of Mathematics, University of Bologna. (1989)
  • Run-time Support for Dynamic Load Balancing and Debugging in Paralex.(with O. Babaouglu, S. Amoroso, R. Davoli and L. A. Giachini). Department of Computer Science, Technical Report TR 91-1251, Cornell University, Ithaca, New York, December 1991. (Available also as Technical Report UBLCS-92-3, Laboratory for Computer Science, University of Bologna).
  • Dissertation

    Understanding the Message Logging Paradigm for Masking Process Crashes. Department of Computer Science, Cornell University, Ithaca, New York, January 1996. (Available as Technical Report TR-96-1577)