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.
Supplemental Material
Available for Download
This is the supplemental material that contains the necessary proofs and all experimentation.
- Mirela Alistar and Urs Gaudenz. 2017. OpenDrop: An Integrated Do-It-Yourself Platform for Personal Use of Biochips. Bioengineering 4, 2 (2017).Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- American Industrial Hygiene Association. 2016. http://bit.ly/2eZtf1m . Accessed: 2016-11-08.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- Scott C. Ananian and Arthur C. Smith. 1999. The Static Single Information Form. Ph.D. Dissertation. Massachusetts Institue of Technology.Google Scholar
- Vaishnavi Ananthanarayanan and William Thies. 2010. Biocoder: A programming language for standardizing and automating biology protocols. Journal of Biological Engineering 4 (NOV 2010).Google Scholar
- 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 Scholar
Cross Ref
- Evgenij. Barsoukov and J. Ross Macdonald. 2005. Impedence Spectroscopy: Theory, Experiments, and Applications. WileyInterscience (2005).Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Swimming Pool Help Blog. 2016. Swimming pool chemical incident. http://bit.ly/2gghGZI . accessed: 2016-11-01.Google Scholar
- 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 Scholar
Digital Library
- Benoit Boissinot, Philip Brisk, Alain Darte, and Fabrice Rastello. 2012. SSI Properties Revisited. ACM Trans. Embedded Comput. Syst. 11, S1 (2012), 21. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Arnold Cahn and Paul Hepp. 1886. Das antifebrin, ein neues fiebermittel. Centralblatt für Klinische Medizin 7 (1886), 561–564.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- ChemAxon. 2016. http://www.chemaxon.com . Marvin was used for characterizing chemical structures, substructures and reactions, Marvin 16.10.3.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Daniel A. Dobbs, Robert G. Bergman, and Klaus H. Theopold. 1990. Piranha solution explosion. , 2–2 pages.Google Scholar
- Christopher M. Dobson. 2004. Chemical space and biology. Nature 432, 7019 (2004), 824.Google Scholar
Cross Ref
- Elsevier. 2009. Reaxys. https://new.reaxys.com/Google Scholar
- Environmental Protection Agency & National Oceanic and Atmospheric Administration. 2016. https://cameochemicals. noaa.gov/ . https://cameochemicals.noaa.gov/Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- Lal George and Andrew W. Appel. 1996. Iterated Register Coalescing. ACM Trans. Program. Lang. Syst. 18, 3 (1996), 300–324. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Peter Hornbeck. 1991. Enzyme-linked immunosorbent assays. Current protocols in immunology (1991), 2–1.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital 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 Trans. on CAD of Integrated Circuits and Systems 29, 11 (2010), 1682–1695. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Cross 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 Chip 15 (2015), 151–158.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Eric Klavins. 2014. Aquarium, Your protocols will be assimilated. http://klavinslab.org/aquarium.html . Accessed: 2017-11-13.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- Gabriel Lippmann. 1875. Relations entre les phénomènes électriques et capillaires. Gauthier-Villars. https://books.google.ch/ books?id=IkqVNwAACAAJGoogle Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- Robin Milner. 1978. A theory of type polymorphism in programming. J. Comput. System Sci. 17, 3 (1978), 348–375.Google Scholar
- 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 Scholar
Cross Ref
- Frieder Mugele and Jeanchristophe Baret. 2005. Electrowetting: from basics to applications. Journal of Physics: Condensed Matter 17 (2005), R705–R774.Google Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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
Cross Ref
- 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 Scholar
- 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 Scholar
Cross Ref
- Yong Jun Shin and Jeong Bong Lee. 2010. Machine vision for digital microfluidics. Review of Scientific Instruments 81, 1 (2 2010).Google Scholar
Cross Ref
- Jeremy Singer. 2005. Static Program Analysis based on Virtual Register Renaming. Ph.D. Dissertation. University of Cambridge, UK.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- Larisa N. Soldatova, Wayne Aubrey, Ross D. King, and Amanda Clare. 2008. The EXACT description of biomedical protocols. Bioinformatics 24 (JUL 2008). Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Vijay Srinivasan, Vamsee Pamula, and Richard Fair. 2004. Droplet-based microfluidic lab-on-a-chip for glucose detection. 507 (04 2004), 145–150.Google Scholar
- 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 Scholar
Digital Library
- Fei Su and Krishnendu Chakrabarty. 2008. High-level synthesis of digital microfluidic biochips. JETC 3, 4 (2008).Google Scholar
- Fei Su, William L. Hwang, and Krishnendu Chakrabarty. 2006. Droplet routing in the synthesis of digital microfluidic biochips, See { Gielen 2006 }, 323–328. Google Scholar
Digital Library
- Ian I. Suni. 2008. Impedance methods for electrochemical sensors using nanomaterials. TrAC Trends in Analytical Chemistry 27, 7 (2008), 604 – 611.Google Scholar
Cross Ref
- Synthace. 2016. Antha-lang, Coding Biology. https://www.antha- lang.org . accessed: 2016-11-01.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- Tao Xu and Krishnendu Chakrabarty. 2008. Integrated droplet routing and defect tolerance in the synthesis of digital microfluidic biochips. JETC 4, 3 (2008). Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
BioScript: programming safe chemistry on laboratories-on-a-chip
Recommendations
Making legacy Fortran code type safe through automated program transformation
AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we ...
Compile-time type-checking for custom type qualifiers in Java
OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companionWe have created a system that enables programmers to add custom type qualifiers to the Java language in a backward-compatible way. The system allows programmers to write type qualifiers in their programs and to create compiler plug-ins that enforce the ...
JGroovy - an extensible Java programming language with Groovy
ICACT'10: Proceedings of the 12th international conference on Advanced communication technologyJava is Object-Oriented Programming Languages (OOPL) that widely used for software development. But Java has a limitation for working with Domain-Specific Languages (DSLs). Java language structure and syntax has not more support for working with DSLs ...






Comments