Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. - Haoxian Chen 001; Nate Foster; Jake Silverman; Michael J. Whittaker; Brandon Zhang; Rene Zhang (SOSR, 2016)

Loop Summarization with Rational Vector Addition Systems. - Jake Silverman; Zachary Kincaid (CAV (2), 2019)

Loop Summarization with Rational Vector Addition Systems (extended version). - Jake Silverman; Zachary Kincaid (CoRR, 2019)