SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems

March 25, 2015 ~ Adrian Colyer ~ 6 Comments

SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems - Leesatapornwongsa et al. 2014 This is the second of three papers we'll be looking at this week on the theme of verifying correctness of, and catching bugs in, distributed systems. Yesterday we saw the Statecall Policy Language and associated tool chain ... Continue Reading

RIPQ: Advanced photo caching on flash for Facebook

February 27, 2015 ~ Adrian Colyer ~ Leave a comment

RIPQ: Advanced Photo Caching on Flash for Facebook - Tang et al. 2015 It's three for the price of one with this paper: we get to deepen our understanding of the characteristics of flash, examine a number of priority queue and caching algorithms, and get a glimpse into what's behind an important part of Facebook's ... Continue Reading

Liquid: Unifying nearline and offline big data integration

February 4, 2015 ~ Adrian Colyer ~ 3 Comments

Liquid: Unifying Nearline and Offline Big Data Integration - Fernandez et al. 2015 This is post 3 of 5 in a series looking at the latest research from the CIDR '15 conference. Also in the series so far this week: 'The missing piece in complex analytics' and 'WANalytics: analytics for a geo-distributed, data intensive world'. ... Continue Reading

WANalytics: Analytics for a geo-distributed, data intensive world

February 3, 2015 ~ Adrian Colyer ~ 2 Comments

WANalytics: analytics for a geo-distributed data intensive world - Vulimiri et al. 2015 ...data is born distributed; we only control data replication and distributed execution strategies. This is true for so many sources of data. Combine this with Dave McCrory's observation that 'Data has Gravity' (i.e. it attracts applications and other data processing workloads to ... Continue Reading

The Missing Piece in Complex Analytics

February 2, 2015 ~ Adrian Colyer ~ 2 Comments

The Missing Piece in Complex Analytics: Low latency scalable model management and serving with Velox - Crankshaw et al. 2015. Analytics at scale can be used to create statistical models for making predictions about the world, but once the data scientists and analysts have done their initial work and a model has been built and ... Continue Reading

Mesa: Geo-Replicated, Near Real-Time, Scalable Data Warehousing

January 19, 2015 ~ Adrian Colyer ~ 5 Comments

Mesa: Geo-Replicated, Near Real-Time, Scalable Data Warehousing - Google 2014 Mesa is another in the tapestry of systems that support Google's advertising business. Previously editions of The Morning Paper have covered Photon, Spanner, F1, and F1's online schema update mechanism. Mesa is a highly scalable analytic data warehousing system that stores critical measurement data related ... Continue Reading

the morning paper

a random walk through Computer Science research, by Adrian Colyer
Made delightfully fast by strattic

Large Scale Systems