Mark Madler

According to our database, Mark Madler authored at least 3 papers between 2025 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