Graydon Hoare

According to our database, Graydon Hoare authored at least 3 papers between 2009 and 2025.

Collaborative distances:

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

2025

A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC.

Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2019

Fast and secure global payments with Stellar.

Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2009

Trace-based just-in-time type specialization for dynamic languages.

Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009