Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
Guillaume Ambal, George Hodgkins, Mark Madler +5
Remote Direct Memory Access (RDMA) is a memory technology that allows remote devices to directly write to and read from each other's memory, bypassing components such as the CPU an…
cs.PL2024
Leroy: Library Learning for Imperative Programming Languages
Abhiram Bellur, Razan Alghamdi, Kidus Workneh +1
Library learning is the process of building a library of common functionalities from a given set of programs. Typically, this process is applied in the context of aiding program sy…