Field of inquiry

Experiment-Oriented Computing

A concept and resource map for computing systems that make disciplined experimentation a first-class concern.

  • Reflection
  • Realization
  • Invention
  • Inquiry
Domenico Remps's seventeenth-century Cabinet of Curiosities
Cabinet of Curiosities, by Domenico Remps (17th century). Collecting unique, strange, exotic or inspiring objects used to be popular among enlightened people. Thanks to efficient travel and communication, it is getting harder and harder for us to appreciate the appeal of such a thing.

This page collects useful resources regarding Experiment-Oriented Computing (EOC), a concept introduced in my ESEC/FSE 2018 paper The Case for Experiment-Oriented Computing (local free download). Computational experimentation technology can be found in many forms, sometimes explicit and dedicated, but more often intertwined with other concerns. In almost all cases I'm aware of, however, there is no proper understanding of the wide scope that such technology can have. Nevertheless, it is useful to map the technology that does exist, since it can help us track, motivate and imagine the progress of proper EOC tools and systems. I've also created a related infographic for dissemination to practitioners.

Tools

A/B Test Libraries, Frameworks and Services

In Software Engineering, experimentation is often confused with mere A/B testing. This is actually a very popular technique, so it would be futile to try to curate all such tools here. Rather, I will focus on those that for some reason are particularly interesting or representative.

  • Facebook's PlanOut: an archived framework for large-scale A/B testing, formerly used at Facebook.
  • Optimizely: A popular service that calls itself "the world's leading experimentation platform." It allows non-programmers to take existing web pages and modify them in order to determine the effects of such modifications. This is achieved by dynamically instrumenting the page before delivering to customers. Other forms of experimentation are also possible, some relating to personalization of pages with respect to users, locations and perhaps other factors.
  • Unbounce: A popular service to design and deploy landing pages (and other artifacts, it seems). Critically, allows for easy A/B testing, provided that the user spends some time designing the versions to be tested.
  • Effective Experiments: A platform for managing experiments conducted through other tools. Seems useful for teams with long-term commitment to experimentation.

Experiment Tracking and Versioning

  • Version Control System for Data Science Projects: Uses git to track experiments. Includes a number of additional abstractions, such as metrics and Machine Learning pipelines, in order to allow easier assessment and reproduction of results.
  • Sacred: Python library to define, run and track experiments. "Sacred is a tool to configure, organize, log and reproduce computational experiments. It is designed to introduce only minimal overhead, while encouraging modularity and configurability of experiments."
  • Sumatra: Primarily a command-line tool for "managing and tracking projects based on numerical simulation and/or analysis, with the aim of supporting reproducible research. It can be thought of as an automated electronic lab notebook for computational projects." Also provides a Python library for deeper integrations and customizations.
  • Experimenter: Uses git versioning in order to track both experimental setup and results.
  • Reccrd: Used to be a Python library and a related online service to store experimentation results. The link, however, no longer points to the right place.
  • MLflow: Describes itself as "an open source platform for the machine learning lifecycle". Allows the tracking of experiments, the organization of projects (in particular, to permit easier reproducibility) and — less importantly from an experimentation point of view — the deployment of models to various tools.
  • ModelDB: Allows the tracking of Machine Learning experiment results by close integration with selected libraries, including Spark's MLlib and scikit-learn.
  • Comet: Cloud-based programmatic experiment tracking, hyperparameters optimization, source and results comparison, git versioning and documentation. Commercial, but offers free access to open source projects.
  • Weights and Biases: Cloud-based programmatic experiment tracking, rather similar to MLflow's tracking component. Interestingly, has some ways to log artifacts to make their later inspection easier (e.g., 3D objects for visualization). Free for small projects, commercial or not.

Experimentation with Users

  • Amazon's Mechanical Turk: One of the most well-known platforms to recruit users to complete arbitrary tasks online. Obviously useful for experimenting with users. For example, Toomin et al. have studied user preferences by performing experiments using Mechanical Turk.
  • Clickworker: an alternative to Mechanical Turk, with various pre-defined use cases.

Design Automation

  • Delve: a tool from Sidewalk Labs to automatically experiment with multiple possibilities of urban designs, in order to optimize metrics of interest to the experimenter. Looks quite amazing. Surprisingly, I was told by an authoritative source that architects actually like the idea – the main resistance comes from real estate developers.
  • SIERRA (reSearch pIpEline for Reproducibility, Reusability, and Automation): a research tool capable of generating experimental setups from declarative, instead of imperative, specifications. They claim that instead of writing "I need to perform these steps to run the experiment, process the data and generate the graphs I want", one can write "OK SIERRA: Here is the environment and simulator/robot platform I want to use, the deliverables I want to generate, and the data I want to appear on them for my research query–GO!". Related paper.

