I am generally interested in distributed systems. More specifically my work is focused on defining and refining the BAR model for distributed systems. Our initial efforts towards this end resulted in an award paper at SOSP 2005.

My current work is geared towards bringing traditional Byzantine fault tolerance techniques into practical use.

Refereed Publications

A. Clement, M. Kapritsos, S. Lee, Y. Wang, L. Alvisi, and M. Dahlin. UpRight Cluster Services. to appear in Symposium on Operating Systems Principles (SOSP), October 2009.

A. Clement, M. Marchetti, E. Wong, L. Alvisi, and M. Dahlin. Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. Symposium on Networked Systems Design and Implementation (NSDI), April 2009.

H.C. Li, A. Clement, M. Marchetti, M. Kapritsos, L. Robison, L. Alvisi, and M. Dahlin. Flightpath: Obedience vs. Choice in Cooperative Services. Symposium on Operating System Design and Implementation (OSDI), December 2008.

F. Mari, I. Melatti, I. Salvo, E. Tronci, L. Alvisi, A. Clement and H.C. Li. Model Checking Nash Equilibria in MAD Distributed Systems. Formal Methods in Computer Aided Design (FMCAD), November 2008.

A. Aiyer, L. Alvisi, R. Bazzi, and A. Clement. Matrix Signatures: From MACs to Digital Signatures in Distributed Systems. Symposium on Distributed Computing (DISC), September 2008.

A. Clement, H.C. Li, J. Napper, J.P. Martin, L. Alvisi, and M. Dahlin. BAR Primer. Symposium on Dependable Systems and Networking (DSN) , July 2008

R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: Speculative Byzantine Fault Tolerance. Symposium on Operating Systems Principles (SOSP), October 2007. award paper

H.C. Li, A. Clement, A. Aiyer, and L. Alvisi. The Paxos Register. International Symposium on Reliable and Distributed Systems (SRDS), October 2007.

H.C. Li, A. Clement, J. Napper, E. Wong, I. Roy, L. Alvisi, and M. Dahlin. BAR Gossip. Symposium on Operating System Design and Implementation (OSDI), November 2006.

A. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J.P. Martin, and C. Porth. BAR Tolerance for Cooperative Services. Symposium on Operating Systems Principles (SOSP) , October 2005. award paper

Technical Reports

A. Clement, M. Marchetti, E. Wong, L. Alvisi, and M. Dahlin. Aardvark: Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. pdf

A. Clement, H.C. Li, J. Napper, J.P. Martin, L. Alvis, M. Dahlin. BAR Primer. The University of Texas at Austin, Department of Computer Sciences. Technical Report. Dec 11, 2007. pdf

A. Aiyer, L. Alvisi, A. Clement, and H.C. Li. Information-Theoretically Secure Byzantine Paxos. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-07-21. May 18, 2007.

A. Clement, J. Napper, H.C. Li, J.P. Martin, L. Alvisi, and M. Dahlin. Theory of BAR Games. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-06-63. November 29, 2006.

A. Clement, J. Napper, L. Alvisi, and M. Dahlin. BAR Games. The University of Texas at Austin, Department of Computer Sciences. Technical Report-06-25. May 30, 2006.

H.C. Li, L. Alvisi, and A. Clement. The Game of Paxos. The University of texas at Austin, Department of Computer Sciences. Technical Report TR-05-24. May 16, 2005.