Online reconstruction of structural information from datacenter logs

May 31, 2017 ~ Adrian Colyer ~ 4 Comments

Online reconstruction of structural information from datacenter logs Chothia et al., EuroSys'17 Today's choice brings together a couple of themes that we've previously looked at on The Morning Paper: recovering system information from log files, and dataflows for stream processing. On log files (and tracing), see for example Dapper, the MysteryMachine, lprof, and Pivot tracing. ... Continue Reading

Mosaic: processing a trillion-edge graph on a single machine

May 30, 2017 ~ Adrian Colyer ~ 9 Comments

Mosaic: Processing a trillion-edge graph on a single machine Maass et al., EuroSys'17 Unless your graph is bigger than Facebook's, you can process it on a single machine. With the inception of the internet, large-scale graphs comprising web graphs or social networks have become common. For example, Facebook recently reported their largest social graph comprises ... Continue Reading

An empirical study on the correctness of formally verified distributed systems

May 29, 2017 ~ Adrian Colyer ~ 9 Comments

An empirical study on the correctness of formally verified distributed systems Fonseca et al., EuroSys'17 "Is your distributed system bug free?" "I formally verified it!" "Yes, but is your distributed system bug free?" There's a really important discussion running through this paper - what does it take to write bug-free systems software? I have a ... Continue Reading

Apps with hardware: enabling run-time architectural customization in smart phones

May 26, 2017 ~ Adrian Colyer ~ 3 Comments

Apps with hardware: enabling run-time architectural customization in smart phones Coughlin et al., USENIX ATC'16 This week we've had a couple of hardware-related papers, and one touching on mobile apps (in the context of DNNs). Today's choice brings those themes together with some really creative thinking - programmable hardware for smartphones! With thanks to Afshaan ... Continue Reading

Neurosurgeon: collaborative intelligence between the cloud and the mobile edge

May 25, 2017 ~ Adrian Colyer ~ 3 Comments

Neurosurgeon: collaborative intelligence between the cloud and mobile edge Kang et al., ASPLOS'17 For a whole class of new intelligent personal assistant applications that process images, videos, speech, and text using deep neural networks, the common wisdom is that you really need to run the processing in the cloud to take advantage of powerful clusters ... Continue Reading

Bolt: I know what you did last summer… in the cloud

May 24, 2017 ~ Adrian Colyer ~ 3 Comments

Bolt: I know what you did last summer... in the cloud Delimitrou & Kozyrakis, ASPLOS'17 You get your run-of-the-mill noisy neighbours - the ones who occasionally have friends round and play music a little too loud until a little too late. And then in the UK at least you get what we used to call ... Continue Reading

Determining application-specific peak power and energy requirements for ultra-low power processors

May 23, 2017 ~ Adrian Colyer ~ 2 Comments

Determining application-specific peak power and energy requirements for ultra-low power processors Cherupalli et al., ASPLOS'17 We're straying a little bit out of The Morning Paper comfort zone again this morning to look at one of the key hardware issues affecting the design of IoT devices: how much energy they use, and the related question of ... Continue Reading

Typed Architectures: architectural support for lightweight scripting

May 22, 2017 ~ Adrian Colyer ~ 3 Comments

Typed Architectures: architectural support for lightweight scripting Kim et al., ASPLOS'17 JavaScript, Python, Ruby, Lua, and related dynamically typed scripting languages are increasingly popular for developing IoT applications. For example, the Raspberry Pi is associated with Python; Arduino and Intel's Galileo and Edison are associated with JavaScript. In these constrained hardware environments though, using JITs ... Continue Reading

Who controls the Internet? Analyzing global threats using property traversal graphs

May 19, 2017 ~ Adrian Colyer ~ 7 Comments

Who controls the Internet? Analyzing global threats using property traversal graphs Simeonovski et al., WWW'17 Who controls the Internet? How much influence do they have? And what would happen if one of those parties launched an attack or was compromised and used to launch an attack? Previous works have looked at the individual core services, ... Continue Reading

BOAT: Building auto-tuners with structured Bayesian optimization

May 18, 2017 ~ Adrian Colyer ~ 2 Comments

BOAT: Building auto-tuners with structured Bayesian optimization Dalibard et al., WWW'17 Due to their complexity, modern systems expose many configuration parameters which users must tune to maximize performance... From the number of machines used in a distributed application, to low-level parameters such as compiler flags, managing configurations has become one of the main challenges faced ... Continue Reading

the morning paper

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

Month: May 2017