Oops: A Language for Formalizing Fallible Biological Protocols
Shang, M.; Klavins, E.; Bernstein, G.
Show abstract
Formalizing protocols used in wetlab biological research as programs improves reproducibility by making protocols replicable and standardized. However, existing protocol languages have limited capacity for codifying error sources and standardizing error handling. When protocols inevitably go wrong, debugging must still be done by technicians, a process which is challenging for unfamiliar protocols and a scalability constraint in automated facilities. We introduce OO_SCPLOWOPSC_SCPLOW, a programming language for describing biological protocols along with how they can fail. OO_SCPLOWOPSC_SCPLOW makes expression of how errors affect outcomes concise through probabilistic semantics, an extensible abstraction of the lab, and metaprogramming. Given an outcome, OO_SCPLOWOPSC_SCPLOW enables analyses of what errors occurred by mapping lab observations to enforced program conditions and applying existing probabilistic inference algorithms. We formalize a collection of molecular cloning protocols and present case studies demonstrating how OO_SCPLOWOPSC_SCPLOW can explain errors and assess diagnostic capabilities.
Matching journals
The top 5 journals account for 50% of the predicted probability mass.
Similar papers in this journal
Similar papers in this journal
- Leveraging large language models for data analysis automation 94%
- Countering reproducibility issues in mathematical models with software engineering techniques: A case study using a one-dimensional mathematical model of the atrioventricular node 94%
- SIMPROV : Provenance capturing for simulation studies 93%
Similar papers in this journal
- Privacy-Preserving Genotype Imputation in a Trusted Execution Environment 94%
- Accurate sub-population detection and mapping across single cell experiments with PopCorn 92%
- FAIRshake: toolkit to evaluate the findability, accessibility, interoperability, and reusability of research digital resources 91%
Similar papers in this journal
- MaBoSS for HPC environments: Implementations of the continuous time Boolean model simulator for large CPUclusters and GPU accelerators 94%
- kegg_pull: a Software Package for the RESTful Access and Pulling from The Kyoto Encyclopedia of Gene and Genomes 94%
- Biology System Description Language (BiSDL): a modeling language for the design of multicellular synthetic biological systems 93%
"Similar papers" are the closest papers from that journal in the model's embedding space. They show what the match is built on, but the ranking comes mostly from a classifier over the whole training set, not from these examples alone.