Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 17:07 - 17:30 at Olympia - Analysis Chair(s): Jan Vitek

Online experiments have become a ubiquitous aspect of design and engineering processes within Internet firms.
As the scale of experiments has grown, so has the complexity of their design and implementation. In response, firms have developed software frameworks for designing and deploying online experiments. Ensuring that experiments in these frameworks are correctly designed and that their results are trustworthy—referred to as internal validity—can be difficult. Currently, verifying internal validity requires manual inspection by someone with substantial expertise in experimental design.

We present the first approach for statically checking the internal validity of online experiments. Our checks are based on well-known problems that arise in experimental design and causal inference. Our analyses target PlanOut, a widely deployed, open-source experimentation framework that uses a domain-specific language to specify and run complex experiments. We have built a tool called PlanAlyzer that checks PlanOut programs for a variety of threats to internal validity, including failures of randomization, treatment assignment, and causal sufficiency. PlanAlyzer uses its analyses to automatically generate contrasts, a key type of information required to perform valid statistical analyses over the results of these experiments. We demonstrate PlanAlyzer's utility on a corpus of PlanOut scripts deployed in production at Facebook, and we evaluate its ability to identify threats to validity on a mutated subset of this corpus. PlanAlyzer has both precision and recall of 92% on the mutated corpus, and 82% of the contrasts it generates match hand-specified data.

Wed 23 Oct

splash-2019-oopsla
16:00 - 17:30: OOPSLA - Analysis at Olympia
Chair(s): Jan VitekNortheastern University
splash-2019-oopsla16:00 - 16:22
Talk
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
DOI
splash-2019-oopsla16:22 - 16:45
Talk
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
splash-2019-oopsla17:07 - 17:30
Talk
Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst
DOI