papers
Publications (5)
cs.DB2019
Antidote SQL: Relaxed When Possible, Strict When Necessary
Pedro Lopes, João Sousa, Valter Balegas +5
cs.DC2017
Generalized Paxos Made Byzantine (and Less Complex)
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
cs.DC2017
Making data center computations fast, but not so furious
Daniel Porto, João Loff, Rui Duarte +2
cs.DC2018
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases
Valter Balegas, Nuno Preguiça, Sérgio Duarte +2
cs.DC2015
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
Valter Balegas, Diogo Serra, Sérgio Duarte +5