{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T17:56:49Z","timestamp":1765994209253,"version":"3.41.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1035603"],"award-info":[{"award-number":["CNS-1035603"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2014,4]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2567669","type":"journal-article","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T13:45:52Z","timestamp":1399038352000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Interpreting Assays with Control Flow on Digital Microfluidic Biochips"],"prefix":"10.1145","volume":"10","author":[{"given":"Daniel","family":"Grissom","sequence":"first","affiliation":[{"name":"University of California, Riverside, CA"}]},{"given":"Christopher","family":"Curtis","sequence":"additional","affiliation":[{"name":"University of California, Riverside, CA"}]},{"given":"Philip","family":"Brisk","sequence":"additional","affiliation":[{"name":"University of California, Riverside, CA"}]}],"member":"320","published-online":{"date-parts":[[2014,5,6]]},"reference":[{"volume-title":"Proceedings of the Symposium on Design, Test, Integration, and Packaging of MEMS\/MOEMS.","author":"Alistar M.","key":"e_1_2_1_1_1","unstructured":"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. 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."},{"volume-title":"Proceedings of the Symposium on Design, Test, Integration, and Packaging of MEMS\/MOEMS.","author":"Alistar M.","key":"e_1_2_1_2_1","unstructured":"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. 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."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250694"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1186\/1754-1611-4-13"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855958"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2009.2038976"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.877831"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2003282"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676939"},{"key":"e_1_2_1_10_1","unstructured":"W. J. Dally and B. P. Towles. 2004. Principles and Practices of Interconnection Networks. Morgan Kaufmann.   W. J. Dally and B. P. Towles. 2004. Principles and Practices of Interconnection Networks. Morgan Kaufmann."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.969439"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.8"},{"volume-title":"Proceedings of the IEEE MEMS Conference. 694--697","author":"Fan S. K.","key":"e_1_2_1_13_1","unstructured":"S. K. Fan , C. Hashi , and C. J. Kim . 2003. Manipulation of multiple droplets on an N\u00d7M grid by cross-reference EWOD driving scheme and pressure-contact packaging . In Proceedings of the IEEE MEMS Conference. 694--697 . S. K. Fan, C. Hashi, and C. J. Kim. 2003. Manipulation of multiple droplets on an N\u00d7M grid by cross-reference EWOD driving scheme and pressure-contact packaging. In Proceedings of the IEEE MEMS Conference. 694--697."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/185675.185682"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.859515"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380510"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228367"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2206781.2206808"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc40273d"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800158.805069"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792354.1792438"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2062770"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/37888.37920"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNB.2011.2129596"},{"volume-title":"Proc. SPIE 7318","author":"L'Orsa R.","key":"e_1_2_1_25_1","unstructured":"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. 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."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of Design Automation and Test in Europe. 1239--1244","author":"Luo Y.","year":"2012","unstructured":"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 . 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."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9059-x"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1973009.1973091"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1039\/C1LC20851A"},{"volume-title":"Proceedings of the IFIP\/IEEE International Conference on Very Large Scale Integration.","author":"O'neal K.","key":"e_1_2_1_30_1","unstructured":"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. 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."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1039\/b110474h"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.snb.2003.09.030"},{"volume-title":"Proceedings of Design Automation and Test in Europe. 1--6.","author":"Ricketts A. J.","key":"e_1_2_1_33_1","unstructured":"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. 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."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1785481.1785583"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2011.11.006"},{"volume-title":"Proceedings of the IEEE\/ASME International Conference on Mechatronics and Embedded Systems and Applications, 251--256","author":"Singha K.","key":"e_1_2_1_36_1","unstructured":"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 . 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."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065797"},{"key":"e_1_2_1_38_1","unstructured":"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.  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."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142987"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324177.1324178"},{"volume-title":"Proceedings of Design Automation and Test in Europe. 323--328","author":"Su F.","key":"e_1_2_1_41_1","unstructured":"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 . 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."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278714"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2042888"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1295231.1295235"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1295231.1295234"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006140"},{"key":"e_1_2_1_47_1","first-page":"1290","article-title":"Cross-contamination avoidance for droplet routing in digital microfluidic biochips","volume":"2","author":"Zhao Y.","year":"2009","unstructured":"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 . 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.","journal-title":"Proceedings of Design Automation and Test in Europe."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837437"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1777401.1777404"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2567669","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2567669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:39Z","timestamp":1750232079000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2567669"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["10.1145\/2567669"],"URL":"https:\/\/doi.org\/10.1145\/2567669","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"type":"print","value":"1550-4832"},{"type":"electronic","value":"1550-4840"}],"subject":[],"published":{"date-parts":[[2014,4]]},"assertion":[{"value":"2012-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-05-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}