Type test scripts for TypeScript testing

November 9, 2017 ~ Adrian Colyer ~ 2 Comments

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

Fast and precise type checking for JavaScript

November 8, 2017 ~ Adrian Colyer ~ 3 Comments

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

Virtual machine warmup blows hot and cold

November 7, 2017 ~ Adrian Colyer ~ 4 Comments

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

Statistically rigorous Java performance evaluation

November 6, 2017 ~ Adrian Colyer ~ 16 Comments

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

Log20: Fully automated optimal placement of log printing statements under specified overhead threshold

November 3, 2017 ~ Adrian Colyer ~ 15 Comments

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

My VM is lighter (and safer) than your container

November 2, 2017 ~ Adrian Colyer ~ 12 Comments

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

DeepXplore: automated whitebox testing of deep learning systems

November 1, 2017 ~ Adrian Colyer ~ 2 Comments

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

Same stats, different graphs: generating datasets with varied appearance and identical statistics through simulated annealing

October 31, 2017 ~ Adrian Colyer ~ 5 Comments

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

Occupy the cloud: distributed computing for the 99%

October 30, 2017 ~ Adrian Colyer ~ 2 Comments

Occupy the cloud: distributed computing for the 99% Jonas et al., SoCC’17 ‘Occupy the cloud’ won the best vision paper award at the recent ACM Symposium on Cloud Computing event. In the spirit of a vision paper, you won’t find detailed implementation and evaluation information here, but hopefully you’ll find something to make you think. ... Continue Reading

Learning networking by reproducing research results

October 27, 2017 ~ Adrian Colyer ~ 2 Comments

Learning networking by reproducing research results Yan & McKeown et al., SIGCOMM’17 Students taking Stanford’s Advanced Topics in Networking class have to select a networking research paper and reproduce a result from it as part of a three-week pair project. At the end of the process, they publish their findings on the course’s public Reproducing ... Continue Reading

the morning paper

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

Uncategorized