Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.12425
Cited By
Katara: Synthesizing CRDTs with Verified Lifting
25 May 2022
Shadaj Laddad
Conor Power
Mae Milano
Alvin Cheung
J. M. Hellerstein
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Katara: Synthesizing CRDTs with Verified Lifting"
2 / 2 papers shown
Title
OrderlessChain: Do Permissioned Blockchains Need Total Global Order of Transactions?
Pezhman Nasirifard
R. Mayer
Hans-Arno Jacobsen
25
4
0
04 Oct 2022
New Directions in Cloud Programming
Alvin Cheung
Natacha Crooks
J. M. Hellerstein
Mae Milano
13
22
0
04 Jan 2021
1
