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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
ApplicationsOCaml at Pine
Chair(s): Igor Pikovets
10:30
25m
Talk
OwlDE: making ODEs first-class Owl citizens
OCaml
Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu Kao Computational and Biological Learning Lab, Department of Engineering, University of Cambridge
10:55
25m
Talk
CausalRPC: traceable distributed computation
OCaml
11:20
25m
Talk
Executing Owl Computation on GPU and TPU
OCaml
Jianxin Zhao University of Cambridge