Month: July 2014

Release of “ARC: Analysis of Raft Consensus”

 “ARC: Analysis of Raft Consensus” is now available online as a UCAM technical report.  http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-857.pdf Abstract The Paxos algorithm, despite being synonymous with distributed consensus for a decade, is famously difficult to reason about and implement due to its non-intuitive approach and underspecification. In response, this project implemented and evaluated a framework for constructing fault-tolerant applications, Read More

Seeking Feedback on “ARC: Analysis of Raft Consensus”

My undergraduate dissertation “ARC: Analysis of Raft Consensus” will be submitted as a UCAM tech report. A draft is available here and I would be very grateful of any feedback. Title: ARC: Analysis of Raft ConsensusAbstract:The Paxos algorithm, despite being synonymous with distributed consensus for a decade, is famously difficult to reason about and implement due to its non-intuitive Read More

Project Zygote (working title) @ CamJam

Tomorrow we will be demonstrating an early prototype of Zygote (only the working title) at CamJam, the Cambridge based Raspberry Jam, organised by @recantha and @geeky_tim. Despite being only a few weeks into the project, we are keen to join the very welcoming Raspberry Pi community in Cambridge and get feedback on our idea as early as possible so they Read More

Dreaming of a new life on the edge network

Motivation The internet has abandoned the end-to-end principles on which it was established. With IPv4 addresses depleted, devices are left behind NATs, with the transition to IPv6 yet to restore their public identity. Users have been left isolated by their ISPs, they are pushed to depend on opaque centralised services boosting usability and availability. However, Read More

ICFP & OCaml 2014

I am fortunate enough to attend ICFP, CUFP and OCaml2014 again this year. Like last year, I’ve been accepted as a student volunteer so I’ll be running up and down with a microphone in front of hundreds of people again. Jeremy is kindly maintaining a list of this years accepted papers. I can’t wait to Read More