Jason Ott

According to our database, Jason Ott authored at least 7 papers between 2016 and 2021.

Collaborative distances:

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

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

2019

Programming Safe Chemistry on Laboratories-on-a-Chip.

Jason Ott

PhD thesis, 2019

2018

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

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

Proc. ACM Program. Lang., 2018

2016

Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework.

Yuru Shao, Qi Alfred Chen, Zhuoqing Morley Mao, Jason Ott, Zhiyun Qian

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

The Misuse of Android Unix Domain Sockets and Security Implications.

Yuru Shao, Jason Ott, Yunhan Jack Jia, Zhiyun Qian, Zhuoqing Morley Mao

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016