[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3297858.3304027acmconferencesArticle/Chapter ViewAbstractPublication PagesasplosConference Proceedingsconference-collections
research-article
Open access

Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform

Published: 04 April 2019 Publication History

Abstract

Microfluidic devices promise to automate wetlab procedures by manipulating small chemical or biological samples. This technology comes in many varieties, all of which aim to save time, labor, and supplies by performing lab protocol steps typically done by a technician. However, existing microfluidic platforms remain some combination of inflexible, error-prone, prohibitively expensive, and difficult to program. We address these concerns with a full-stack digital microfluidic automation platform. Our main contribution is a runtime system that provides a high-level API for microfluidic manipulations. It manages fluidic resources dynamically, allowing programmers to freely mix regular computation with microfluidics, which results in more expressive programs than previous work. It also provides real-time error correction through a computer vision system, allowing robust execution on cheaper microfluidic hardware. We implement our stack on top of a low-cost droplet microfluidic device that we have developed. We evaluate our system with the fully-automated execution of polymerase chain reaction (PCR) and a DNA sequencing preparation protocol. These protocols demonstrate high-level programs that combine computational and fluidic operations such as input/output of reagents, heating of samples, and data analysis. We also evaluate the impact of automatic error correction on our system's reliability.

References

[1]
{n. d.}. Raspberry Pi 3B. https://www.raspberrypi.org/products/ raspberry-pi-3-model-b/
[2]
Mirela Alistar and Urs Gaudenz. 2017. OpenDrop: An Integrated Do- It-Yourself Platform for Personal Use of Biochips. Bioengineering 4, 2 (2017), 45.
[3]
Mirela Alistar, Elena Maftei, Paul Pop, and Jan Madsen. 2010. Synthesis of biochemical applications on digital microfluidic biochips with operation variability. In 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (DTIP). 350--357.
[4]
Mirela Alistar, Paul Pop, and Jan Madsen. 2012. Online synthesis for error recovery in digital microfluidic biochips with operation variability. In 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 53--58.
[5]
Ahmed M Amin, Mithuna Thottethodi, TN Vijaykumar, Steven Wereley, and Stephen C Jacobson. 2007. Aquacore: a programmable architecture for microfluidics. In ACM SIGARCH Computer Architecture News, Vol. 35. ACM, 254--265.
[6]
Vaishnavi Ananthanarayanan and William Thies. 2010. Biocoder: A programming language for standardizing and automating biology protocols. Journal of Biological Engineering 4, 1 (2010), 13.
[7]
Biddut Bhattacharjee and Homayoun Najjaran. 2012. Droplet sensing by measuring the capacitance between coplanar electrodes in a digital microfluidic system. Lab on a Chip 12, 21 (2012), 4416--4423.
[8]
Karl F. Bohringer. 2006. Modeling and controlling parallel tasks in droplet-based microfluidic systems. IEEE Transactions on Computer- Aided Design of Integrated Circuits and Systems 25, 2 (Feb 2006), 334--344.
[9]
Gary Bradski and Adrian Kaehler. 2000. OpenCV. Dr. Dobb's journal of software tools 3 (2000).
[10]
Douglas Carmean, Luis Ceze, Georg Seelig, Kendall Stewart, Karin Strauss, and Max Willsey. 2019. DNA data storage and hybrid molecular-electronic computing. Proc. IEEE 107, 1 (Jan 2019), 63--72.
[11]
Kihwan Choi, Alphonsus H.C. Ng, Ryan Fobel, and Aaron R. Wheeler. 2012. Digital Microfluidics. Annual Review of Analytical Chemistry 5, 1 (2012), 413--440.
[12]
George M. Church, Yuan Gao, and Sriram Kosuri. {n. d.}. Nextgeneration digital information storage in DNA. 337, 6102 ({n. d.}), 1628--1628.
[13]
Peter J.A. Cock, Tiago Antao, Jeffrey T. Chang, Brad A. Chapman, Cymon J. Cox, Andrew Dalke, Iddo Friedberg, Thomas Hamelryck, Frank Kauff, Bartek Wilczynski, et al. 2009. Biopython: freely available Python tools for computational molecular biology and bioinformatics. Bioinformatics 25, 11 (2009), 1422--1423.
[14]
Beatriz Coelho, Bruno Veigas, Elvira Fortunato, Rodrigo Martins, Hugo Águas, Rui Igreja, and Pedro V. Baptista. 2017. Digital microfluidics for nucleic acid amplification. Sensors 17, 7 (2017), 1495.
[15]
Christopher Curtis, Daniel Grissom, and Philip Brisk. 2018. A compiler for cyber-physical digital microfluidic biochips. In Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM, 365--377.
[16]
Ryan Fobel, Christian Fobel, and Aaron R. Wheeler. 2013. DropBot: An open-source digital microfluidic control system with precise control of electrostatic driving force and instantaneous drop velocity measurement. Applied Physics Letters 102, 19 (2013), 193513.
[17]
Nick Goldman, Paul Bertone, Siyuan Chen, Christophe Dessimoz, Emily M. LeProust, Botond Sipos, and Ewan Birney. 2013. Towards practical, high-capacity, low-maintenance information storage in synthesized DNA. Nature 494, 7435 (2013), 77.
[18]
Jian Gong and Chang-Jin Kim. 2008. Direct-referencing twodimensional- array digital microfluidics using multilayer printed circuit board. Journal of Microelectromechanical Systems 17, 2 (2008), 257--264.
[19]
Daniel Grissom and Philip Brisk. 2012. Path scheduling on digital microfluidic biochips. In Proceedings of the 49th Annual Design Automation Conference (DAC '12). ACM, New York, NY, USA, 26--35.
[20]
Daniel Grissom, Christopher Curtis, and Philip Brisk. 2014. Interpreting assays with control flow on digital microfluidic biochips. ACM Journal on Emerging Technologies in Computing Systems (JETC) 10, 3 (2014), 24.
[21]
Daniel Grissom, Christopher Curtis, Skyler Windh, Calvin Phung, Navin Kumar, Zachary Zimmerman, O'Neal Kenneth, Jeffrey McDaniel, Nick Liao, and Philip Brisk. 2015. An open-source compiler and PCB synthesis tool for digital microfluidic biochips. INTEGRATION, the VLSI journal 51 (2015), 169--193.
[22]
Philip Guo. 2014. Python is now the most popular introductory teaching language at top US universities. Communications in ACM, Blogs (2014).
[23]
B. Hadwen, G.R. Broder, D. Morganti, A. Jacobs, C. Brown, J.R. Hector, Y. Kubota, and Hywel Morgan. 2012. Programmable large area digital microfluidic array with integrated droplet sensing for bioassays. Lab on a Chip 12, 18 (2012), 3305--3313.
[24]
Peter E. Hart, Nils J. Nilsson, and Bertram Raphael. 1968. A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Transactions on Systems Science and Cybernetics 4, 2 (7 1968), 100--107.
[25]
Yi-Ling Hsieh, Tsung-Yi Ho, and Krishnendu Chakrabarty. 2014. Biochip synthesis and dynamic error recovery for sample preparation using digital microfluidics. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, 2 (Feb. 2014), 183--196.
[26]
Kai Hu, Bang-Ning Hsu, Andrew Madison, Krishnendu Chakrabarty, and Richard Fair. 2013. Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE '13). EDA Consortium, San Jose, CA, USA, 559--564. http://dl.acm.org/citation.cfm?id=2485288.2485426
[27]
Tsung-Wei Huang, Chun-Hsien Lin, and Tsung-Yi Ho. 2010. A contamination aware droplet routing algorithm for the synthesis of digital microfluidic biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29, 11 (Nov 2010), 1682--1695.
[28]
Christopher Jaress, Philip Brisk, and Daniel Grissom. 2015. Rapid online fault recovery for cyber-physical digital microfluidic biochips. In 2015 IEEE 33rd VLSI Test Symposium (VTS). 1--6.
[29]
Mais J. Jebrail, Ronald F. Renzi, Anupama Sinha, Jim Van De Vreugde, Carmen Gondhalekar, Cesar Ambriz, Robert J. Meagher, and Steven S. Branda. 2015. A solvent replenishment solution for managing evaporation of biochemical reactions in air-matrix digital microfluidics devices. Lab on a Chip 15, 1 (2015), 151--158.
[30]
Eric Jones, Travis Oliphant, and Pearu Peterson. 2014. SciPy: open source scientific tools for Python. (2014).
[31]
Ben Keller, Justin Vrana, Abraham Miller, Garrett Newman, and Eric Klavins. 2019. Aquarium: The Laboratory Operating System.
[32]
Oliver Keszocze, Robert Wille, Krishnendu Chakrabarty, and Rolf Drechsler. 2015. A general and exact routing methodology for digital microfluidic biochips. In 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 874--881.
[33]
Ross D. King, Jem Rowland, Stephen G. Oliver, Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa N. Soldatova, Andrew Sparkes, Kenneth E. Whelan, and Amanda Clare. 2009. The automation of science. Science 324, 5923 (2009), 85--89. arXiv:http://science.sciencemag.org/content/324/5923/85.full.pdf
[34]
Ross D. King, Kenneth E. Whelan, Ffion M. Jones, Philip G.K. Reiser, Christopher H. Bryant, Stephen H. Muggleton, Douglas B. Kell, and Stephen G. Oliver. 2004. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427, 6971 (2004), 247.
[35]
Ali Sinan Koksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodik, Jasmin Fisher, and Nir Piterman. 2013. Synthesis of Biological Models from Mutation Experiments. In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '13). ACM, New York, NY, USA, 469--482.
[36]
Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho. 2013. Error recovery in cyberphysical digital microfluidic biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32, 1 (2013), 59--72.
[37]
James Munkres. 1957. Algorithms for the assignment and transportation problems. J. Soc. Indust. Appl. Math. 5, 1 (1957), 32--38.
[38]
Lee Organick, Siena Dumas Ang, Yuan-Jyue Chen, Randolph Lopez, Sergey Yekhanin, Konstantin Makarychev, Miklos Z. Racz, Govinda Kamath, Parikshit Gopalan, Bichlien Nguyen, Christopher N. Takahashi, Sharon Newman, Hsing-Yeh Parker, Cyrus Rashtchian, Kendall Stewart, Gagan Gupta, Robert Carlson, John Mulligan, Douglas Carmean, Georg Seelig, Luis Ceze, and Karin Strauss. 2018. Random access in large-scale DNA data storage. Nature Biotechnology 36, 3 (Mar 2018), 242--248.
[39]
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk. 2018. BioScript: programming safe chemistry on laboratories-ona- chip. Proceedings of the ACM on Programming Languages 2, OOPSLA (2018), 128.
[40]
Oxford Nanopore. {n. d.}. MinION. https://nanoporetech.com/ products/minion
[41]
Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017. Automatic differentiation in PyTorch. In NIPSW.
[42]
John Paul Urbanski, William Thies, Christopher Rhodes, Saman Amarasinghe, and Todd Thorsen. 2006. Digital microfluidics using soft lithography. Lab on a Chip 6, 1 (2006), 96--104.
[43]
Michael G. Pollack, Richard B. Fair, and Alexander D. Shenderov. 2000. Electrowetting-based actuation of liquid droplets for microfluidic applications. Applied Physics Letters 77, 11 (2000), 1725--1726.
[44]
Pzucchel. {n. d.}. https://commons.wikimedia.org/wiki/File: Automated_pipetting_system_using_manual_pipettes.jpg
[45]
Lulu Qian and Erik Winfree. 2011. Scaling up digital circuit computation with DNA strand displacement cascades. Science 332, 6034 (2011), 1196--1201.
[46]
Pranab Roy, Hafizur Rahaman, and Parthasarathi Dasgupta. 2010. A novel droplet routing algorithm for digital microfluidic biochips. In Proceedings of the 20th Symposium on Great Lakes Symposium on VLSI (GLSVLSI '10). ACM, New York, NY, USA, 441--446.
[47]
Michael I. Sadowski, Chris Grant, and Tim S. Fell. 2016. Harnessing QbD, programming languages, and automation for reproducible biology. Trends in biotechnology 34, 3 (2016), 214--227.
[48]
Gisbert Schneider. 2017. Automating drug discovery. Nature Reviews Drug Discovery 17, 2 (2017), 97.
[49]
Thermofisher Scientific. {n. d.}. Qubit Fluorometric DNA Quantitation. https://www.thermofisher.com/us/en/home/industrial/ spectroscopy-elemental-isotope-analysis/molecular-spectroscopy/ fluorometers/qubit.html
[50]
Yong-Jun Shin and Jeong-Bong Lee. 2010. Machine vision for digital microfluidics. Review of Scientific Instruments 81, 1 (2010), 014302. arXiv:https://doi.org/10.1063/1.3274673
[51]
Andrew Sparkes, Wayne Aubrey, Emma Byrne, Amanda Clare, Muhammed N. Khan, Maria Liakata, Magdalena Markham, Jem Rowland, Larisa N. Soldatova, Kenneth E. Whelan, Michael Young, and Ross D. King. 2010. Towards robot scientists for autonomous scientific discovery. Automated Experimentation 2, 1 (2010), 1.
[52]
Kendall Stewart, Yuan-Jyue Chen, David Ward, Xiaomeng Liu, Georg Seelig, Karin Strauss, and Luis Ceze. 2018. A content-addressable DNA database with learned sequence encodings. In 24th International Conference On DNA Computing and Molecular Programming (DNA 24). https://homes.cs.washington.edu/~kstwrt/pubs/dna24.pdf
[53]
Satoshi Suzuki et al. 1985. Topological structural analysis of digitized binary images by border following. Computer vision, graphics, and image processing 30, 1 (1985), 32--46.
[54]
Synthace. 2018. Antha. https://synthace.com/introducing-antha
[55]
Sven Tombrink and iX factory. {n. d.}. https://commons.wikimedia. org/wiki/File:Microfluidic_Chip_iX-factory.jpg
[56]
Transcriptic. 2018. Autoprotocol. http://autoprotocol.org/
[57]
Udayan Umapathi, Patrick Shin, Ken Nakagaki, Daniel Leithinger, and Hiroshi Ishii. 2018. Programmable droplets for interaction. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. ACM, VS15.
[58]
Philippe Q. N. Vo, Mathieu C. Husser, Fatemeh Ahmadi, Hugo Sinha, and Steve C. C. Shih. 2017. Image-based feedback and analysis system for digital microfluidics. Lab on a Chip 17, 20 (2017), 3437--3446.
[59]
Tao Xu and Krishnendu Chakrabarty. 2008. Integrated droplet routing and defect tolerance in the synthesis of digital microfluidic biochips. Journal of Emerging Technologies in Computing Systems 4, 3, Article 11 (Aug. 2008), 24 pages.
[60]
Tao Xu, Krishnendu Chakrabarty, and Fei Su. 2008. Defect-aware high-level synthesis and module placement for microfluidic biochips. IEEE Transactions on Biomedical Circuits and Systems 2, 1 (March 2008), 50--62.
[61]
Hailong Yao, Qin Wang, Yiren Shen, Tsung-Yi Ho, and Yici Cai. 2016. Integrated functional and washing routing optimization for crosscontamination removal in digital microfluidic biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 35, 8 (Aug 2016), 1283--1296.
[62]
Matei Zaharia, Reynold S. Xin, Patrick Wendell, Tathagata Das, Michael Armbrust, Ankur Dave, Xiangrui Meng, Josh Rosen, Shivaram Venkataraman, Michael J. Franklin, Ali Ghodsi, Joseph Gonzalez, Scott Shenker, and Ion Stoica. 2016. Apache Spark: a unified engine for big data processing. Commun. ACM 59, 11 (Oct. 2016), 56--65.
[63]
David Yu Zhang and Georg Seelig. {n. d.}. Dynamic DNA nanotechnology using strand-displacement reactions. 3, 2 ({n. d.}), 103.
[64]
Yang Zhao and Krishnendu Chakrabarty. 2012. Cross-contamination avoidance for droplet routing in digital microfluidic biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 31, 6 (June 2012), 817--830.

Cited By

View all
  • (2024)Tandem: Reproducible Digital Fabrication Workflows as Multimodal ProgramsProceedings of the 2024 CHI Conference on Human Factors in Computing Systems10.1145/3613904.3642751(1-16)Online publication date: 11-May-2024
  • (2024)Towards Automated Testing of Multiplexers in Fully Programmable Valve Array Biochips2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASP-DAC58780.2024.10473918(570-575)Online publication date: 22-Jan-2024
  • (2023)A Deep Reinforcement Learning Approach to Droplet Routing for Erroneous Digital Microfluidic BiochipsSensors10.3390/s2321892423:21(8924)Online publication date: 2-Nov-2023
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
April 2019
1126 pages
ISBN:9781450362405
DOI:10.1145/3297858
This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 April 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. digital microfluidics
  2. microfluidics
  3. molecular computing
  4. runtime systems

Qualifiers

  • Research-article

Funding Sources

Conference

ASPLOS '19

Acceptance Rates

ASPLOS '19 Paper Acceptance Rate 74 of 351 submissions, 21%;
Overall Acceptance Rate 535 of 2,713 submissions, 20%

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)248
  • Downloads (Last 6 weeks)43
Reflects downloads up to 13 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Tandem: Reproducible Digital Fabrication Workflows as Multimodal ProgramsProceedings of the 2024 CHI Conference on Human Factors in Computing Systems10.1145/3613904.3642751(1-16)Online publication date: 11-May-2024
  • (2024)Towards Automated Testing of Multiplexers in Fully Programmable Valve Array Biochips2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASP-DAC58780.2024.10473918(570-575)Online publication date: 22-Jan-2024
  • (2023)A Deep Reinforcement Learning Approach to Droplet Routing for Erroneous Digital Microfluidic BiochipsSensors10.3390/s2321892423:21(8924)Online publication date: 2-Nov-2023
  • (2023)AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10136887(1-6)Online publication date: Apr-2023
  • (2023)Efficiently Enabling Block Semantics and Data Updates in DNA StorageProceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture10.1145/3613424.3614308(555-568)Online publication date: 28-Oct-2023
  • (2023)Compiling Functions onto Digital MicrofluidicsProceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3579990.3580023(136-148)Online publication date: 17-Feb-2023
  • (2023)Grisette: Symbolic Compilation as a Functional Programming LibraryProceedings of the ACM on Programming Languages10.1145/35712097:POPL(455-487)Online publication date: 11-Jan-2023
  • (2023)Virtualizing Existing Fluidic ProgramsACM Journal on Emerging Technologies in Computing Systems10.1145/355855019:3(1-14)Online publication date: 21-Jun-2023
  • (2023)BubbleTex: Designing Heterogenous Wettable Areas for Carbonation Bubble Patterns on SurfacesProceedings of the 2023 CHI Conference on Human Factors in Computing Systems10.1145/3544548.3581030(1-15)Online publication date: 19-Apr-2023
  • (2023)A Deep Reinforcement Learning-based Routing Algorithm for Unknown Erroneous Cells in DMFBs2023 21st IEEE Interregional NEWCAS Conference (NEWCAS)10.1109/NEWCAS57931.2023.10198067(1-5)Online publication date: 26-Jun-2023
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media