Dynamic routing between capsules Sabour et al., NIPS’17 The Morning Paper isn’t trying to be a ‘breaking news’ site (there are plenty of those already!) — we covered a paper from 1950 last month for example! That said, when exciting research news breaks, of course I’m interested to read up on it. So The Morning … Continue reading Dynamic routing between capsules
Author: adriancolyer
Venture Partner with Accel in London, author of 'The Morning Paper'
A model for reasoning about JavaScript promises
A model for reasoning about JavaScript promises§ Madsen et al., OOPSLA’17 As an antidote to callback-hell, ECMAScript 6 introduces Promises. Promises represent the value of an asynchronous computation, and the functions resolve and reject are used to settle the promise. Promises can be chained using then. However, the semantics of JavaScript promises are quite complex, … Continue reading A model for reasoning about JavaScript promises
Type test scripts for TypeScript testing
Type test scripts for TypeScript testing Kristensen et al., OOPLSA’17 Today’s edition of The Morning Paper comes with a free tongue-twister; ‘type test scripts for TypeScript testing!’ One of the things that people really like about TypeScript is the DefinitelyTyped repository of type declarations for common (otherwise untyped) JavaScript libraries. There are over 3000 such … Continue reading Type test scripts for TypeScript testing
Fast and precise type checking for JavaScript
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 pretty dense 30 pages, ‘Fast and … Continue reading Fast and precise type checking for JavaScript
Virtual machine warmup blows hot and cold
Virtual machine warmup blows hot and cold Barrett et al., OOPSLA’17 (With thanks to Prof. Richard Jones at Kent University who first pointed this paper out to me.) Yesterday we saw the recommendations of Georges et al. for determining when a (Java) virtual machine has reached a steady state and benchmarks can be taken. Kalibera … Continue reading Virtual machine warmup blows hot and cold
Statistically rigorous Java performance evaluation
Statistically rigorous Java performance evaluation Georges et al., OOPSLA’07 This paper won the 10-year most influential paper award at OOPSLA this year. Many of the papers we look at on this blog include some kind of performance evaluation. As Georges et al., show, without good experimental design and statistical rigour it can be hard to … Continue reading Statistically rigorous Java performance evaluation
Log20: Fully automated optimal placement of log printing statements under specified overhead threshold
Log20: Fully automated optimal placement of log printing statements under specified overhead threshold Zhao et al., SOSP’17 Logging has become an overloaded term. In this paper logging is used in the context of recording information about the execution of a piece of software, for the purposes of aiding troubleshooting. For these kind of logging statements … Continue reading Log20: Fully automated optimal placement of log printing statements under specified overhead threshold
My VM is lighter (and safer) than your container
My VM is lighter (and safer) than your container Manco et al., SOSP’17 Can we have the improved isolation of VMs, with the efficiency of containers? In today’s paper choice the authors investigate the boundaries of Xen-based VM performance. They find and eliminate bottlenecks when launching large numbers of lightweight VMs (both unikernels and minimal … Continue reading My VM is lighter (and safer) than your container
DeepXplore: automated whitebox testing of deep learning systems
DeepXplore: automated whitebox testing of deep learning systems Pei et al., SOSP’17 The state space of deep learning systems is vast. As we’ve seen with adversarial examples, that creates opportunity to deliberately craft inputs that fool a trained network. Forget adversarial examples for a moment though, what about the opportunity for good old-fashioned bugs to … Continue reading DeepXplore: automated whitebox testing of deep learning systems
Same stats, different graphs: generating datasets with varied appearance and identical statistics through simulated annealing
Same stats, different graphs: generating datasets with varied appearance and identical statistics through simulated annealing Matejka & Fitzmaurice et al., CHI’17 Today’s paper choice is inspired by the keynote that Prof. Miriah Meyer gave at the recent Velocity conference in London, ‘Why an interactive picture is worth a thousand numbers.’ She made a wonderful and … Continue reading Same stats, different graphs: generating datasets with varied appearance and identical statistics through simulated annealing
the morning paper 