conftrace_

Rodrigo Rodrigues

5 papers · 2012–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🚀 Conference Pioneer

Venues

OSDI (3) NSDI (2)

Top co-authors

André Breda (1) Cheng Li (1) Diogo S. Antunes (1) Nuno Preguiça (1) Johannes Gehrke (1) Mafalda Sofia Ferreira (1) Daniel Porto (1) Allen Clement (1) Afonso N. Oliveira (1) Pedro Fonseca (1)

Research topics

Computer Science (2) Applications (2) Systems (1)

Keywords

static analysis (1) byzantine fault tolerance (1) state machine replication (1) distributed consensus (1) data integrity (1) data flow analysis (1) asynchronous protocol (1) abstract call graph (1)

Papers

Aletheia: Automated Detection of Data Integrity Violations in Microservices OSDI 2026 Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance NSDI 2024 SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration OSDI 2014 Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary OSDI 2012 Orchestrating the Deployment of Computations in the Cloud with Conductor NSDI 2012