~/talks

Nuno Preguiça

what they talk about

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 7 in the filters

who talks about the same things

titleconferencedate
How to Enforce and Verify Invariants in Weakly Consistent DatabasesPLF 20232023-10-22
Study shows how to preserve application invariants on weakly consistent, geo‑replicated stores by combining weak ops with targeted strong handling: uses…
Talk on
High Throughput Replication with Integrated Membership ManagementUSENIX ATC '222022-07-11
ChainPaxos is a chain-structured Paxos variant that aggregates accept and commit steps into a pipeline to cut per-node message cost and execute updates with…
Talk on
ECROs: Building Global Scale Systems from Sequential CodeOOPSLA 20212021-10-17
ECROs derive correct hybrid replicated data types from a sequential Scala implementation plus a distributed specification, with the static analyzer Ordana…
Talk on
CRDTs in PracticeCode Mesh 20152015-11-03
CRDTs give always-accept updates with deterministic merge rules and actual libraries (React implements an observe-remove set used in production at a major…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.