Justin Whitehouse
Justin Whitehouse
PhD Candidate, Carnegie Mellon University
Verified email at columbia.edu - Homepage
Title
Cited by
Cited by
Year
Formal security analysis of neural networks using symbolic intervals
S Wang, K Pei, J Whitehouse, J Yang, S Jana
27th {USENIX} Security Symposium ({USENIX} Security 18), 1599-1614, 2018
2242018
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
Advances in Neural Information Processing Systems, 6367-6377, 2018
1932018
Optimal resource allocation for elastic and inelastic jobs
B Berg, M Harchol-Balter, B Moseley, W Wang, J Whitehouse
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and …, 2020
12020
Bringing Engineering Rigor to Deep Learning
K Pei, S Wang, Y Tian, J Whitehouse, C Vondrick, Y Cao, B Ray, S Jana, ...
ACM SIGOPS Operating Systems Review 53 (1), 59-67, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–4