Rodrigo Rodrigues

Orcid: 0000-0001-8367-4024

Affiliations:
  • University of Lisbon, INESC-ID / Instituto Superior Técnico, Portugal
  • Max Planck Institute for Software Systems, Kaiserslautern / Saarbrücken, Germany (former)
  • Massachusetts Institute of Technology, Cambridge, MA, USA (PhD 2005)


According to our database1, Rodrigo Rodrigues authored at least 102 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023
μ: A bolt-on approach for faster and cheaper serverless computing.
Proceedings of the 4th Workshop on Resource Disaggregation and Serverless, 2023

Evicting for the greater good: The case for Reactive Checkpointing in serverless computing.
Proceedings of the 4th Workshop on Resource Disaggregation and Serverless, 2023

Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

RR: A Fault Model for Efficient TEE Replication.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Mumak: Efficient and Black-Box Bug Detection for Persistent Memory.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

With Great Freedom Comes Great Opportunity: Rethinking Resource Allocation for Serverless Functions.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Attacks on tomorrow's virtual world.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022
SconeKV: A Scalable, Strongly Consistent Key-Value Store.
IEEE Trans. Parallel Distributed Syst., 2022

CoVault: A Secure Analytics Platform.
CoRR, 2022

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance.
CoRR, 2022

2021
Dynamic Page Placement on Real Persistent Memory Systems.
CoRR, 2021

Efficient and Eventually Consistent Collective Operations.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

Particle-In-Cell Simulation Using Asynchronous Tasking.
Proceedings of the Euro-Par 2021: Parallel Processing, 2021

2020
Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads Sub.
Proc. VLDB Endow., 2020

Lazy State Determination: More concurrency for contending linearizable transactions.
CoRR, 2020

Aion: Better Late than Never in Event-Time Streams.
CoRR, 2020

Bandwidth-Aware Page Placement in NUMA.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

Finding the right cloud configuration for analytics clusters.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2019
Incremental Approximate Computing.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Incremental Sliding Window Analytics.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Antidote SQL: Relaxed When Possible, Strict When Necessary.
CoRR, 2019

A More Consistent Understanding of Consistency.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2018
IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases.
Proc. VLDB Endow., 2018

Generalized Paxos Made Byzantine (and Less Complex).
Algorithms, 2018

Fine-grained consistency for geo-replicated systems.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report).
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Making data center computations fast, but not so furious.
CoRR, 2017

Blotter: Low Latency Transactions for Geo-Replicated Storage.
Proceedings of the 26th International Conference on World Wide Web, 2017

Fine-Grained Consistency Upgrades for Online Services.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Transparent cross-system consistency.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

2016
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016

IncApprox: A Data Analytics System for Incremental Approximate Computing.
Proceedings of the 25th International Conference on World Wide Web, 2016

Making weak consistency great again.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Characterizing the Consistency of Online Services (Practical Experience Report).
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware.
ACM SIGOPS Oper. Syst. Rev., 2015

Towards Fast Invariant Preservation in Geo-replicated Systems.
ACM SIGOPS Oper. Syst. Rev., 2015

PIXIDA: Optimizing Data Parallel Jobs in Wide-Area Data Analytics.
Proc. VLDB Endow., 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
CoRR, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Guardat: enforcing data policies at the storage layer.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Visigoth fault tolerance.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Putting consistency back into eventual consistency.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Minimizing coordination in replicated systems.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

iThreads: A Threading Library for Parallel Incremental Computation.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Automating the Choice of Consistency Levels in Replicated Systems.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

The Case for Fast and Invariant-Preserving Geo-Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Slider: incremental sliding window analytics.
Proceedings of the 15th International Middleware Conference, 2014

Incremental MapReduce Computations.
Proceedings of the Large Scale and Big Data - Processing and Management., 2014

2012
Automatic Reconfiguration for Large-Scale Reliable Storage Systems.
IEEE Trans. Dependable Secur. Comput., 2012

Adaptive Search Radius - Using hop count to reduce P2P traffic.
Comput. Networks, 2012

Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services.
Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

On the (limited) power of non-equivocation.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Orchestrating the Deployment of Computations in the Cloud with Conductor.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Enhancing the OS against Security Threats in System Administration.
Proceedings of the Middleware 2012, 2012

Shredder: GPU-accelerated incremental storage and computation.
Proceedings of the 10th USENIX conference on File and Storage Technologies, 2012

Scalable testing of file system checkers.
Proceedings of the European Conference on Computer Systems, 2012

2011
Large-scale Incremental Data Processing with Change Propagation.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Efficient middleware for byzantine fault tolerant database replication.
Proceedings of the European Conference on Computer Systems, 2011

Finding complex concurrency bugs in large multi-threaded applications.
Proceedings of the European Conference on Computer Systems, 2011

Incoop: MapReduce for incremental computations.
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

2010
Peer-to-peer systems.
Commun. ACM, 2010

Brief announcement: modelling MapReduce for optimal execution in the cloud.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Accountable Virtual Machines.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Conductor: orchestrating the clouds.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Reliable data-center scale computations.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

A study of the internal and external effects of concurrency bugs.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
Full-Information Lookups for Peer-to-Peer Overlays.
IEEE Trans. Parallel Distributed Syst., 2009

Barbara Liskov's turing award.
SIGACT News, 2009

BFTW<sup>3</sup>: why? when? where? workshop on the theory and practice of byzantine fault tolerance.
SIGACT News, 2009

Zeno: Eventually Consistent Byzantine-Fault Tolerance.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Preserving digital data in heterogeneous environments.
Proceedings of the 2009 Joint International Conference on Digital Libraries, 2009

Towards Trusted Cloud Computing.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

Verme: Worm containment in overlay networks.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Fifth Workshop on Hot Topics in System Dependability (HotDep 2009).
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Defining weakly consistent Byzantine fault-tolerant services.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Challenges facing tomorrow's datacenter: summary of the LADiS workshop.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Using a Grid for Digital Preservation.
Proceedings of the Digital Libraries: Universal and Ubiquitous Access to Information, 2008

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Pretty Good Packet Authentication.
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Digital Preservation of Scientific Data.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2008

Pastel: Bridging the Gap between Structured and Large-State Overlays.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007
Adaptive Search Radius - Lowering Internet P2P File-Sharing Traffic through Self-Restraint.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Verme: Worm Containment in Peer-to-Peer Overlays.
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

GiGi: An Ocean of Gridlets on a "Grid-for-the-Masses".
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Tolerating Byzantine Faulty Clients in a Quorum System.
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005
Robust services in dynamic systems.
PhD thesis, 2005

Byzantine Clients Rendered Harmless.
Proceedings of the Distributed Computing, 19th International Conference, 2005

High Availability in DHTs: Erasure Coding vs. Replication.
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

2004
Transactional file systems can be fast.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Efficient Routing for Peer-to-Peer Overlays.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

When Multi-hop Peer-to-Peer Lookup Matters.
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003
BASE: Using abstraction to improve fault tolerance.
ACM Trans. Comput. Syst., 2003

One Hop Lookups for Peer-to-Peer Overlays.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

2002
The design of a robust peer-to-peer system.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001
Using Abstraction To Improve Fault Tolerance.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001


  Loading...