Toward software-defined middlebox networking. - Aaron Gember; Prathmesh Prabhu; Zainab Ghadiyali; Aditya Akella (HotNets, 2012)

Newtonian Program Analysis via Tensor Product. - Thomas W. Reps; Emma Turetsky; Prathmesh Prabhu (ACM Trans. Program. Lang. Syst., 2017)