IronFleet: proving practical distributed systems correct
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct
SOSP, 2015.

SOSP 2015
Full names Links ISxN
	author        = "Chris Hawblitzel and Jon Howell and Manos Kapritsos and Jacob R. Lorch and Bryan Parno and Michael L. Roberts and Srinath T. V. Setty and Brian Zill",
	booktitle     = "{Proceedings of the 25th Symposium on Operating Systems Principles}",
	doi           = "10.1145/2815400.2815428",
	isbn          = "978-1-4503-3834-9",
	pages         = "1--17",
	publisher     = "{ACM}",
	title         = "{IronFleet: proving practical distributed systems correct}",
	year          = 2015,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.