Hybrids on Steroids: SGX-based high performance BFT Behl et al., EuroSys'17 Byzantine fault tolerance (BFT) is the kind of fault-tolerance designed to withstand not just process crashes and network problems, but also active adversaries trying to break the system, as well as storage and memory corruptions and so on. We've taken a look at BFT … Continue reading Hybrids on Steroids: SGX-based high-performance BFT
Year: 2017
Statistical analysis of latency through semantic profiling
Statistical analysis of latency through semantic profiling Huang et al., EuroSys'17 Unlike traditional application profilers that seek to show the 'hottest' functions where an application spends the most time, VProfiler shows you where the sources of variance in latency come from, tied to semantic intervals such as individual requests or transactions. ... an increasing number … Continue reading Statistical analysis of latency through semantic profiling
DStress: Efficient differentially private computations on distributed data
DStress: Efficient differentially private computations on distributed data Papadimitriou et al., EuroSys'17 Regulators would like to assess and manage the systemic risk in the banking system - for example, the likelihood that a few initial bankruptcies could cause a failure cascade. In theory, it would be possible to quantify the risk of such a cascading … Continue reading DStress: Efficient differentially private computations on distributed data
Online reconstruction of structural information from datacenter logs
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 Online reconstruction of structural information from datacenter logs
Mosaic: processing a trillion-edge graph on a single machine
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 Mosaic: processing a trillion-edge graph on a single machine
An empirical study on the correctness of formally verified distributed systems
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 An empirical study on the correctness of formally verified distributed systems
Apps with hardware: enabling run-time architectural customization in smart phones
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 Apps with hardware: enabling run-time architectural customization in smart phones
Neurosurgeon: collaborative intelligence between the cloud and the mobile edge
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 Neurosurgeon: collaborative intelligence between the cloud and the mobile edge
Bolt: I know what you did last summer… in the cloud
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 Bolt: I know what you did last summer… in the cloud
Determining application-specific peak power and energy requirements for ultra-low power processors
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 Determining application-specific peak power and energy requirements for ultra-low power processors
the morning paper 