A performance-optimizing compiler for cyber-physical digital microfluidic biochips. - Tyson Loveless; Jason Ott; Philip Brisk (CGO, 2020)

ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals. - Jason Ott; Daniel Tan; Tyson Loveless; William H. Grover; Philip Brisk (J. Chem. Inf. Model., 2020)

Time- and resource-constrained scheduling for digital microfluidic biochips. - Tyson Loveless; Jason Ott; Philip Brisk (ICCPS, 2021)

BioScript: programming safe chemistry on laboratories-on-a-chip. - Jason Ott; Tyson Loveless; Christopher Curtis; Mohsen Lesani; Philip Brisk (Commun. ACM, 2021)

Compiling Functions onto Digital Microfluidics. - Tyson Loveless; Philip Brisk (CGO, 2023)