Tyson Loveless

According to our database, Tyson Loveless authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Compiling Functions onto Digital Microfluidics.

Tyson Loveless, Philip Brisk

Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023

2021

BioScript: programming safe chemistry on laboratories-on-a-chip.

Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk

Commun. ACM, 2021

Time- and resource-constrained scheduling for digital microfluidic biochips.

Tyson Loveless, Jason Ott, Philip Brisk

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

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

A performance-optimizing compiler for cyber-physical digital microfluidic biochips.

Tyson Loveless, Jason Ott, Philip Brisk

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020