ParchMint: A Microfluidics Benchmark Suite. - Brian Crites; Radhakrishna Sanka; Joshua Lippai; Jeffrey McDaniel; Philip Brisk; Douglas Densmore (IISWC, 2018)

Specification, Integration, and Benchmarking of Continuous Flow Microfluidic Devices: Invited Paper. - Radhakrishna Sanka; Brian Crites; Jeffrey McDaniel; Philip Brisk; Douglas Densmore (ICCAD, 2019)

Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices. - Yangruirui Zhou; Samuel M. D. Oliveira; Radhakrishna Sanka; David McIntyre; Douglas Densmore (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)