research-article

Interpreting Assays with Control Flow on Digital Microfluidic Biochips

Authors:

Daniel Grissom,

Christopher Curtis,

Philip BriskAuthors Info & Claims

ACM Journal on Emerging Technologies in Computing Systems (JETC), Volume 10, Issue 3

Article No.: 24, Pages 1 - 30

https://doi.org/10.1145/2567669

Published: 06 May 2014 Publication History

Abstract

BioCoder is a C++ library developed at Microsoft Research, India, for the unambiguous specification of biochemical assays. This article describes language extensions to BioCoder along with a compiler and runtime system that translate and execute assays specified using BioCoder on a software simulator. The simulator mimics the behavior of laboratories-on-a-chip (LoCs) based on a droplet actuation technology called electrowetting on dielectric (EWoD). To date, prior compilers targeting similar EWoD devices are limited to assays specified as directed acyclic graphs (DAGs) and cannot handle arbitrary control flow or feedback from the LoC. The framework presented herein addresses these challenges through dynamic interpretation, thereby enlarging the space of assays that can be compiled onto EWoD devices.

References

[1]

M. Alistar, E. Maftei, P. Pop, and J. Madsen. 2010. Synthesis of biochemical applications on digital microfluidic biochips with operation variability. In Proceedings of the Symposium on Design, Test, Integration, and Packaging of MEMS/MOEMS.

[2]

M. Alistar, P. Pop, and J. Madsen. 2012. Online synthesis for error recovery in digital microfluidic biochips with operation variability. In Proceedings of the Symposium on Design, Test, Integration, and Packaging of MEMS/MOEMS.

[3]

A. M. Amin, M. Thottedthodi, T. N. Vijaykumar, S. Wereley, and S. C. Jacobson. 2007. Aquacore: A programmable architecture for microfluidics. In Proceedings of the International Symposium on Computer Architecture. 254--265.

Digital Library

[4]

V. Ananthanarayanan and W. Thies. 2010. BioCoder: A programming language for standardizing and automating biology protocols. J. Biol. Eng. 4.

[5]

K. F. Bohringer. 2006. Modeling and controlling parallel tasks in droplet-based microfluidic systems. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 25, 2, 329--339.

Digital Library

[6]

K. Chakrabarty. 2010. Design automation and test solutions for digital microfluidic biochips. IEEE Trans. Circuits Syst. 57, 1, 4--17.

Digital Library

[7]

G.-M. Chiu. 2000. The odd-even turn model for adaptive routing. IEEE Trans. Parallel Distrib. Syst. 11, 7, 729--738.

Digital Library

[8]

M. Cho and D. Z. Pan. 2008. A high-performance droplet router algorithm for digital microfluidic biochips. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 27, 10, 1714--1724.

Digital Library

[9]

W. J. Dally and C. L. Seitz. 1987. Deadlock-free message routing in multiprocessor interconnection networks. IEEE Trans. Comput. C-36, 5, 547--553.

Digital Library

[10]

W. J. Dally and B. P. Towles. 2004. Principles and Practices of Interconnection Networks. Morgan Kaufmann.

Digital Library

[11]

J. Ding, K. Chakrabarty, and R. B. Fair. 2001. Scheduling of microfluidic operations for reconfigurable two-dimensional electrowetting arrays. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 20, 12, 1463--1468.

Digital Library

[12]

R. B. Fair, A. Khlystov, T. D. Tailor, V. Ivanov, R. D. Evans, P. B. Griffin, V. Srinivasan, V. K. Pamula, M. G. Pollack, and J. Zhou. 2007. Chemical and biological applications of digital-microfluidic devices. IEEE Des. Test Comput. 24, 1, 10--24.

Digital Library

[13]

S. K. Fan, C. Hashi, and C. J. Kim. 2003. Manipulation of multiple droplets on an N×M grid by cross-reference EWOD driving scheme and pressure-contact packaging. In Proceedings of the IEEE MEMS Conference. 694--697.

[14]

C. J. Glass and L. M. Ni. 1994. The turn model for adaptive routing. J. ACM 1, 874--902.

Digital Library

[15]

E. J. Griffith, S. Akella, and M. K. Goldberg. 2006. Performance characterization of a reconfigurable planar-array digital microfluidic systems. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 25, 2, 340--352.

Digital Library

