2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 2 cited
Predictable Verification using Intrinsic Definitions
Adithya Murali, Cody Rivera, P. Madhusudan
We propose a novel mechanism of defining data structures using intrinsic definitions that avoids recursion and instead utilizes monadic maps satisfying local conditions. We show th…
cs.DC2022★ 2 cited
Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs
Cody Rivera, Sheng Di, Jiannan Tian +3
More and more HPC applications require fast and effective compression techniques to handle large volumes of data in storage and transmission. Not only do these applications need to…