Papers

2020

• Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

2019

• Scaling Microfluidics to Complex, Dynamic Protocols
• High Density DNA Data Storage Library via Dehydration with Digital Microfluidic Retrieval
• Mega-Microfluidics
• Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform
• DNA Data Storage and Hybrid Molecular–Electronic Computing

2018

• Iterative Search for Reconfigurable Accelerator Blocks with a Compiler in the Loop
• Extensible Semantics for Fluidics

2016

• Design and Implementation of Concurrent C0
• Design and Implementation of Concurrent C0