[16]

D. Grissom and P. Brisk. 2012a. Fast online synthesis of generally programmable digital microfluidic biochips. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis. 413--422.

Digital Library

[17]

D. Grissom and P. Brisk. 2012b. Path scheduling on digital microfluidic biochips. In Proceedings of the Design Automation Conference. 26--35.

Digital Library

[18]

D. Grissom and P. Brisk. 2012c. A high-performance online assay interpreter for digital microfluidic biochips. In Proceedings of the Grest Lakes Symposium on VLSI (GLSVLSI'12). 103--106.

Digital Library

[19]

B. 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, 3305--3318.

[20]

A. Hashimoto and J. Stevens. 1971. Wire routing by optimizing channel assignment within large apertures. In Proceedings of the 8th Workshop on Design Automation. 155--169.

Digital Library

[21]

T.-W. Huang and T.-Y. Ho. 2009. A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips. In Proceedings of the International Conference on Computer-Aided Design. 445--450.

Digital Library

[22]

T.-W. Huang, C.-H. Lin, and T.-Y. Ho. 2010. A contamination aware droplet routing algorithm for the synthesis of digital microfluidic biochips. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 29, 11, 1682--1695.

Digital Library

[23]

F. J. Kurdahi and A. C. Parker. 1987. REAL: A program for REgister ALlocation. In Proceedings of the Design Automation Conference. 210--215.

Digital Library

[24]

C. Liao and S. Hu. 2011. Multiscale variation-aware techniques for high-performance digital microfluidic lab-on-a-chip component placement. IEEE Nano Biosci. 10, 1, 51--58.

[25]

R. L'Orsa, B. Bhattacharjee, M. Hoorfar, J. F. Holzman, and N. Homayoun. 2009. Detailed droplet routing and complexity characterization on a digital microfluidic biochip. Proc. SPIE 7318, 1--8.

[26]

Y. Luo, K. Chakrabarty, and T.-Y. Ho. 2012. A cyberphysical synthesis approach for error recovery in digital microfluidic biochips. In Proceedings of Design Automation and Test in Europe. 1239--1244.

Digital Library

[27]

E. Maftei, P. Pop, and J. Madsen. 2010. Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. ACM Trans. Des. Auton. Embed. Syst. 14, 3, 287--307.

Digital Library

[28]

D. Mitra, S. Ghoshal, H. Rahaman, K. Chakrabarty, and B. B. Bhattacharya. 2011. On residue removal in digital microfluidic biochips. In Proceedings of the Great Lakes Symposium on VLSI. 391--394.

Digital Library

[29]

J. H. Noh, J. Noh, E. Kreit, J. Heikenfeld, and P. D. Rack. 2011. Toward active-matrix lab-on-a-chip: Programmable electrofluidic control enabled by arrayed oxide thin film transistors. Lab Chip 12, 2, 353--360.

[30]

K. O'neal, D. Grissom, and P. Brisk. 2012. Force-directed scheduling for digital microfluidic biochips. In Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration.

[31]

M. G. Pollack, A. D. Shenderov, and R. B. Fair. 2002. Electrowetting-based actuation of droplets for integrated microfluidics. Lab Chip 2, 2, 96--101.

[32]

H. Ren, R. B. Fair, and M. G. Pollack. 2004. Automated on-chip droplet dispensing with volume control by electro-wetting actuation and capacitance metering. Sens. Actuators B: Chemical 98, 2--3, 319--327.

[33]

A. J. Ricketts, K. Irick, N. Vijaykrishnan, and M. J. Irwin. 2006. Priority scheduling in digital microfluidics-based biochips. In Proceedings of Design Automation and Test in Europe. 1--6.

Digital Library

[34]

P. Roy, H. Rahaman, and P. Dasgupta. 2010. A novel droplet routing algorithm for digital microfluidic biochips. In Proceedings of the Great Lakes Symposium on VLSI, 2010, 441--446.

Digital Library

[35]

P. Roy, H. Rahamn, and P. Dasgupta. 2012. Two-level clustering-based techniques for intelligent droplet routing in digital microfluidic biochips. Integ. VLSI J. 45, 3, 316--330.

Digital Library

[36]

K. Singha, T. Samanta, H. Rahaman, and P. Dasgupta. 2010. Method of droplet routing in digital microfluidic biochip. In Proceedings of the IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications, 251--256.

[37]

F. Su and K. Chakrabarty. 2005. Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips. In Proceedings of the Design Automation Conference. 2, 825--830.

Digital Library

[38]

F. Su and K. Chakrabarty. 2006a. Benchmarks for digital microfluidic biochip design and synthesis. Duke University, Dept. of Electrical and Computer Engineering. http://www.ee.duke.edu/&sim;fs/Benchmark.pdf.

[39]

F. Su and K. Chakrabarty. 2006b. Module placement for fault-tolerant microfluidics-based biochips. ACM Trans. Des. Autom. Embed. Syst. 11, 3, 682--710.

Digital Library

[40]

F. Su and K. Chakrabarty. 2008. High-level synthesis of digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 3, 4, Article 1.

Digital Library

[41]

F. Su, W. Hwang, and K. Chakrabarty. 2006. Droplet routing in the synthesis of digital microfluidic biochips. In Proceedings of Design Automation and Test in Europe. 323--328.

Digital Library

[42]

T. Xu and K. Chakrabarty. 2007. Integrated droplet routing in the synthesis of microfluidic biochips. In Proceedings of the Design Automation Conference. 948--953.

Digital Library

[43]

T. Xu, K. Chakrbarty, and V. K. Pamula. 2010. Defect-tolerant design and optimization of a digital microfluidic biochip for protein crystallization. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 29, 4, 552--565.

Digital Library

[44]

T. Xu, W. L. Hwang, F. Su, and K. Chakrabarty. 2007. Automated design of pin-constrained digital microfluidic biochips under droplet-interference constraints. ACM J. Emerg. Technol. Comput. Syst. 3, 3, Article 14.

Digital Library

[45]

P.-H. Yuh, C.-L. Yang, and Y.-W. Chang. 2007. Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation. ACM J. Emerg. Technol. Comput. Syst. 3, 3, Article 13.

Digital Library

[46]

P.-H. Yuh, C.-L. Yang, and Y.-W. Chang. 2008. BioRouter: A network-flow-based routing algorithm for the synthesis of digital microfluidic biochips. IEEE Trans. Comput. Aid. Des. Integr. Circuits Syst. 27, 11, 1928--1941.

Digital Library

[47]

Y. Zhao and K. Chakrabarty. 2009. Cross-contamination avoidance for droplet routing in digital microfluidic biochips. In Proceedings of Design Automation and Test in Europe. 2, 1290--1295.

Digital Library

[48]

Y. Zhao and K. Chakrabarty. 2010. Synchronization of washing operations with droplet routing for cross-contamination avoidance in digital microfluidic biochips. In Proceedings of the Design Automation Conference. 635--640.

Digital Library

[49]

Y. Zhao, T. Xu, and K. Chakrabarty. 2010. Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. ACM J. Emerg. Technol. Comput. Syst. 6, 3, Article 11.

Digital Library

Cited By

Loveless TOtt JBrisk PMaggio MWeimer JAl Faruque MOishi M(2021)Time- and resource-constrained scheduling for digital microfluidic biochipsProceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems10.1145/3450267.3450547(198-208)Online publication date: 19-May-2021
https://dl.acm.org/doi/10.1145/3450267.3450547
Liu LChen BMa H(2020)SDCNACM Transactions on Sensor Networks10.1145/340245217:1(1-25)Online publication date: 11-Nov-2020
https://dl.acm.org/doi/10.1145/3402452
Xu FLuo JWang MZhou G(2020)Speech-Driven End-to-End Language Discrimination toward Chinese DialectsACM Transactions on Asian and Low-Resource Language Information Processing10.1145/338902119:5(1-24)Online publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1145/3389021
Show More Cited By

Index Terms

Interpreting Assays with Control Flow on Digital Microfluidic Biochips
1. Applied computing
  1. Life and medical sciences
2. Hardware
  1. Electronic design automation
    1. Physical design (EDA)
  2. Hardware validation

Recommendations

A high-performance online assay interpreter for digital microfluidic biochips
GLSVLSI '12: Proceedings of the great lakes symposium on VLSI

We introduce an online interpreter to execute biochemical assays on droplet-based digital microfluidic biochips (DMFBs). Online interpretation enables adaptivity, e.g., response to faults during assay execution, variable-latency assay operations, and ...
A field-programmable pin-constrained digital microfluidic biochip
DAC '13: Proceedings of the 50th Annual Design Automation Conference

As digital microfluidic biochips (DMFBs) have matured over the last decade, efforts have been made to 1.) reduce the cost, and 2.) produce general-purpose chips. While work done to generalize DMFBs typically depends on the flexibility of individually ...
Digital microfluidic biochips: recent research and emerging challenges
CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Microfluidic biochips are replacing the conventional biochemical analyzers, and are able to integrate on-chip all the basic functions for biochemical analysis. The "digital" microfluidic biochips (DMFBs) are manipulating liquids not as a continuous flow,...

