Follow
Jake Silverman
Jake Silverman
Princeton University
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Felix: Implementing traffic measurement on end hosts using program analysis
H Chen, N Foster, J Silverman, M Whittaker, B Zhang, R Zhang
Proceedings of the Symposium on SDN Research, 1-12, 2016
182016
Loop summarization with rational vector addition systems
J Silverman, Z Kincaid
International Conference on Computer Aided Verification, 97-115, 2019
162019
The system can't perform the operation now. Try again later.
Articles 1–2