AutoML

Automated Machine Learning, to achieve its objectives, often experiments with various software designs, models and parameters. Some notable tools and libraries:

Causal Inference Libraries

Causal inference aims to extract causal knowledge from historical data, when actual experimentation is not possible. So, though it is not really about experimentation per se, it might offer ways in which to motivate and improve experiments, as well as to treat experimental data.

Other Tools

  • What-If Tool: Part of TensorBoard, allows users to interact with model features and examples in order to quickly assess their effect in learning. This is a manual tool, designed to allow users to manipulate and understand models in real-time.
  • Hydra: a CLI application framework from Facebook that seems to help in automating experimentation workflows by making configuration variation easy, including the management of corresponding outputs. Take a look at their tutorial.

Real-World Applications, Laboratories and Companies

Tutorials

  • Designing Adaptive Experiments to Study Working Memory. A practical example of using Probabilistic Programming (through the Pyro library) to choose optimal experimental parameters while performing the experiments. More concretely, given how subjects have responded so far, what should be the length of the next sequence of digits to measure memory capacity. See the paper by Foster et al. as well.

Papers

The nature of experimentation itself:

Computational Scientific Discovery:

Experimental Design:

  • Bakshy, E., Eckles, D., & Bernstein, M. S. (2014, April). Designing and deploying online field experiments. In Proceedings of the 23rd international conference on World wide web (pp. 283-292).
    • Comment: Concerns the PlanOut system developed by Facebook.
  • Tosch, E., Bakshy, E., Berger, E. D., Jensen, D. D., & Moss, J. E. B. (2019). PlanAlyzer: assessing threats to the validity of online experiments. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 1-30. There's a CACM republication here too.
    • Comment: The works above concerning PlanOut treat the specification of experiments as something that differs from regular programs (and even from unusual programs such as those from Probabilistic Programming Languages), thereby elevating experimentation to a first-class computational entity. In this manner, they define new problems relevant to this scope, as well as their corresponding solutions. For this ontological reason alone, I find these to be important contributions.
  • Foster, A., Jankowiak, M., Bingham, E., Horsfall, P., Teh, Y.W., Rainforth, T. and Goodman, N., (2019). Variational Bayesian Optimal Experimental Design. Advances in Neural Information Processing Systems 2019.
  • John Harwell, London Lowmanstone, and Maria Gini (2022). SIERRA: A Modular Framework for Research Automation. In Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS '22). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 1905–1907.

Experimenter's workflow:

Industrial applications:

Scientific applications:

Ethics:

In Human-Computer Interaction (HCI), there are tools that help users to experiment with the design of various types of artifacts. These range from very simple approaches (e.g., quick previews) to highly sophisticated ones, based on optimization or learning techniques. Beyond their specific design applications, such tools are, by definition (the 'Human' part of HCI), very close to users, and therefore can be rich sources of inspiration for more general experimentation interfaces.

Causality:

  • Yao, L., Chu, Z., Li, S., Li, Y., Gao, J., & Zhang, A. (2020). A Survey on Causal Inference. arXiv preprint arXiv:2002.02770.
    • A concise presentation of the potential outcomes framework, including both traditional and modern methods.

Books

Computational Scientific Discovery.

Active Learning. Burr (2012)'s description of the field explains the importance for experimentation very well: "Traditional 'passive' learning systems induce a hypothesis to explain whatever training data happens to be available (e.g., a collection of labeled instances). By contrast, the hallmark of an active learning system is that it eagerly develops and tests new hypotheses as part of a continuing, interactive learning process. Another way to think about it is that active learners develop a 'line of inquiry,' much in the way a scientist would design a series of experiments to help him or her draw conclusions as efficiently as possible."

Software analytics (and related experimental concerns). Although, in principle, software analytics can be entirely passive (and therefore not experimental), in reality software provides an ideal medium for supporting experimentation (i.e., because arbitrary interaction can be implemented). Hence, it is worth understanding the area.

Philosophy of Science. Unsurprisingly, I find the discipline to be quite insightful.

Causal Inference.

Courses

Causal Inference.

Media coverage