3 citations · 4 across the 5 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.CR2025
Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals
Ben Fiedler, Samuel Gruetter, Sedan Abdelgawad +8
The ever increasing complexity of hardware platforms poses a challenge to systems programmers. Correctly programming a multitude of components, providing functionality and security…
cs.OS2025
Mainframe-Style Channel Controllers for Modern Disaggregated Memory Systems
Zikai Liu, Jasmin Schult, Pengcheng Xu +1
Despite the promise of alleviating the main memory bottleneck, and the existence of commercial hardware implementations, techniques for Near-Data Processing have seen relatively li…
cs.OS2025★ 1 cited
The NIC should be part of the OS
Pengcheng Xu, Timothy Roscoe
The network interface adapter (NIC) is a critical component of a cloud server occupying a unique position. Not only is network performance vital to efficient operation of the machi…