Jake Silverman

According to our database, Jake Silverman authored at least 4 papers between 2016 and 2026.

Collaborative distances:

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

2026

Formal Verification of Imperative First-Class Functions in Move.

Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap, Jake Silverman

CoRR, May, 2026

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