Rodrigo Rodrigues
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Afonso N. Oliveiraonce
- André Bredaonce
- Diogo S. Antunesonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Aletheia: Automated Detection of Data Integrity Violations in Microservices | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Formalizes integrity violations with the Entity-Relationship model and relational algebra and implements a static analyzer, Aletheia, that uses static single… | ||
| Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Alea-BFT is an asynchronous BFT state-machine protocol that reintroduces a per-request designated replica and a two-stage pipeline: an efficient leader-led… | ||
| nothing matches | ||