Tyson Loveless

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Digital Content

Top Venues

Proc. ACM Program. Lang.

J. Chem. Inf. Model.

Publications

Tyson Loveless, Philip Brisk
Compiling Functions onto Digital Microfluidics. CGO (2023)
Tyson Loveless, Jason Ott, Philip Brisk
Time- and resource-constrained scheduling for digital microfluidic biochips. ICCPS (2021)
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
BioScript: programming safe chemistry on laboratories-on-a-chip. Commun. ACM 64 (2) (2021)
Tyson Loveless, Jason Ott, Philip Brisk
A performance-optimizing compiler for cyber-physical digital microfluidic biochips. CGO (2020)
Jason Ott, Daniel Tan, Tyson Loveless, William H. Grover, Philip Brisk
ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals. J. Chem. Inf. Model. 60 (7) (2020)
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
BioScript: programming safe chemistry on laboratories-on-a-chip. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)