はてなブックマーク

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Meaningful availability, Hauer et al., NSDI’20 With thanks to Damien Mathieu for the recommendation. This very clearly written paper describes the Google G Suite team’s search for a meaningful availability metric: one that accurately reflected what their end users experienced, and

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Let’s encrypt: an automated certificate authority to encrypt the entire web, Aas et al., CCS’19 This paper tells the story of Let’s Encrypt, from it’s early beginnings in 2012/13 all the way to becoming the world’s largest HTTPS Certificate Authority (CA) today – accounting for mo

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic 150 successful machine learning models: 6 lessons learned at Booking.com Bernadi et al., KDD’19 Here’s a paper that will reward careful study for many organisations. We’ve previously looked at the deep penetration of machine learning models in the product stacks of leading compani

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Small world with high risks: a study of security threats in the npm ecosystem Zimmermann et al., USENIX Security Symposium 2019 This is a fascinating study of the npm ecosystem, looking at the graph of maintainers and packages and its evolution over time. It’s packed with some gre

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Software engineering for machine learning: a case study Amershi et al., ICSE’19 Previously on The Morning Paper we’ve looked at the spread of machine learning through Facebook and Google and some of the lessons learned together with processes and tools to address the challenges ar

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Automating chaos experiments in production Basiri et al., ICSE 2019 Are you ready to take your system assurance programme to the next level? This is a fascinating paper from members of Netflix’s Resilience Engineering team describing their chaos engineering initiatives: automated

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Nines are not enough: meaningful metrics for clouds Mogul & Wilkes, HotOS’19 It’s hard to define good SLOs, especially when outcomes aren’t fully under the control of any single party. The authors of today’s paper should know a thing or two about that: Jeffrey Mogul and John Wilke

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Understanding real-world concurrency bugs in Go Tu, Liu et al., ASPLOS’19 The design of a programming (or data) model not only makes certain problems easier (or harder) to solve, but also makes certain classes of bugs easier (or harder) to create, detect, and subsequently fix. Tod

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Distributed consensus revised Howard, PhD thesis Welcome back to a new term of The Morning Paper! To kick things off, I’m going to start by taking a look at Dr Howard’s PhD thesis, ‘Distributed consensus revised’. This is obviously longer than a standard paper, so we’ll break thin

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Time protection: the missing OS abstraction Ge et al., EuroSys’19 Ever since the prominent emergence of timing-based microarchitectural attacks (e.g. Spectre, Meltdown, and friends) I’ve been wondering what we can do about them. When a side-channel is based on observing improved p

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Calvin: fast distributed transactions for partitioned database systems Thomson et al., SIGMOD’12 Earlier this week we looked at Amazon’s Aurora. Today it’s the turn of Calvin, which is notably used by FaunaDB (strictly “_FaunaDB uses patent-pending technology inspired by Calvin…”)

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Programming paradigms for dummies: what every programmer should know Peter Van Roy, 2009 We’ll get back to CIDR’19 next week, but chasing the thread starting with the Data Continuum paper led me to this book chapter by Peter Van Roy mapping out the space of programming language de

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic The design and implementation of modern column-oriented database systems Abadi et al., Foundations and trends in databases, 2012 I came here by following the references in the Smoke paper we looked at earlier this week. “The design and implementation of modern column-oriented data

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Debugging data flows in reactive programs Banken et al., ICSE’18 To round off our look at papers from ICSE, here’s a really interesting look at the challenges of debugging reactive applications (with a certain Erik Meijer credited among the authors). … in recent years the use of R

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Deep code search Gu et al., ICSE’18 The problem with searching for code is that the query, e.g. “read an object from xml,” doesn’t look very much like the source code snippets that are the intended results, e.g.: * That’s why we have Stack Overflow! Stack Overflow can help with ‘h

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Semantics and complexity of GraphQL Hartig & Pérez, WWW’18 (If you don’t have ACM Digital Library access, the paper can be accessed either by following the link above directly from The Morning Paper blog site, or from the WWW 2018 proceedings page). GraphQL has been gathering good

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Performance analysis of cloud applications Ardelean et al., NSDI’18 Today’s choice gives us an insight into how Google measure and analyse the performance of large user-facing services such as Gmail (from which most of the data in the paper is taken). It’s a paper in two halves. T

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic JavaScript Zero: Real JavaScript and zero side-channel attacks Schwarz et al., NDSS’18 We’re moving from the server-side back to the client-side today, with a very topical paper looking at defences against micro-architectural and side-channel attacks in browsers. Since submission

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Last week I jokingly said that POPL papers must pass an ‘intellectual intimidation’ threshold in order to be accepted. That’s not true of course, but it is the case that programming languages papers can look especially intimidating to the practitioner (or indeed, the academic work

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Some thoughts on security after ten years of qmail 1.0 Bernstein, 2007 I find security much more important than speed. We need invulnerable software systems, and we need them today, even if they are ten times slower than our current systems. Tomorrow we can start working on making

the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Fast and precise type checking for JavaScript Chaudhuri et al., OOPSLA’17 In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code at Facebook every day. In a