Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Open access

BioScript: programming safe chemistry on laboratories-on-a-chip

Published: 25 January 2021 Publication History

Abstract

This paper introduces BioScript, a domain-specific language (DSL) for programmable biochemistry that executes on emerging microfluidic platforms. The goal of this research is to provide a simple, intuitive, and type-safe DSL that is accessible to life science practitioners. The novel feature of the language is its syntax, which aims to optimize human readability; the technical contribution of the paper is the BioScript type system. The type system ensures that certain types of errors, specific to biochemistry, do not occur, such as the interaction of chemicals that may be unsafe. Results are obtained using a custom-built compiler that implements the BioScript language and type system.

References

[1]
American Industrial Hygiene Association. 2016. http://bit.ly/2eZtf1m. [Accessed: 2016-11-08].
[2]
Amin, A.M., Thottethodi, M., Vijaykumar, T.N., Wereley, S., Jacobson, S.C. Aquacore: A programmable architecture for microfluidics. In D.M. Tullsen, and B. Calder, eds. Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, ACM, 2007. pp. 254--265
[3]
Blog SPH. Swimming pool chemical incident. 2016. http://bit.ly/2gghGZI. [Accessed: 2016-11-01].
[4]
ChemAxon. 2016. http://www.chemaxon.com. Marvin was used for characterizing chemical structures, substructures and reactions. Marvin 16.10.3.
[5]
Curtis, C., Brisk, P. Simulation of feedback-driven PCR assays on a 2d electrowetting array using a domain-specific high-level biological programming language. Microelectronic Engineering 148, (2015), 110--116.
[6]
Dobbs, D.A., Bergman, R.G., Theopold, K.H. Piranha solution explosion. 1990.
[7]
Environmental Protection Agency & National Oceanic and Atmospheric Administration. 2016. https://cameochemicals.noaa.gov/.
[8]
Fobel R, Fobel C, Wheeler AR. Dropbot: An open-source digital microfluidic control system with precise control of electrostatic driving force and instantaneous drop velocity measurement. Appl. Phys. Lett. 19, 102 (2013).
[9]
Jebrail, M.J., Renzi, R.F., Sinha, A., Van De Vreugde, J., Gondhalekar, C., Ambriz, C., Meagher, R.J., Branda, S.S. A solvent replenishment solution for managing evaporation of biochemical reactions in air-matrix digital microfluidics devices. Lab Chip 15, (2015), 151--158.
[10]
Lippmann, G. Relations entre les phénomènes électriques et capillaires. Gauthier-Villars. 1875.
[11]
Luo, Y., Chakrabarty, K., Ho, T. Error recovery in cyberphysical digital microfluidic biochips. IEEE Trans. CAD Integr. Circuits Sys. (1), 32 (2013), 59--72.
[12]
Luo, Y., Chakrabarty, K., Ho, T. Real-time error recovery in cyberphysical digital-microfluidic biochips using a compact dictionary. IEEE Trans. CAD Integr. Circuits Sys (12), 32 (2013), 1839--1852.
[13]
Mugele, F., Baret, J. Electrowetting: From basics to applications. J. Phys.: Condens. Matter, 17 (2005), 705--R774.
[14]
Mullis, K.B., Erlich, H.A., Arnheim, N., Horn, G.T., Saiki, R.K., Scharf, S.J. Process for amplifying, detecting, and/or-cloning nucleic acid sequences. US Patent 4,683,195; July 28 1987.
[15]
Ott, J., Loveless, T., Curtis, C., Lesani, M., Brisk, P. BioScript: Programming safe chemistry on laboratories-on-a-chip. In Proceedings of OOPSLA '18 (Boston, MA, USA, Nov. 7-9, 2018), Article 124.
[16]
Pollack, M.G., Shenderov, A.D., Fair, R.B. Electrowetting-based actuation of droplets for integrated microfluidics. Lab on a Chip (2), 2 (2002), 96--101.
[17]
Synthace. Antha-lang, coding biology. 2016. https://www.antha-lang.org. [Accessed: 2016-11-01].
[18]
Urbanski, J.P., Thies, W., Rhodes, C., Amarasinghe, S., Thorsen, T. Digital microfluidics using soft lithography. Lab Chip, 6 (2006), 96--104.
[19]
Zhao, Y., Xu, T., Chakrabarty, K. Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. JETC (3), 6 (2010), 11:1--11:28.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 64, Issue 2
February 2021
108 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3447971
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 January 2021
Published in CACM Volume 64, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 14,500
    Total Downloads
  • Downloads (Last 12 months)2,728
  • Downloads (Last 6 weeks)17
Reflects downloads up to 15 Oct 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media