Some of my recent work. I put together a glossary to act as a reference when
reading my papers.
You can also see the page with
abstracts.
- Byzantine Fault-Tolerance and Beyond.
J-P. Martin. PhD thesis, Dec. 2006.
bibtex
- Fast Byzantine Consensus. J-P. Martin and L. Alvisi. IEEE
Transactions on Dependable and Secure Computing 3(3):202-215, July-Sept. 2006.
pdf
(preprint)
bibtex
- BAR Fault Tolerance for Cooperative Services.
A. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J-P. Martin, and C. Porth. 20th
Symposium on Operating Systems Principles (SOSP 2005), October 2005. pdf bibtex slides (award paper)
- Fast
Byzantine Consensus. J-P. Martin and L. Alvisi. 2005 International
Conference on Dependable Systems and Networks (DSN 2005), June 2005. pdf bibtex (award paper)
- A Framework for Dynamic Byzantine Storage (extended technical report) J-P. Martin and L. Alvisi. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-04-08. January 2004. ps
- A Framework for Dynamic Byzantine Storage. J-P. Martin and L. Alvisi. 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 2004. ps pdf bibtex. Slides from DSN'04, June 2004 (pdf pdb).
- Fast Byzantine Paxos (extended technical report) J-P. Martin and L. Alvisi. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-04-07. February 2004. ps bibtex. Slides from SOS'04, June 23-25, 2004 (pdf pdb).
- Separating Agreement from Execution for Byzantine Fault Tolerant
Services. J. Yin, J-P. Martin, A. Venkataramani, L.
Alvisi, M. Dahlin. Proceedings of the 19th Symposium on Operating
Systems Principles (SOSP 2003),
October 2003. ps pdf bibtex SOSP slides
- Generating Product-Lines of Product-Families D. Batory, R. Lopez-Herrejon, J-P. Martin. September 2002. ASE 2002. pdf
bibtex
- Minimal Byzantine Storage (extended
technical report) J-P. Martin, L. Alvisi, M. Dahlin. Technical Report
TR-02-38. August 2002 (updated version).
ps
pdf
bibtex
- Minimal Byzantine Storage
J-P. Martin, L. Alvisi, M. Dahlin. Proceedings of the 16th
International Symposium on Distributed Computing (DISC 2002). Toulouse,
France. LNCS
2508 pp 311-325. ISBN 3-540-00073-9.
ps
pdf
bibtex
slides
- Byzantine Fault-Tolerant
Confidentiality (updated)
J. Yin, J-P. Martin, A. Venkataramani, L. Alvisi,
M. Dahlin. LNCS 2584, 2003. pp. 51-56
ps
pdf
bibtex
- Fault-Tolerance and Security (when
opposites attract) J. Yin, A. Venkataramani, J-P. Martin,
L. Alvisi, M. Dahlin. slides from FuDiCo 2002 (pdf).
- Minimal Byzantine Quorum Systems (extended technical report)
J-P. Martin, L. Alvisi, M. Dahlin. February 2002.
ps
bibtex
NOTE: This paper is superseded by "Minimal Byzantine Storage",
above.
- Small Byzantine Quorum Systems
J-P. Martin, L. Alvisi, M. Dahlin.
Proceedings of the 2002 International Conference on Dependable Systems
& Networks (DSN 2002). pages 374-383. ps pdf bibtex
- Small Byzantine Quorum Systems
(extended technical report)
J-P. Martin, L. Alvisi, M. Dahlin. Technical Report TR-02-01. January 2002. ps pdf bibtex
- On Checking Temporal Properties of Software
with Boolean Programs
J-P. Martin. December 2000. ps
[JP Martin]
[show abstracts]
[glossary]
[research]
[contact information]