Jason Ott

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Policy Enforcement

Development Environment

Digital Content

Top Venues

Proc. ACM Program. Lang.

J. Chem. Inf. Model.

Publications

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)
Yuru Shao, Jason Ott, Yunhan Jack Jia, Zhiyun Qian, Zhuoqing Morley Mao
The Misuse of Android Unix Domain Sockets and Security Implications. CCS (2016)
Yuru Shao, Qi Alfred Chen, Zhuoqing Morley Mao, Jason Ott, Zhiyun Qian
Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework. NDSS (2016)