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

Overview

CU Boulder Authors

Izraelevitz, Joseph

publication date

January 1, 2026

Date in CU Experts

February 11, 2026 7:07 AM

Full Author List

Ambal G; Hodgkins G; Madler M; Chockler G; Dongol B; Izraelevitz J; Raad A; Vafeiadis V

author count

8

citation count

0

published in

Proceedings of the ACM on Programming Languages Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

2475-1421

Digital Object Identifier (DOI)

https://doi.org/10.1145/3776713

Additional Document Info

volume

10

issue

POPL

number

ARTN 71