Mark Madler

According to our database, Mark Madler authored at least 2 papers in 2025.

Collaborative distances:

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

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