Max Willsey
Ashley P. Stephenson
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.
- {n. d.}. Raspberry Pi 3B. https://www.raspberrypi.org/products/ raspberry-pi-3-model-b/Google Scholar
- Mirela Alistar and Urs Gaudenz. 2017. OpenDrop: An Integrated Do- It-Yourself Platform for Personal Use of Biochips. Bioengineering 4, 2 (2017), 45.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Vaishnavi Ananthanarayanan and William Thies. 2010. Biocoder: A programming language for standardizing and automating biology protocols. Journal of Biological Engineering 4, 1 (2010), 13.Google ScholarCross Ref
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Gary Bradski and Adrian Kaehler. 2000. OpenCV. Dr. Dobb's journal of software tools 3 (2000).Google Scholar
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- George M. Church, Yuan Gao, and Sriram Kosuri. {n. d.}. Nextgeneration digital information storage in DNA. 337, 6102 ({n. d.}), 1628--1628.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Philip Guo. 2014. Python is now the most popular introductory teaching language at top US universities. Communications in ACM, Blogs (2014).Google Scholar
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- Eric Jones, Travis Oliphant, and Pearu Peterson. 2014. SciPy: open source scientific tools for Python. (2014).Google Scholar
- Ben Keller, Justin Vrana, Abraham Miller, Garrett Newman, and Eric Klavins. 2019. Aquarium: The Laboratory Operating System.Google Scholar
- 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. Google ScholarDigital Library
- 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.pdfGoogle Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- James Munkres. 1957. Algorithms for the assignment and transportation problems. J. Soc. Indust. Appl. Math. 5, 1 (1957), 32--38.Google ScholarCross Ref
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Oxford Nanopore. {n. d.}. MinION. https://nanoporetech.com/ products/minionGoogle Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google ScholarCross Ref
- Pzucchel. {n. d.}. https://commons.wikimedia.org/wiki/File: Automated_pipetting_system_using_manual_pipettes.jpgGoogle Scholar
- Lulu Qian and Erik Winfree. 2011. Scaling up digital circuit computation with DNA strand displacement cascades. Science 332, 6034 (2011), 1196--1201.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Gisbert Schneider. 2017. Automating drug discovery. Nature Reviews Drug Discovery 17, 2 (2017), 97.Google ScholarCross Ref
- Thermofisher Scientific. {n. d.}. Qubit Fluorometric DNA Quantitation. https://www.thermofisher.com/us/en/home/industrial/ spectroscopy-elemental-isotope-analysis/molecular-spectroscopy/ fluorometers/qubit.htmlGoogle Scholar
- 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.3274673Google ScholarCross Ref
- 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.Google ScholarCross Ref
- 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.pdfGoogle ScholarDigital Library
- 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.Google Scholar
- Synthace. 2018. Antha. https://synthace.com/introducing-anthaGoogle Scholar
- Sven Tombrink and iX factory. {n. d.}. https://commons.wikimedia. org/wiki/File:Microfluidic_Chip_iX-factory.jpgGoogle Scholar
- Transcriptic. 2018. Autoprotocol. http://autoprotocol.org/Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- David Yu Zhang and Georg Seelig. {n. d.}. Dynamic DNA nanotechnology using strand-displacement reactions. 3, 2 ({n. d.}), 103.Google Scholar
- 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. Google ScholarDigital Library
Index Terms
- Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform
Recommendations
Seamless joining of porous membrane with thermoplastic microfluidic devices
This paper introduces a novel fabrication method for integrating commercially available porous membranes onto thermoplastic microfluidics devices. This method involves a two-step bonding process that creates a sturdy fusion between the membrane and the ...
Releasing large-area SU-8 structures without using any sacrificial layers
AbstractThe wet etching and physical stripping methods are typical methods to release independent SU-8 structures. However, it is difficult to release SU-8 structures by chemically etching sacrificial layers under the large footprint area ...
Graphical abstractMethods of releasing the large-area structures. (a) Preparation of SU-8 thin structures. (b) Exposure. (c-1) Peeling off the thin structures by using a razor blade. (c-2) Spin-coating of another thick SU-8 layer. (d) ...
Highlights- A release technique without any sacrificial layers is developed to release the SU-8 structures from the glass substrate.
Fabrication and characterization of injection molded multi level nano and microfluidic systems
We here present a method for fabrication of multi-level all-polymer chips by means of silicon dry etching, electroplating and injection molding. This method was used for successful fabrication of microfluidic chips for applications in the fields of ...
Comments