Jason Ott

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
BioScript: programming safe chemistry on laboratories-on-a-chip.
Commun. ACM, 2021

Time- and resource-constrained scheduling for digital microfluidic biochips.
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.
J. Chem. Inf. Model., 2020

A performance-optimizing compiler for cyber-physical digital microfluidic biochips.
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.
PhD thesis, 2019

2016
Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

The Misuse of Android Unix Domain Sockets and Security Implications.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016


  Loading...