avatar

Cody Rivera

Ph.D. Student
University of Wisconsin-Madison
cjrivera@wisc.edu


About Me

Hi! I’m a Ph.D. student in Computer Science at the University of Wisconsin-Madison interested in programming languages and formal methods. I currently work on both traditional and AI-based automated software verification, supervised by Adithya Murali.

This Fall, I’m doing a research internship at Amazon with the AWS Automated Reasoning Group, working on research involving the Rust verifier Verus.

Previously, I earned an M.S. in Computer Science at the University of Illinois Urbana-Champaign developing a predictable automatic verification paradigm based on intrinsic (or local) definitions rather than recursive definitions, supervised by Madhusudan Parthasarathy. Prior to that, I earned a B.S. in Computer Science and Mathematics at the University of Alabama, where I did research in high-performance computing supervised by Dingwen Tao.

See my CV here, and please don’t hesitate to reach out to me.

Education

Research Interests

News

Publications

  1. Welder: Compositional Liveness Verification of Cluster Control Planes
    Zhizhen Cathy Cai, Nikhil Date, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Oded Padon, Tianyin Xu, Xudong Sun
    ACM SIGOPS Symposium on Operating Systems Principles, 2026.

  2. Checking δ-Satisfiability of Reals with Integrals
    Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2025.
    PDF Code DOI

  3. Anvil: Building Kubernetes Controllers That Do Not Break
    Xudong Sun, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
    USENIX ;login:, 2024.
    Link

  4. Predictable Verification using Intrinsic Definitions
    Adithya Murali, Cody Rivera, P. Madhusudan
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024.
    PDF Code DOI   ACM Europe Best Paper Award

  5. Optimizing Huffman Decoding for Error-Bounded Lossy Compression on GPUs
    Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello
    IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2022.
    PDF DOI

  6. Optimizing Error-Bounded Lossy Compression for Scientific Data on GPUs
    Jiannan Tian, Sheng Di, Xiaodong Yu, Cody Rivera, Kai Zhao, Sian Jin, Yunhe Feng, Xin Liang, Dingwen Tao, Franck Cappello
    IEEE International Conference on Cluster Computing (CLUSTER), 2021.
    PDF DOI

  7. Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures
    Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello
    IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2021.
    PDF DOI

  8. TSM2X: High-Performance Tall-and-Skinny Matrix–Matrix Multiplication on GPUs
    Cody Rivera*, Jieyang Chen*, Nan Xiong, Jing Zhang, Shuaiwen Leon Song, Dingwen Tao (* equal contribution)
    Journal of Parallel and Distributed Computing (JPDC), Volume 151, 2021.
    PDF DOI

  9. cuSZ: An Efficient GPU-Based Error-Bounded Lossy Compression Framework for Scientific Data
    Jiannan Tian, Sheng Di, Kai Zhao, Cody Rivera, Megan Hickman Fulp, Robert Underwood, Sian Jin, Xin Liang, Jon Calhoun, Dingwen Tao, Franck Cappello
    ACM International Conference on Parallel Architectures and Compilation Techniques (PACT), 2020.
    PDF DOI

Mentoring

I am grateful to mentor these excellent students:

Miscellaneous


Powered by Jekyll and Minimal Light theme.