Personal information

Websites & social links

Homepage

Other IDs

Scopus Author ID: 57219506934

Keywords

Programming Languages, Formal Methods, High-Performance Computing

Countries

United States

Biography

Cody Rivera is a Ph.D. student at the University of Illinois Urbana-Champaign, where he is doing research in programming languages and formal methods.

Activities

Collapse all

Works (6)

Predictable Verification using Intrinsic Definitions

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
DOI: 10.1145/3656450
Contributors: Adithya Murali; Cody Rivera; P. Madhusudan
Source: check_circle
Crossref

Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs

2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
2022-05-30 | Conference paper
DOI: 10.1109/ipdps53621.2022.00075
Contributors: Cody Rivera
Source: Self-asserted source
Cody Rivera

Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs

2021 IEEE International Conference on Cluster Computing (CLUSTER)
2021-09-06 | Conference paper
DOI: 10.1109/cluster48925.2021.00047
Contributors: Cody Rivera
Source: Self-asserted source
Cody Rivera

TSM2X: High-performance tall-and-skinny matrix–matrix multiplication on GPUs

Journal of Parallel and Distributed Computing
2021-05 | Journal article
DOI: 10.1016/j.jpdc.2021.02.013
Contributors: Cody Rivera; Jieyang Chen; Nan Xiong; Jing Zhang; Shuaiwen Leon Song; Dingwen Tao
Source: check_circle
Crossref

Revisiting Huffman Coding

2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
2021-05-21 | Conference paper
DOI: 10.1109/ipdps49936.2021.00097
Contributors: Cody Rivera
Source: Self-asserted source
Cody Rivera

cuSZ

Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques
2020-09-30 | Conference paper
DOI: 10.1145/3410463.3414624
ISBN: 9781450380751
Source: Self-asserted source
Cody Rivera
How many people are using ORCID?