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

ISM2: Optimizing Irregular-Shaped Matrix-Matrix Multiplication on GPUs. - Cody Rivera; Jieyang Chen; Nan Xiong; Shuaiwen Leon Song; Dingwen Tao (CoRR, 2020)

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

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

cuSZ(x): Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs. - Jiannan Tian; Sheng Di; Xiaodong Yu 001; Cody Rivera; Kai Zhao 008; Sian Jin; Yunhe Feng; Xin Liang 001; Dingwen Tao; Franck Cappello (CoRR, 2021)

TSM2X: High-performance tall-and-skinny matrix-matrix multiplication on GPUs. - Cody Rivera; Jieyang Chen; Nan Xiong; Jing Zhang; Shuaiwen Leon Song; Dingwen Tao (J. Parallel Distributed Comput., 2021)

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

Predictable Verification using Intrinsic Definitions. - Adithya Murali; Cody Rivera; P. Madhusudan (Proc. ACM Program. Lang., 2024)

Checking δ-Satisfiability of Reals with Integrals. - Cody Rivera; Bishnu Bhusal; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals". - Cody Rivera; Bishnu Bhusal; Rohit Chadha; Aravinda Prasad Sistla; Mahesh Viswanathan 001 (Zenodo, 2025)

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals". - Cody Rivera; Bishnu Bhusal; Rohit Chadha; Aravinda Prasad Sistla; Mahesh Viswanathan 001 (Zenodo, 2025)