Publications

Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan (2024). Checking δ-Satisfiability of Reals with Integrals. Under Submission.

Project

Adithya Murali, Cody Rivera, P. Madhusudan (2024). Predictable Verification using Intrinsic Definitions. To appear in PLDI ‘24.

PDF Cite Code Project

Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello (2022). Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs. In IPDPS ‘22.

PDF Cite Project DOI

Jiannan Tian, Sheng Di, Xiaodong Yu, Cody Rivera, Kai Zhao, Sian Jin, Yunhe Feng, Xin Liang, Dingwen Tao, Franck Cappello (2021). Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs. In CLUSTER ‘21.

PDF Cite Project DOI

Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello (2021). Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures. In IPDPS ‘21.

PDF Cite Project DOI

Cody Rivera, Jieyang Chen, Nan Xiong, Jing Zhang, Shuaiwen Leon Song, Dingwen Tao (2021). TSM2X: High-performance tall-and-skinny matrix–matrix multiplication on GPUs. JPDC, Vol. 151.

PDF Cite Project DOI

Jiannan Tian, Sheng Di, Kai Zhao, Cody Rivera, Megan Hickman Fulp, Robert Underwood, Sian Jin, Xin Liang, Jon Calhoun, Dingwen Tao, Franck Cappello (2020). cuSZ: An Efficient GPU-Based Error-Bounded Lossy Compression Framework for Scientific Data. In PACT ‘20.

PDF Cite Project DOI