@inproceedings {184006,
	author = {Alysson Bessani and Ricardo Mendes and Tiago Oliveira and Nuno Neves and Miguel Correia and Marcelo Pasin and Paulo Verissimo},
	title = {{SCFS}: A Shared Cloud-backed File System},
	booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
	year = {2014},
	isbn = {978-1-931971-10-2},
	address = {Philadelphia, PA},
	pages = {169--180},
	url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/bessani},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {178987,
	author = {Alysson Bessani and Marcel Santos and Jo{\~a}o Felix and Nuno Neves and Miguel Correia},
	title = {On the {Efficiency} of Durable State Machine Replication},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {169--180},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/bessani},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {260656,
	author = {Manuel Costa and Paulo Guedes and Manuel Sequeira and Nuno Neves and Miguel Castro},
	title = {Lightweight Logging for Lazy Release Consistent Distributed Shared Memory},
	booktitle = {USENIX 2nd Symposium on OS Design and Implementation (OSDI 96)},
	year = {1996},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-96/lightweight-logging-lazy-release-consistent-distributed-shared-memory},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {252220,
	author = {Miguel Castro and Nuno Neves and Pedro Trancuso and Pedro Sousa},
	title = {{MIKE}: A Distributed object-oriented programming platform on top of the Mach micro-kernel},
	booktitle = {USENIX Mach III Symposium (USENIX Mach III Symposium)},
	year = {1993},
	address = {Santa Fe, NM},
	url = {https://www.usenix.org/conference/usenix-mach-iii-symposium/mike-distributed-object-oriented-programming-platform-top-mach},
	publisher = {USENIX Association},
	month = apr
}
