@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 {181000,
	author = {Miguel Correia and Daniel G{\'o}mez Ferro and Flavio P. Junqueira and Marco Serafini},
	title = {Practical Hardening of {Crash-Tolerant} Systems},
	booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
	year = {2012},
	isbn = {978-931971-93-5},
	address = {Boston, MA},
	pages = {453--466},
	url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/correia},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267184,
	author = {Alysson Bessani and Paulo Sousa and Miguel Correia},
	title = {Active Quorum Systems},
	booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/hotdep10/active-quorum-systems},
	publisher = {USENIX Association},
	month = oct
}
