Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 10:55 - 11:20 at Pine - Applications Chair(s): Igor Pikovets

Remote procedure calls (RPCs) are a useful abstraction for stateful services, but they leave the application developer to solve several tricky problems: how can we ensure that concurrently-modified state remains consistent? How can we trace the behaviour of these systems when something goes wrong?

My presentation will suggest an answer to these questions: push everything into a Git repository! I will demonstrate CausalRPC, an RPC system that uses Irmin to resolve state conflicts automatically, building a trace of causal history as it goes.

Fri 23 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: OCaml 2019 - Applications at Pine
Chair(s): Igor Pikovets
ocaml-2019-papers10:30 - 10:55
Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu KaoComputational and Biological Learning Lab, Department of Engineering, University of Cambridge
ocaml-2019-papers10:55 - 11:20
ocaml-2019-papers11:20 - 11:45
Jianxin ZhaoUniversity of Cambridge