Follow
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
3402018
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
2942018
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
82020
Fully Adaptive Composition in Differential Privacy
J Whitehouse, A Ramdas, R Rogers, ZS Wu
arXiv preprint arXiv:2203.05481, 2022
42022
The case for phase-aware scheduling of parallelizable jobs
B Berg, J Whitehouse, B Moseley, W Wang, M Harchol-Balter
Performance Evaluation, 102246, 2021
32021
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
Brownian Noise Reduction: Maximizing Privacy Subject to Accuracy Constraints
J Whitehouse, ZS Wu, A Ramdas, R Rogers
arXiv preprint arXiv:2206.07234, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7