Learning to prove theorems via interacting with proof assistants
Learning to prove theorems via interacting with proof assistants Yang & Deng, ICML’19 Something a little...
Statistical foundations of virtual democracy
Statiscal foundations of virtual democracy Kahng et al., ICML’19 This is another paper on the theme...
Robust learning from untrusted sources
Robust learning from untrusted sources Konstantinov & Lampert, ICML’19 Welcome back to a new term of...
Meta-learning neural Bloom filters
Meta-learning neural bloom filters Rae et al., ICML’19 Bloom filters are wonderful things, enabling us to...
Challenging common assumptions in the unsupervised learning of disentangled representations
Challenging common assumptions in the unsupervised learning of disentangled representations Locatello et al., ICML’19 Today’s paper...
Data Shapley: equitable valuation of data for machine learning
Data Shapley: equitable valuation of data for machine learning Ghorbani & Zou et al., ICML’19 It’s...
View-centric performance optimization for database-backed web applications
View-centric performance optimization for database-backed web applications Yang et al., ICSE 2019 The problem set-up in...
Three key checklists and remedies for trustworthy analysis of online controlled experiments at scale
Three key checklists and remedies for trustworthy analysis of online controlled experiments at scale Fabijan et...
Software engineering for machine learning: a case study
Software engineering for machine learning: a case study Amershi et al., ICSE’19 Previously on The Morning...
Automating chaos experiments in production
Automating chaos experiments in production Basiri et al., ICSE 2019 Are you ready to take your...
One SQL to rule them all: an efficient and syntactically idiomatic approach to management of streams and tables
One SQL to rule them all: an efficient and syntactically idiomatic approach to management of streams...
The convoy phenomenon
The convoy phenomenon Blasgen et al., IBM Research Report 1977 (revised 1979) Today we’re jumping from...
Machine learning systems are stuck in a rut
Machine learning systems are stuck in a rut Barham & Isard, HotOS’19 In this paper we...
Designing far memory data structures: think outside the box
Designing far memory data structures: think outside the box Aguilera et al., HotOS’19 Last time out...
Fast key-value stores: an idea whose time has come and gone
Fast key-value stores: an idea whose time has come and gone Adya et al., HotOS’19 No...
What bugs cause cloud production incidents?
What bugs cause production cloud incidents? Liu et al., HotOS’19 Last time out we looked at...
Nines are not enough: meaningful metrics for clouds
Nines are not enough: meaningful metrics for clouds Mogul & Wilkes, HotOS’19 It’s hard to define...