198 citations · 269 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
Ange-Thierry Ishimwe, Raghuveer Shivakumar, Heewoo Kim +2
Souper is a powerful enumerative superoptimizer that enhances the runtime performance of programs by optimizing LLVM intermediate representation (IR) code. However, its verificatio…
NMP-PaK: Near-Memory Processing Acceleration of Scalable De Novo Genome Assembly
Heewoo Kim, Sanjay Sri Vallabh Singapuram, Haojie Ye +4
De novo assembly enables investigations of unknown genomes, paving the way for personalized medicine and disease management. However, it faces immense computational challenges aris…
LOCO: Rethinking Objects for Network Memory
George Hodgkins, Mark Madler, Joseph Izraelevitz
In this work, we explore an object-based programming model for filling the space between shared memory and distributed systems programming. We argue that the natural representation…