Meiklejohn, Christopher
154  Ergebnisse:
Personensuche X
?
2

Method overloading the circuit:

, In: Proceedings of the 13th Symposium on Cloud Computing,
 
?
4

Composing and decomposing op-based CRDTs with semidirect pr..:

, In: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
5

A.M.B.R.O.S.I.A : providing performant virtual resilienc..:

Goldstein, Jonathan ; Abdelhamid, Ahmed ; Barnett, Mike...
Proceedings of the VLDB Endowment.  13 (2020)  5 - p. 588-601 , 2020
 
?
6

Composing and decomposing op-based CRDTs with semidirect pr..:

Weidner, Matthew ; Miller, Heather ; Meiklejohn, Christopher
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-27 , 2020
 
?
 
?
8

Composing and decomposing op-based CRDTs with semidirect pr..:

Weidner, Matthew ; Miller, Heather ; Meiklejohn, Christopher
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-27 , 2020
 
?
 
?
10

Towards property-based consistency verification:

, In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data,
 
?
12

Lasp : a language for distributed, coordination-free pro..:

, In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming,
Meiklejohn, Christopher ; Van Roy, Peter - p. 184-195 , 2015
 
?
13

The implementation and use of a generic dataflow behaviour ..:

, In: Proceedings of the 14th ACM SIGPLAN Workshop on Erlang,
 
?
14

Lasp : a language for distributed, eventually consistent..:

, In: Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
15

Selective Hearing: An Approach to Distributed, Eventually C..:

, In: 2015 IEEE 34th Symposium on Reliable Distributed Systems Workshop (SRDSW),
 
1-15