Cody Rivera

13 papers A 2B 1C 1Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Checking δ-Satisfiability of Reals with Integrals.
Proc. ACM Program. Lang.
Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2024 J jnl
Predictable Verification using Intrinsic Definitions.
CoRR
Adithya Murali, Cody Rivera, P. Madhusudan
2024 J jnl
Predictable Verification using Intrinsic Definitions.
Proc. ACM Program. Lang.
Adithya Murali, Cody Rivera, P. Madhusudan
2022 A conf
Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs.
IPDPS
Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello
2022 J jnl
Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs.
CoRR
Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello
2021 C conf
Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs.
CLUSTER
Jiannan Tian, Sheng Di, Xiaodong Yu, Cody Rivera, Kai Zhao, Sian Jin, Yunhe Feng, Xin Liang, Dingwen Tao, Franck Cappello
2021 A conf
Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures.
IPDPS
Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello
2021 J jnl
TSM2X: High-performance tall-and-skinny matrix-matrix multiplication on GPUs.
J. Parallel Distributed Comput.
Cody Rivera, Jieyang Chen, Nan Xiong, Jing Zhang, Shuaiwen Leon Song, Dingwen Tao
2021 J jnl
cuSZ(x): Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs.
CoRR
Jiannan Tian, Sheng Di, Xiaodong Yu, Cody Rivera, Kai Zhao, Sian Jin, Yunhe Feng, Xin Liang, Dingwen Tao, Franck Cappello
2020 J jnl
ISM2: Optimizing Irregular-Shaped Matrix-Matrix Multiplication on GPUs.
CoRR
Cody Rivera, Jieyang Chen, Nan Xiong, Shuaiwen Leon Song, Dingwen Tao
2020 J jnl
Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures.
CoRR
Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello
2020 B conf
cuSZ: An Efficient GPU-Based Error-Bounded Lossy Compression Framework for Scientific Data.
PACT
Jiannan Tian, Sheng Di, Kai Zhao, Cody Rivera, Megan Hickman Fulp, Robert Underwood, Sian Jin, Xin Liang, Jon Calhoun, Dingwen Tao, Franck Cappello
2020 J jnl
cuSZ: An Efficient GPU-Based Error-Bounded Lossy Compression Framework for Scientific Data.
CoRR
Jiannan Tian, Sheng Di, Kai Zhao, Cody Rivera, Megan Hickman Fulp, Robert Underwood, Sian Jin, Xin Liang, Jon Calhoun, Dingwen Tao, Franck Cappello