In January the Conference on Innovative Data Systems Research (CIDR) was held, and I dedicated a week of The Morning Paper to reviewing some of my favourite papers from the programme. For February, I've chosen two conferences to bring you papers from: NDSS 2015 - The Network and Distributed System Security Symposium held in San … Continue reading NDSS and FAST week on The Morning Paper
Category: Uncategorized
Personal Data: Thinking Inside the Box
Personal Data: Thinking inside the box - Haddadi et al. 2015. This paper got some coverage in the press recently with a story in the British newspaper "The Guardian" headlined "Fightback against internet giants' stranglehold on personal data starts here." Amongst the authors we also find Jon Crowcroft (who wrote yesterday's paper 'On the duality … Continue reading Personal Data: Thinking Inside the Box
Specialized Evolution of the General Purpose CPU
Specialized Evolution of the General Purpose CPU - Rajwar et. al. 2015 This is the last in a series of five posts highlighting papers from the recent CIDR'15 conference. Today's choice was the keynote talk. If you like this kind of subject matter, see also the excellent 'What's new in CPUs since the 80s and … Continue reading Specialized Evolution of the General Purpose CPU
Epigrams on programming
Epigrams on programming - Perlis, 1982 See also the original formatted version in PDF at the ACM Digital Library if you have a subscription. A bit of Friday fun today. Not strictly a paper, but certainly a classic! Twitter didn't exist in 1982, though if it did, Alan Perlis would be a master tweeter. This … Continue reading Epigrams on programming
The Tail at Scale
The Tail at Scale - Dean and Barroso 2013 We've all become familiar with the importance of fault-tolerance and the techniques that can be used to achieve it. Less well-known is the idea of tail-tolerance. A system that doesn't respond quickly enough feels clunky to its users and can have serious negative consequences for site/service … Continue reading The Tail at Scale
Mergeable persistent data structures
Mergeable persistent data structures - Farinier et al. 2014 Irmin is part of the MirageOS project that was the subject of yesterday's paper, where it is also the basis for a Git-like persistent file system used for the OS. What if you could version-control a (mutable) persistent data structure, inspect its history, clone a remote … Continue reading Mergeable persistent data structures
Unikernels: Library Operating Systems for the Cloud
Unikernels: Library Operating Systems for the Cloud - Madhavapeddy et al. 2013 See also: Unikernels: Rise of the Virtual Library Operating System from ACM Queue. As we discussed in a previous edition of The Morning Paper, there is an increasing mismatch between the traditional OS design point, and the way that we are using the … Continue reading Unikernels: Library Operating Systems for the Cloud
How to write a 21st Century Proof
How to write a 21st Century Proof - Lamport 2012 In this paper Leslie Lamport shares what he has learned in well over 20 years of writing proofs. I am a computer scientist who was educated as a mathematician. I discovered structured proofs through my work on concurrent (multiprocess) algorithms. These algorithms can be quite … Continue reading How to write a 21st Century Proof
A Brief History of the Internet
A Brief History of the Internet - Leiner et al. 2003. The above link is to an HTML version. There's a pdf available on the ACM Digital Library too if you have access. This paper was written to give "a factual rendering of the events and activities associated with the development of the early Internet," … Continue reading A Brief History of the Internet
Spanner: Google’s Globally Distributed Database
Spanner: Google's Globally Distributed Database - Google 2012 Since we've spent the last two days looking at F1 and its online asynchronous schema change support, it seems appropriate today to look at Spanner, the system that underpins them both. There are three interesting stories that come out of the paper for me, each of which … Continue reading Spanner: Google’s Globally Distributed Database