5 papers
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…
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…