June 12, 2017 June 2017 - Our paper Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips has been accepted to CASES at ESWeek 2017, and will appear in the ACM Transactions on Embedded Computing Systems!