Barry Bond

According to our database, Barry Bond authored at least 5 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the 26th USENIX Security Symposium, 2017

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, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2013

Composing OS extensions safely and efficiently with Bascule.

Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt

Proceedings of the Eighth Eurosys Conference 2013, 2013

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

Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, 2010

FPGA Circuit Synthesis of Accelerator Data-Parallel Programs.

Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh

Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010