Publications
| Jake Silverman, Zak Kincaid. Loop Summarization with Rational Vector Addition Systems. In International Conference on Computer-Aided Verification (CAV), NYC, NY, July, 2019. [ Paper | Slides ] |
| Haoxian Chen, Nate Foster, Jake Silverman, Michael Whittaker, Brandon Zhang, and Rene Zhang. Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Santa Clara, CA, March, 2016. [ Paper ] |