FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. - Barry Bond; Kerry Hammil; Lubomir Litchev; Satnam Singh (FCCM, 2010)

User experiences with activity-based navigation on mobile devices. - A. J. Bernheim Brush; Amy K. Karlson; James Scott; Raman Sarin; Andy Jacobs; Barry Bond; Oscar Murillo; Galen C. Hunt; Mike Sinclair; Kerry Hammil; Steven Levi (Mobile HCI, 2010)

Composing OS extensions safely and efficiently with Bascule. - Andrew Baumann; Dongyoon Lee; Pedro Fonseca 001; Lisa Glendenning; Jacob R. Lorch; Barry Bond; Reuben Olinsky; Galen C. Hunt (EuroSys, 2013)

Everest: Towards a Verified, Drop-in Replacement of HTTPS. - Karthikeyan Bhargavan; Barry Bond; Antoine Delignat-Lavaud; Cédric Fournet; Chris Hawblitzel; Catalin Hritcu; Samin Ishtiaq; Markulf Kohlweiss; K. Rustan M. Leino; Jay R. Lorch; Kenji Maillard; Jianyang Pan; et al. (SNAPL, 2017)

Vale: Verifying High-Performance Cryptographic Assembly Code. - Barry Bond; Chris Hawblitzel; Manos Kapritsos; K. Rustan M. Leino; Jacob R. Lorch; Bryan Parno; Ashay Rane; Srinath T. V. Setty; Laure Thompson (USENIX Security Symposium, 2017)