Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Ensuring Convergence and Invariants Without Coordination
Borrego, D., Preguiça, N., Gonzalez Boix, E. & Ferreira, C., 25 Jun 2025, In: Leibniz international proceedings in informatics. 333, p. 1-29 29 p.Research output: Contribution to journal › Conference paper
Open Access1 Citation (Scopus) -
Ensuring Convergence and Invariants Without Coordination (Artifact)
Borrego, D., Preguiça, N., Gonzalez Boix, E. & Ferreira, C., Jun 2025, Dagstuhl Artifacts Series: Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025. 2 ed. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 11. p. 1-7 7 p. (Dagstuhl artifacts series).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs
Borrego, D., Vilalonga, A., Domingos, H., Preguiça, N., Gonzalez Boix, E. & Ferreira, C., 2 Apr 2025, PaPoC '25: Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data: Eurosys 2025 and Asplos Workshops 2025. Frey, D. & Kaki, G. (eds.). ACM Digital Library, p. 38-44 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access1 Citation (Scopus) -
How to Enforce and Verify Invariants in Weakly Consistent Databases
Borrego, D., Preguiça, N. & Ferreira, C., 2023, (Unpublished). 7 p.Research output: Unpublished contribution to conference › Unpublished paper
-
ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs
dos Santos Borrego, D. (Speaker)
31 Mar 2025Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
SPLASH Mentoring Workshop
dos Santos Borrego, D. (Chair)
23 Oct 2023Activity: Participating in or organising an event › Participation in workshop, seminar
-
Transaction Chopping for Explicit Consistency in Partitioned Databases
dos Santos Borrego, D. (Speaker)
13 Sept 2023Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
Transaction Chopping for Explicit Consistency in Partitioned Databases
dos Santos Borrego, D. (Speaker)
13 Nov 2023Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
How to Enforce and Verify Invariants in Weakly Consistent Databases
dos Santos Borrego, D. (Presenter)
24 Oct 2023Activity: Talk or presentation › Talk or presentation at a workshop/seminar