Comments

Information & Contributors

Information

Published In

cover image ACM Journal on Emerging Technologies in Computing Systems

ACM Journal on Emerging Technologies in Computing Systems Volume 10, Issue 3

April 2014

196 pages

ISSN:1550-4832

EISSN:1550-4840

DOI:10.1145/2614448

Issue’s Table of Contents

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 06 May 2014

Accepted: 01 May 2013

Revised: 01 January 2013

Received: 01 October 2012

Published in JETC Volume 10, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
308
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)1

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Loveless TOtt JBrisk PMaggio MWeimer JAl Faruque MOishi M(2021)Time- and resource-constrained scheduling for digital microfluidic biochipsProceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems10.1145/3450267.3450547(198-208)Online publication date: 19-May-2021
https://dl.acm.org/doi/10.1145/3450267.3450547
Liu LChen BMa H(2020)SDCNACM Transactions on Sensor Networks10.1145/340245217:1(1-25)Online publication date: 11-Nov-2020
https://dl.acm.org/doi/10.1145/3402452
Xu FLuo JWang MZhou G(2020)Speech-Driven End-to-End Language Discrimination toward Chinese DialectsACM Transactions on Asian and Low-Resource Language Information Processing10.1145/338902119:5(1-24)Online publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1145/3389021
Xu YShen YZhu YYu J(2020)AR2NetACM Transactions on Knowledge Discovery from Data10.1145/337240614:2(1-28)Online publication date: 9-Feb-2020
https://dl.acm.org/doi/10.1145/3372406
Hua TLu CChoo JReddy C(2020)Probabilistic Topic Modeling for Comparative Analysis of Document CollectionsACM Transactions on Knowledge Discovery from Data10.1145/336987314:2(1-27)Online publication date: 4-Mar-2020
https://dl.acm.org/doi/10.1145/3369873
Loveless TOtt JBrisk PMars JTang LXue JWu P(2020)A performance-optimizing compiler for cyber-physical digital microfluidic biochipsProceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3368826.3377925(171-184)Online publication date: 22-Feb-2020
https://dl.acm.org/doi/10.1145/3368826.3377925
Bhattacharjee STang JPoddar SIbrahim MKarri RChakrabarty K(2019)Bio-chemical Assay Locking to Thwart Bio-IP TheftACM Transactions on Design Automation of Electronic Systems10.1145/336557925:1(1-20)Online publication date: 22-Nov-2019
https://dl.acm.org/doi/10.1145/3365579
Liu DCao ZHe YJi XHou MJiang H(2019)Exploiting Concurrency for Opportunistic Forwarding in Duty-Cycled IoT NetworksACM Transactions on Sensor Networks10.1145/332249615:3(1-33)Online publication date: 30-May-2019
https://dl.acm.org/doi/10.1145/3322496
Willsey MStephenson ATakahashi CVaid PNguyen BPiszczek MBetts CNewman SJoshi SStrauss KCeze LBahar IHerlihy MWitchel ELebeck A(2019)PuddleProceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3297858.3304027(183-197)Online publication date: 4-Apr-2019
https://dl.acm.org/doi/10.1145/3297858.3304027
Tang JIbrahim MChakrabarty KKarri RTang JIbrahim MChakrabarty KKarri R(2019)Prevention: Tamper-Resistant Pin-Constrained Digital Microfluidic BiochipsSecure and Trustworthy Cyberphysical Microfluidic Biochips10.1007/978-3-030-18163-5_3(51-77)Online publication date: 29-May-2019
https://doi.org/10.1007/978-3-030-18163-5_3
Show More Cited By

View Options

Get Access

Login options

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

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents