Bookmarks (10) clear filters
-
Synthesizing data structure transformations from input-output examples
Synthesizing data structure transformations from input-output examples, Feser et al., PLDI’15 The Programmatically Interpretable Reinforcement Learning...
-
Declarative assembly of web applications from pre-defined concepts
Declarative assembly of web applications from predefined concepts De Rosso et al., Onward! 2019 I chose...
-
Local-first software: you own your data, in spite of the cloud
Local-first software: you own your data, in spite of the cloud Kleppmann et al., Onward! ’19...
-
Scaling symbolic evaluation for automated verification of systems code with Serval
Scaling symbolic evaluation for automated verification of systems code with Serval Nelson et al., SOSP’19 Serval...
-
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...
-
Automating chaos experiments in production
Automating chaos experiments in production Basiri et al., ICSE 2019 Are you ready to take your...
