Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition. - Patrick MacAlpine; Samuel Barrett; Daniel Urieli; Victor Vu; Peter Stone 001 (AAAI, 2012)

UT Austin Villa 2011: a champion agent in the RoboCup 3D soccer simulation competition. - Patrick MacAlpine; Daniel Urieli; Samuel Barrett; Shivaram Kalyanakrishnan; Francisco Barrera; Adrian Lopez-Mobilia; Nicolae Stiurca; Victor Vu; Peter Stone 001 (AAMAS, 2012)

Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2012)

Resolving the conflict between generality and plausibility in verified computation. - Srinath T. V. Setty; Benjamin Braun; Victor Vu; Andrew J. Blumberg; Bryan Parno; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)

Taking proof-based verified computation a few steps closer to practicality (extended version). - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)

A Hybrid Architecture for Interactive Verifiable Computation. - Victor Vu; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IEEE Symposium on Security and Privacy, 2013)

Verifiable computation using multiple provers. - Andrew J. Blumberg; Justin Thaler; Victor Vu; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)