George Hodgkins

According to our database, George Hodgkins authored at least 4 papers between 2023 and 2026.

Collaborative distances:

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

2026

A Verified High-Performance Composable Object Library for Remote Direct Memory Access.

Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2026

2025

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version).

Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis

CoRR, October, 2025

LOCO: Rethinking Objects for Network Memory.

George Hodgkins, Mark Madler, Joseph Izraelevitz

CoRR, March, 2025

2023

Zhuque: Failure is Not an Option, it's an Exception.

George Hodgkins, Yi Xu, Steven Swanson, Joseph Izraelevitz

Proceedings of the 2023 USENIX Annual Technical Conference, 2023