Prathmesh Prabhu

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Computer Networking

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian Program Analysis via Tensor Product. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian program analysis via tensor product. POPL (2016)
Aaron Gember, Prathmesh Prabhu, Zainab Ghadiyali, Aditya Akella
Toward software-defined middlebox networking. HotNets (2012)