USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 15 results:
Filters: Author is Rodrigo Rodrigues [Clear All Filters]
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :313--328.
.
2024. Fine-grained consistency for geo-replicated systems. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :359--372.
.
2018. Automating the Choice of Consistency Levels in Replicated Systems. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :281--292.
.
2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :415--431.
.
2014. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :265--278.
.
2012. Orchestrating the Deployment of Computations in the Cloud with Conductor. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). :367--381.
.
2012. Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services . 21st USENIX Security Symposium (USENIX Security 12). :175--188.
.
2012. Large-scale Incremental Data Processing with Change Propagation. 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 11).
.
2011. Accountable Virtual Machines. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. Towards Trusted Cloud Computing. Workshop on Hot Topics in Cloud Computing (HotCloud 09).
.
2009. Zeno: Eventually Consistent Byzantine-Fault Tolerance. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
.
2009. Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. Fourth Workshop on Hot Topics in System Dependability (HotDep 08).
.
2008. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006. Efficient Routing for Peer-to-Peer Overlays. First Symposium on Networked Systems Design and Implementation (NSDI 04).
.
2004. High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two. 9th Workshop on Hot Topics in Operating Systems (HotOS IX).
.
2003.