skip to main content
research-article
Open Access

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

Published:24 October 2018Publication History
Skip Abstract Section

Abstract

This paper introduces BioScript, a domain-specific language (DSL) for programmable biochemistry which 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 contributions of the paper include the BioScript type system and relevant portions of its compiler. The type system ensures that certain types of errors, specific to biochemistry, do not occur, including the interaction of chemicals that may be unsafe. The compiler includes novel optimizations that place biochemical operations to execute concurrently on a spatial 2D array platform on the granularity of a control flow graph, as opposed to individual basic blocks. Results are obtained using both a cycle-accurate microfluidic simulator and a software interface to a real-world platform.

Skip Supplemental Material Section

Supplemental Material

a128-ott.webm

References

  1. Mirela Alistar and Urs Gaudenz. 2017. OpenDrop: An Integrated Do-It-Yourself Platform for Personal Use of Biochips. Bioengineering 4, 2 (2017).Google ScholarGoogle Scholar
  2. Mirela Alistar and Paul Pop. 2015. Synthesis of biochemical applications on digital microfluidic biochips with operation execution time variability. Integration 51 (2015), 158–168. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Mirela Alistar, Paul Pop, and Jan Madsen. 2016. Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures. IEEE Trans. on CAD of Integrated Circuits and Systems 35, 5 (2016), 764–777. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. American Industrial Hygiene Association. 2016. http://bit.ly/2eZtf1m . Accessed: 2016-11-08.Google ScholarGoogle Scholar
  5. Ahmed M. Amin, Raviraj Thakur, Seth Madren, Han-Sheng Chuang, Mithuna Thottethodi, T. N. Vijaykumar, Steven T. Wereley, and Stephen C. Jacobson. 2013. Software-programmable continuous-flow multi-purpose lab-on-a-chip. Microfluid Nanofluidics 15, 5 (Nov 2013), 647–659.Google ScholarGoogle ScholarCross RefCross Ref
  6. Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, and Stephen C. Jacobson. 2007. Aquacore: a programmable architecture for microfluidics. In 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, Dean M. Tullsen and Brad Calder (Eds.). ACM, 254–265. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Scott C. Ananian and Arthur C. Smith. 1999. The Static Single Information Form. Ph.D. Dissertation. Massachusetts Institue of Technology.Google ScholarGoogle Scholar
  8. Vaishnavi Ananthanarayanan and William Thies. 2010. Biocoder: A programming language for standardizing and automating biology protocols. Journal of Biological Engineering 4 (NOV 2010).Google ScholarGoogle Scholar
  9. Ronald C Backer, Joseph R Monforte, and Alphonse Poklis. 2005. Evaluation of the DRI® oxycodone immunoassay for the detection of oxycodone in urine. Journal of analytical toxicology 29, 7 (2005), 675–677.Google ScholarGoogle ScholarCross RefCross Ref
  10. Evgenij. Barsoukov and J. Ross Macdonald. 2005. Impedence Spectroscopy: Theory, Experiments, and Applications. WileyInterscience (2005).Google ScholarGoogle Scholar
  11. Amar S. Basu. 2013. Droplet morphometry and velocimetry (DMV): a video processing software for time-resolved, label-free tracking of droplet parameters. Lab Chip 13 (2013), 1892–1901. Issue 10.Google ScholarGoogle ScholarCross RefCross Ref
  12. Kiarash Bazargan, Ryan Kastner, and Majid Sarrafzadeh. 2000. Fast template placement for reconfigurable computing systems. IEEE design & Test of Computers 1 (2000), 68–83. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Biddut Bhattacharjee and Homayoun Najjaran. 2012. Droplet sensing by measuring the capacitance between coplanar electrodes in a digital microfluidic system. Lab Chip 12 (2012), 4416–4423. Issue 21.Google ScholarGoogle ScholarCross RefCross Ref
  14. Swimming Pool Help Blog. 2016. Swimming pool chemical incident. http://bit.ly/2gghGZI . accessed: 2016-11-01.Google ScholarGoogle Scholar
  15. Karl-Friedrich Böhringer. 2006. Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 25, 2 (2006), 334–344. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Benoit Boissinot, Philip Brisk, Alain Darte, and Fabrice Rastello. 2012. SSI Properties Revisited. ACM Trans. Embedded Comput. Syst. 11, S1 (2012), 21. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Preston Briggs, Keith D Cooper, and Linda Torczon. 1994. Improvements to graph coloring register allocation. ACM Transactions on Programming Languages and Systems (TOPLAS) 16, 3 (1994), 428–455. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Arnold Cahn and Paul Hepp. 1886. Das antifebrin, ein neues fiebermittel. Centralblatt für Klinische Medizin 7 (1886), 561–564.Google ScholarGoogle Scholar
  19. Gregory J. Chaitin. 1982. Register Allocation & Spilling via Graph Coloring. In Proceedings of the SIGPLAN ’82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982. 98–105. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Gregory J. Chaitin, Marc A. Auslander, Ashok K. Chandra, John Cocke, Martin E. Hopkins, and Peter W. Markstein. 1981. Register Allocation Via Coloring. Comput. Lang. 6, 1 (1981), 47–57. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. ChemAxon. 2016. http://www.chemaxon.com . Marvin was used for characterizing chemical structures, substructures and reactions, Marvin 16.10.3.Google ScholarGoogle Scholar
  22. Ying-Han Chen, Chung-Lun Hsu, Li-Chen Tsai, Tsung-Wei Huang, and Tsung-Yi Ho. 2013. A Reliability-Oriented Placement Algorithm for Reconfigurable Digital Microfluidic Biochips Using 3-D Deferred Decision Making Technique. IEEE Trans. on CAD of Integrated Circuits and Systems 32, 8 (2013), 1151–1162. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Minsik Cho and David Z. Pan. 2008. A High-Performance Droplet Routing Algorithm for Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 27, 10 (2008), 1714–1724. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Peter Cooreman, Ronald Thoelen, Jean Manca, M. vandeVen, V. Vermeeren, L. Michiels, M. Ameloot, and P. Wagner. 2005. Impedimetric immunosensors based on the conjugated polymer PPV. Biosens. Bioelectron. 20 (2005), 2151–2156. Issue 10.Google ScholarGoogle ScholarCross RefCross Ref
  25. Christopher Curtis and Philip Brisk. 2015. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  27. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. 1991. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Trans. Program. Lang. Syst. 13, 4 (1991), 451–490. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. Tools and Algorithms for the Construction and Analysis of Systems (2008), 337–340. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, and T. Meyarivan. 2002. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 6, 2 (Apr 2002), 182–197. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Jie Ding, Krishnendu Chakrabarty, and Richard B. Fair. 2001. Scheduling of microfluidic operations for reconfigurabletwodimensional electrowetting arrays. IEEE Trans. on CAD of Integrated Circuits and Systems 20, 12 (2001), 1463–1468. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Daniel A. Dobbs, Robert G. Bergman, and Klaus H. Theopold. 1990. Piranha solution explosion. , 2–2 pages.Google ScholarGoogle Scholar
  32. Christopher M. Dobson. 2004. Chemical space and biology. Nature 432, 7019 (2004), 824.Google ScholarGoogle ScholarCross RefCross Ref
  33. Elsevier. 2009. Reaxys. https://new.reaxys.com/Google ScholarGoogle Scholar
  34. Environmental Protection Agency & National Oceanic and Atmospheric Administration. 2016. https://cameochemicals. noaa.gov/ . https://cameochemicals.noaa.gov/Google ScholarGoogle Scholar
  35. Luis M. Fidalgo and Sebastian J. Maerkl. 2011. A software-programmable microfluidic device for automated biology. Lab Chip 11, 9 (May 2011), 1612–1619.Google ScholarGoogle ScholarCross RefCross Ref
  36. 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, Article 193513 (2013).Google ScholarGoogle ScholarCross RefCross Ref
  37. Michal Galdzicki, Kevin P Clancy, Ernst Oberortner, Matthew Pocock, Jacqueline Y Quinn, Cesar A Rodriguez, Nicholas Roehner, Mandy L Wilson, Laura Adam, J Christopher Anderson, et al. 2014. The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology. Nature biotechnology 32, 6 (2014), 545–550.Google ScholarGoogle Scholar
  38. Jie Gao, Xianming Liu, Tianlan Chen, Pui-In Mak, Yuguang Du, Mang-I Vai, Bingcheng Lin, and Rui P. Martins. 2013. An intelligent digital microfluidic system with fuzzy-enhanced feedback for multi-droplet manipulation. Lab Chip 13 (2013), 443–451. Issue 3.Google ScholarGoogle ScholarCross RefCross Ref
  39. Lal George and Andrew W. Appel. 1996. Iterated Register Coalescing. ACM Trans. Program. Lang. Syst. 18, 3 (1996), 300–324. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Georges G. E. Gielen (Ed.). 2006. Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. European Design and Automation Association, Leuven, Belgium. http://ieeexplore.ieee.org/ xpl/mostRecentIssue.jsp?punumber=11014 Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. Jian Gong and Chang-Jin Kim. 2008. Direct-referencing two-dimensional-array digital microfluidics using multilayer printed circuit board. J. Microelectromech. Syst. 17 (2008), 257–264. Issue 2.Google ScholarGoogle ScholarCross RefCross Ref
  42. Daniel Grissom and Philip Brisk. 2012. Path scheduling on digital microfluidic biochips. In The 49th Annual Design Automation Conference 2012, DAC ’12, San Francisco, CA, USA, June 3-7, 2012, Patrick Groeneveld, Donatella Sciuto, and Soha Hassoun (Eds.). ACM, 26–35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Daniel Grissom and Philip Brisk. 2014. Fast Online Synthesis of Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 33, 3 (2014), 356–369. Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. Daniel Grissom, Christopher Curtis, and Philip Brisk. 2014. Interpreting Assays with Control Flow on Digital Microfluidic Biochips. ACM Journal on Emerging Technologies (JETC) in Computing Systems 10 (April 2014). Issue 3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Ben. Hadwen, G. R. Broder, D. Morganti, A. Jacobs, C. Brown, J. R. Hector, Y. Kubota, and H. Morgan. 2012. Programmable large area digital microfluidic array with integrated droplet sensing for bioassays. Lab Chip 12, 18 (Sep 2012), 3305–3313.Google ScholarGoogle Scholar
  46. Peter Hornbeck. 1991. Enzyme-linked immunosorbent assays. Current protocols in immunology (1991), 2–1.Google ScholarGoogle Scholar
  47. Yi-Ling Hsieh, Tsung-Yi Ho, and Krishnendu Chakrabarty. 2014. Biochip Synthesis and Dynamic Error Recovery for Sample Preparation Using Digital Microfluidics. IEEE Trans. on CAD of Integrated Circuits and Systems 33, 2 (2014), 183–196. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Kai Hu, Bang-Ning Hsu, Andrew Madison, Krishnendu Chakrabarty, and Richard B. Fair. 2013. Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips. In Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, Enrico Macii (Ed.). EDA Consortium San Jose, CA, USA / ACM DL, 559–564. Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Tsung-Wei Huang and Tsung-Yi Ho. 2009. A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips. In 27th International Conference on Computer Design, ICCD 2009, Lake Tahoe, CA, USA, October 4-7, 2009. IEEE Computer Society, 445–450. Google ScholarGoogle ScholarDigital LibraryDigital Library
  50. 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 Trans. on CAD of Integrated Circuits and Systems 29, 11 (2010), 1682–1695. Google ScholarGoogle ScholarDigital LibraryDigital Library
  51. Mohamed Ibrahim and Krishnendu Chakrabarty. 2015a. Efficient Error Recovery in Cyberphysical Digital-Microfluidic Biochips. IEEE Trans. Multi-Scale Computing Systems 1, 1 (2015), 46–58.Google ScholarGoogle ScholarCross RefCross Ref
  52. Mohamed Ibrahim and Krishnendu Chakrabarty. 2015b. Error recovery in digital microfluidics for personalized medicine. In Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. 247–252. http://dl.acm.org/citation.cfm?id=2755807 Google ScholarGoogle ScholarDigital LibraryDigital Library
  53. Mohamed Ibrahim, Krishnendu Chakrabarty, and Kristin Scott. 2017. Synthesis of Cyberphysical Digital-Microfluidic Biochips for Real-Time Quantitative Analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 36, 5 (2017), 733–746. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. Michael J. Schertzer, Ridha Ben Mrad, and Pierre Sullivan. 2012. Automated detection of particle concentration and chemical reactions in EWOD devices. 164 (03 2012), 1–6.Google ScholarGoogle Scholar
  55. Christopher Jaress, Philip Brisk, and Daniel Grissom. 2015. Rapid online fault recovery for cyber-physical digital microfluidic biochips. In 33rd IEEE VLSI Test Symposium, VTS 2015, Napa, CA, USA, April 27-29, 2015. IEEE Computer Society, 1–6.Google ScholarGoogle ScholarCross RefCross Ref
  56. 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 Chip 15 (2015), 151–158.Google ScholarGoogle ScholarCross RefCross Ref
  57. Erik C. Jensen, Bharath P. Bhat, and Richard A. Mathies. 2010. A digital microfluidic platform for the automation of quantitative biomolecular assays. Lab Chip 10, 6 (Mar 2010), 685–691.Google ScholarGoogle ScholarCross RefCross Ref
  58. Yousheng Jiang, Xuanyun Huang, Kun Hu, Wenjuan Yu, Xianle Yang, and Liqun Lv. 2011. Production and characterization of monoclonal antibodies against small hapten-ciprofloxacin. African Journal of Biotechnology 10, 65 (2011), 14342–14347.Google ScholarGoogle ScholarCross RefCross Ref
  59. Roxan Joncour, Nicolas Duguet, Estelle Métay, Amadéo Ferreira, and Marc Lemaire. 2014. Amidation of phenol derivatives: a direct synthesis of paracetamol (acetaminophen) from hydroquinone. Green Chemistry 16, 6 (2014), 2997–3002.Google ScholarGoogle ScholarCross RefCross Ref
  60. Oliver Keszocze, Robert Wille, Krishnendu Chakrabarty, and Rolf Drechsler. 2015. A General and Exact Routing Methodology for Digital Microfluidic Biochips. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015, Diana Marculescu and Frank Liu (Eds.). IEEE, 874–881. Google ScholarGoogle ScholarDigital LibraryDigital Library
  61. Oliver Keszocze, Robert Wille, and Rolf Drechsler. 2014. Exact routing for digital microfluidic biochips with temporary blockages. In The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014, Yao-Wen Chang (Ed.). IEEE, 405–410. Google ScholarGoogle ScholarDigital LibraryDigital Library
  62. Sunghwan Kim, Paul A Thiessen, Evan E Bolton, Jie Chen, Gang Fu, Asta Gindulyte, Lianyi Han, Jane He, Siqian He, Benjamin A Shoemaker, et al. 2015. PubChem substance and compound databases. Nucleic acids research 44, D1 (2015), D1202–D1213.Google ScholarGoogle Scholar
  63. Eric Klavins. 2014. Aquarium, Your protocols will be assimilated. http://klavinslab.org/aquarium.html . Accessed: 2017-11-13.Google ScholarGoogle Scholar
  64. Thomas Lederer, Stefan Clara, Bernhard Jakoby, and Wolfgang Hilber. 2012. Integration of impedance spectroscopy sensors in a digital microfluidic platform. Microsystem Technologies 18, 7 (01 Aug 2012), 1163–1180.Google ScholarGoogle Scholar
  65. Yiyan Li, Hongzhong Li, and R. Jacob Baker. 2014. Volume and concentration identification by using an electrowetting on dielectric device. IEEE DCAS (2014), 1–4.Google ScholarGoogle Scholar
  66. Yiyan Li, Hongzhong Li, and R. Jacob Baker. 2015. A Low-Cost and High-Resolution Droplet Position Detector for an Intelligent Electrowetting on Dielectric Device. Journal of Laboratory Automation 20, 6 (2015), 663–669.Google ScholarGoogle ScholarCross RefCross Ref
  67. Zipeng Li, Kelvin Yi-Tse Lai, John McCrone, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, and Chen-Yi Lee. 2017. Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip. IEEE Trans. on CAD of Integrated Circuits and Systems PP, 99 (2017). Google ScholarGoogle ScholarDigital LibraryDigital Library
  68. Chen Liao and Shiyan Hu. 2011. Multiscale variation-aware techniques for high-performance digital microfluidic lab-on-achip component placement. IEEE Trans Nanobioscience 10, 1 (Mar 2011), 51–58.Google ScholarGoogle Scholar
  69. Gabriel Lippmann. 1875. Relations entre les phénomènes électriques et capillaires. Gauthier-Villars. https://books.google.ch/ books?id=IkqVNwAACAAJGoogle ScholarGoogle Scholar
  70. Chia-Hung Liu, Kuang-Cheng Liu, and Juinn-Dar Huang. 2013. Latency-optimization synthesis with module selection for digital microfluidic biochips. In 2013 IEEE International SOC Conference, Erlangen, Germany, September 4-6, 2013, Norbert Schuhmann, Kaijian Shi, and Nagi Naganathan (Eds.). IEEE, 159–164.Google ScholarGoogle ScholarCross RefCross Ref
  71. L. Luan, R.D. Evans, N.M. Jokerst, and R.B. Fair. 2008. Integrated optical sensor in a digital microfluidic platform. IEEE Sensors 8 (2008), 628–635. Issue 5.Google ScholarGoogle ScholarCross RefCross Ref
  72. Lin Luan, Matthew White Royal, Randall Evans, Richard B. Fair, and Nan M. Jokerst. 2012. Chip Scale Optical Microresonator Sensors Integrated With Embedded Thin Film Photodetectors on Electrowetting Digital Microfluidics Platforms. 12 (June 2012), 1794–1800. Issue 6.Google ScholarGoogle Scholar
  73. Yan Luo, Bhargab B. Bhattacharya, Tsung-Yi Ho, and Krishnendu Chakrabarty. 2015. Design and Optimization of a Cyberphysical Digital-Microfluidic Biochip for the Polymerase Chain Reaction. IEEE Trans. on CAD of Integrated Circuits and Systems 34, 1 (2015), 29–42.Google ScholarGoogle ScholarCross RefCross Ref
  74. Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho. 2013a. Error Recovery in Cyberphysical Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 32, 1 (2013), 59–72. Google ScholarGoogle ScholarDigital LibraryDigital Library
  75. Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho. 2013b. Real-Time Error Recovery in Cyberphysical Digital-Microfluidic Biochips Using a Compact Dictionary. IEEE Trans. on CAD of Integrated Circuits and Systems 32, 12 (2013), 1839–1852. Google ScholarGoogle ScholarDigital LibraryDigital Library
  76. Elena Maftei, Paul Pop, and Jan Madsen. 2010. Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. Design Autom. for Emb. Sys. 14, 3 (2010), 287–307. Google ScholarGoogle ScholarDigital LibraryDigital Library
  77. Elena Maftei, Paul Pop, and Jan Madsen. 2013. Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution. JETC 9, 1 (2013), 2. Google ScholarGoogle ScholarDigital LibraryDigital Library
  78. Chi-Liang Mao, Keith D Zientek, Patrick T Colahan, Mei-Yueh Kuo, Chi-Ho Liu, Kuo-Ming Lee, and Chi-Chung Chou. 2006. Development of an enzyme-linked immunosorbent assay for fentanyl and applications of fentanyl antibody-coated nanoparticles for sample preparation. Journal of pharmaceutical and biomedical analysis 41, 4 (2006), 1332–1341.Google ScholarGoogle ScholarCross RefCross Ref
  79. Jeffrey McDaniel, Christopher Curtis, and Philip Brisk. 2013. Automatic synthesis of microfluidic large scale integration chips from a domain-specific language. 2013 IEEE Biomedical Circuits and Systems Conference, BioCAS 2013 1 (2013), 101–104.Google ScholarGoogle ScholarCross RefCross Ref
  80. Robin Milner. 1978. A theory of type polymorphism in programming. J. Comput. System Sci. 17, 3 (1978), 348–375.Google ScholarGoogle Scholar
  81. Hyejin Moon, Sung Kwon. Cho, Robin L. Garrell, and Chang-Jin Kim. 2002. Low voltage electrowetting-on-dielectric. J. Appl. Phys. 92 (2002), 4080–4087. Issue 7.Google ScholarGoogle ScholarCross RefCross Ref
  82. Frieder Mugele and Jeanchristophe Baret. 2005. Electrowetting: from basics to applications. Journal of Physics: Condensed Matter 17 (2005), R705–R774.Google ScholarGoogle ScholarCross RefCross Ref
  83. Kary B. Mullis, Henry A. Erlich, Norman Arnheim, Glenn T. Horn, Randall K. Saiki, and Stephen J. Scharf. 1987. Process for amplifying, detecting, and/or-cloning nucleic acid sequences. https://www.google.com/patents/US4683195 US Patent 4,683,195.Google ScholarGoogle Scholar
  84. Miguel Angel Murran and Homayoun Najjaran. 2012. Capacitance-based droplet position estimator for digital microfluidic devices. Lab Chip 12 (2012), 2053–2059. Issue 11.Google ScholarGoogle ScholarCross RefCross Ref
  85. Joo Hyon Noh, Jiyong Noh, Eric Kreit, Jason Heikenfeld, and Philip D. Rack. 2012. Toward active-matrix lab-on-a-chip: programmable electrofluidic control enabled by arrayed oxide thin film transistors. Lab Chip 12, 2 (Jan 2012), 353–360.Google ScholarGoogle ScholarCross RefCross Ref
  86. Kenneth O’Neal, Daniel Grissom, and Philip Brisk. 2012. Force-Directed List Scheduling for Digital Microfluidic Biochips. In 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Srinivas Katkoori, Matthew R. Guthaus, Ayse Kivilcim Coskun, Andreas Burg, and Ricardo Reis (Eds.). IEEE, 7–11.Google ScholarGoogle Scholar
  87. Jens Palsberg and Christina Pavlopoulou. 2001. From Polyvariant flow information to intersection and union types. Journal of Functional Programming 11, 3 (2001), 263–317. Google ScholarGoogle ScholarDigital LibraryDigital Library
  88. Sudip Poddar, Sarmishtha Ghoshal, Krishnendu Chakrabarty, and Bhargab B. Bhattacharya. 2016. Error-Correcting Sample Preparation with Cyberphysical Digital Microfluidic Lab-on-Chip. ACM Trans. Design Autom. Electr. Syst. 22, 1 (2016), 2:1–2:29. Google ScholarGoogle ScholarDigital LibraryDigital Library
  89. Michael G. Pollack, Alexander D. Shenderov, and Richard B. Fair. 2002. Electrowetting-based actuation of droplets for integrated microfluidics. Lab on a Chip 2, 2 (2002), 96–101.Google ScholarGoogle Scholar
  90. Hong Ren, Richard Fair, and Michael G. Pollack. 2004. Automated on-chip droplet dispensing with volume control by electro-wetting actuation and capacitance metering. 98 (03 2004), 319–327.Google ScholarGoogle Scholar
  91. Andrew J. Ricketts, Kevin M. Irick, Narayanan Vijaykrishnan, and Mary Jane Irwin. 2006. Priority scheduling in digital microfluidics-based biochips, See { Gielen 2006 }, 329–334. Google ScholarGoogle ScholarDigital LibraryDigital Library
  92. Pranab Roy, Hafizur Rahaman, and Parthasarathi Dasgupta. 2010. A novel droplet routing algorithm for digital microfluidic biochips. In Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, R. Iris Bahar, Fabrizio Lombardi, David Atienza, and Erik Brunvand (Eds.). ACM, 441–446. Google ScholarGoogle ScholarDigital LibraryDigital Library
  93. Pranab Roy, Hafizur Rahaman, and Parthasarathi Dasgupta. 2012. Two-level clustering-based techniques for intelligent droplet routing in digital microfluidic biochips. Integration 45, 3 (2012), 316–330. Google ScholarGoogle ScholarDigital LibraryDigital Library
  94. Saman Sadeghi, Huijiang Ding, Gaurav J. Shah, Supin Chen, Pei Yuin Keng, Chang-Jin “CJ” Kim, and R. Michael van Dam. 2012. On Chip Droplet Characterization: A Practical, High-Sensitivity Measurement of Droplet Impedance in Digital Microfluidics. Analytical Chemistry 84, 4 (2012), 1915–1923.Google ScholarGoogle Scholar
  95. 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 ScholarGoogle ScholarCross RefCross Ref
  96. Steve C. Shih, Irena Barbulovic-Nad, Xuning Yang, Ryan Fobel, and Aaron R. Wheeler. 2013. Digital microfluidics with impedance sensing for integrated cell culture and analysis. Biosens Bioelectron 42 (Apr 2013), 314–320.Google ScholarGoogle Scholar
  97. Steve C. Shih, Ryan Fobel, Paresh Kumar, and Aaron R. Wheeler. 2011. A feedback control system for high-fidelity digital microfluidics. Lab Chip 11 (2011), 535–540. Issue 3.Google ScholarGoogle ScholarCross RefCross Ref
  98. Yong Jun Shin and Jeong Bong Lee. 2010. Machine vision for digital microfluidics. Review of Scientific Instruments 81, 1 (2 2010).Google ScholarGoogle ScholarCross RefCross Ref
  99. Jeremy Singer. 2005. Static Program Analysis based on Virtual Register Renaming. Ph.D. Dissertation. University of Cambridge, UK.Google ScholarGoogle Scholar
  100. Hugo Sinha, Angela B. V. Quach, Philippe Q. N. Vo, and Steve C. Shih. 2018. An automated microfluidic gene-editing platform for deciphering cancer genes. Lab Chip (2018), 11–12.Google ScholarGoogle Scholar
  101. Aaron Smith, Jim Burrill, Jon Gibson, Bertrand Maher, Nick Nethercote, Bill Yoder, Doug Burger, and Kathryn S McKinley. 2006. Compiling for EDGE architectures. In Code Generation and Optimization, 2006. CGO 2006. International Symposium on. IEEE, 11–pp. Google ScholarGoogle ScholarDigital LibraryDigital Library
  102. Larisa N. Soldatova, Wayne Aubrey, Ross D. King, and Amanda Clare. 2008. The EXACT description of biomedical protocols. Bioinformatics 24 (JUL 2008). Google ScholarGoogle ScholarDigital LibraryDigital Library
  103. Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, and Vatsa Santhanam. 1999. Translating Out of Static Single Assignment Form. In Static Analysis, 6th International Symposium, SAS ’99, Venice, Italy, September 22-24, 1999, Proceedings. 194–210. Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. Vijay Srinivasan, Vamsee Pamula, and Richard Fair. 2004. Droplet-based microfluidic lab-on-a-chip for glucose detection. 507 (04 2004), 145–150.Google ScholarGoogle Scholar
  105. Fei Su and Krishnendu Chakrabarty. 2006. Module placement for fault-tolerant microfluidics-based biochips. ACM Trans. Design Autom. Electr. Syst. 11, 3 (2006), 682–710. Google ScholarGoogle ScholarDigital LibraryDigital Library
  106. Fei Su and Krishnendu Chakrabarty. 2008. High-level synthesis of digital microfluidic biochips. JETC 3, 4 (2008).Google ScholarGoogle Scholar
  107. Fei Su, William L. Hwang, and Krishnendu Chakrabarty. 2006. Droplet routing in the synthesis of digital microfluidic biochips, See { Gielen 2006 }, 323–328. Google ScholarGoogle ScholarDigital LibraryDigital Library
  108. Ian I. Suni. 2008. Impedance methods for electrochemical sensors using nanomaterials. TrAC Trends in Analytical Chemistry 27, 7 (2008), 604 – 611.Google ScholarGoogle ScholarCross RefCross Ref
  109. Synthace. 2016. Antha-lang, Coding Biology. https://www.antha- lang.org . accessed: 2016-11-01.Google ScholarGoogle Scholar
  110. William Thies, John Paul Urbanski, Todd Thorsen, and Saman Amarasinghe. 2007. Abstraction layers for scalable microfluidic biocomputing. Natural Computing 7, 2 (5 2007), 255–275. Google ScholarGoogle ScholarDigital LibraryDigital Library
  111. Darci J Trader and Erin E Carlson. 2013. Taming of a superbase for selective phenol desilylation and natural product isolation. The Journal of organic chemistry 78, 14 (2013), 7349–7355.Google ScholarGoogle ScholarCross RefCross Ref
  112. John Paul Urbanski, William Thies, Christopher Rhodes, Saman Amarasinghe, and Todd Thorsen. 2006. Digital microfluidics using soft lithography. Lab Chip 6 (2006), 96–104. Issue 1.Google ScholarGoogle ScholarCross RefCross Ref
  113. Philippe Q. N. Vo, Mathieu C. Husser, Fatemeh Ahmadi, Hugo Sinha, and Steve C. Shih. 2017. Image-based feedback and analysis system for digital microfluidics. Lab Chip 17 (2017), 3437–3446. Issue 20.Google ScholarGoogle ScholarCross RefCross Ref
  114. Mitchell Wand. 1986. Finding the source of type errors. In Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM, 38–43. Google ScholarGoogle ScholarDigital LibraryDigital Library
  115. Matthew White Royal, Nan M. Jokerst, and Richard Fair. 2013. Droplet-Based Sensing: Optical Microresonator Sensors Embedded in Digital Electrowetting Microfluidics Systems. 13 (12 2013), 4733–4742.Google ScholarGoogle Scholar
  116. Tao Xu and Krishnendu Chakrabarty. 2008. Integrated droplet routing and defect tolerance in the synthesis of digital microfluidic biochips. JETC 4, 3 (2008). Google ScholarGoogle ScholarDigital LibraryDigital Library
  117. Tao Xu, Krishnendu Chakrabarty, and Fei Su. 2008. Defect-Aware High-Level Synthesis and Module Placement for Microfluidic Biochips. IEEE Trans. Biomed. Circuits and Systems 2, 1 (2008), 50–62.Google ScholarGoogle ScholarCross RefCross Ref
  118. Hailong Yao, Qin Wang, Yiren Shen, Tsung-Yi Ho, and Yici Cai. 2016. Integrated Functional and Washing Routing Optimization for Cross-Contamination Removal in Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 35, 8 (2016), 1283–1296. Google ScholarGoogle ScholarDigital LibraryDigital Library
  119. Ping-Hung Yuh, Chia-Lin Yang, and Yao-Wen Chang. 2007. Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation. JETC 3, 3 (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library
  120. Ping-Hung Yuh, Chia-Lin Yang, and Yao-Wen Chang. 2008. BioRoute: A Network-Flow-Based Routing Algorithm for the Synthesis of Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 27, 11 (2008), 1928–1941. Google ScholarGoogle ScholarDigital LibraryDigital Library
  121. Yang Zhao and Krishnendu Chakrabarty. 2012. Cross-Contamination Avoidance for Droplet Routing in Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 31, 6 (2012), 817–830. Google ScholarGoogle ScholarDigital LibraryDigital Library
  122. Yang Zhao, Tao Xu, and Krishnendu Chakrabarty. 2010. Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. JETC 6, 3 (2010), 11:1–11:28. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

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

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!