Chronicle of Coracle: Parsing Protocol Specific Parameters

This is the first post in the “Chronicle of Coracle” series to document daily life using OCaml for systems programming. Today, I’ll be adding protocol specific parameters to Coracle, this mostly involves working with the Yojson and Cmdliner libraries. Once completed, Coracle will be able to accept JSON files like: {“nodes”: 50,”loss”: 0.0, “termination”:1000, “consensus”: Read More

#C3S2015 Trip Report – Day 1

Good Morning everyone! I am here in Estonia with Zafar, Steffen and Jon at the First Cyber Security Summer School. It’s 8am and we have a packed schedule ahead of us today. Good morning from a forest in Estonia A photo posted by heidi (@heidiann360) on Jul 12, 2015 at 10:04pm PDT Opening Remarks Session Read More

#C3S2015 Trip Report – Day 0

Hello from a lovely little spa hotel in a forest in Estonia. After an excellent dinner and many coffees, our first session started at 9pm (yes! they are working us hard already). We received a warm welcome from Olaf Meaneel (TUT) to the first ever cyber security summer school (C3S2015). Dr Parag Pruthi kicked off Read More

Paper Notes: Ethical Privacy Guidelines for Mobile Connectivity Measurements [Report Nov’13]

Ethical Privacy Guidelines for Mobile Connectivity Measurements is the first item on the C3S reading list, below is my brief notes on this November 2013 report by the Oxford Internet Institute. The stated purpose of this report is to inform networking researchers about the best practices for preserving data subject privacy when performing active measurement of mobile Read More

Paper Notes: The Network is Reliable [ACMQ July’14]

The Network is Reliable is an excellent article which attempts to formalise the discussion on real world failures for distributed systems. There is currently great debate on whether the assumption that network partitions are rare is too strong or too weak, for modern networks. Much of the data which we could use to answer this question is not published, Read More

EuroSysDW’15 Poster on Unanimous

Here is the draft of my EuroSys doctoral workshop workshop poster. I would appreciate any feedback on the poster, I hope to sent it to the printers in 3/4 hours.   Read More

Converting from Tikz to PNG

Here’s how I did it: \documentclass[preview,border=4mm,convert={density=600,outext=.png}]{standalone}   \usepackage{url} \usepackage{tikz} \usepackage{color} \begin{document}   \begin{tikzpicture} add figure source here \end{tikzpicture}   \end{document}\documentclass[preview,border=4mm,convert={density=600,outext=.png}]{standalone} \usepackage{url} \usepackage{tikz} \usepackage{color} \begin{document} \begin{tikzpicture} add figure source here \end{tikzpicture} \end{document} Then compile using: latexmk smr.tex -shell-escape Read More

Unanimous: System Research Group talklet

I’m looking forward to sharing my thoughts on consensus for the edge network with the SRG today, abstract below Many projects in the SRG at the moment (HAT, UCN, contacts app, MirageOS for ARM, Jitsu, databox, signposts) are trying to give individuals an viable alternative to 3rd party centralised services and put them back in Read More

Conservative election in Byzantine Fault Tolerant Raft

Tangaroa, is a Byzantine tolerant Raft implementation in Haskell, developed by Christopher Copeland and Hongxia Zhong for a Distributed Systems class at Stanford. The authors apply many of the approaches in PBFT to Raft, allowing for the Byzantine failure of nodes.  My interest in this work is how can you stop unnecessary leader elections in Raft algorithm using more Read More

EuroSys 2015

I am incredibility excited to announce that I’ll be attending this year’s EuroSys and its Doctoral Workshop. I’m hope to live blog the event over at syslog. Any recommendations of papers to look out for? Mail me if your going and would like to meet up in Bordeaux. Read More

1 2 3 4 5 15