Jake Silverman

According to our database, Jake Silverman authored at least 3 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Loop Summarization with Rational Vector Addition Systems (extended version).

Jake Silverman, Zachary Kincaid

CoRR, 2019

Loop Summarization with Rational Vector Addition Systems.

Jake Silverman, Zachary Kincaid

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2016

Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.

Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang

Proceedings of the Symposium on SDN Research, 2016