avatar

Cody Rivera

Incoming Ph.D. Student
University of Wisconsin-Madison
codyjr3@illinois.edu


About Me

Hi! I’m an incoming Ph.D. student at the University of Wisconsin-Madison. I am broadly interested in programming languages and formal methods, with more specific interests in concurrency and verifying systems software.

Currently, I work as a visiting student at the University of Illinois Urbana-Champaign on compositional verification of liveness properties for Kubernetes controllers, supervised by Tianyin Xu. We are implementing support for this on top of Anvil, a Kubernetes verification framework for the Rust verifier Verus.

Previously, I earned an M.S. degree 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. degree 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. Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2025.

  2. Xudong Sun, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
    USENIX ;login:, 2024.

  3. Adithya Murali, Cody Rivera, P. Madhusudan
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024.

  4. Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello
    IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2022.

  5. 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.

  6. Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello
    IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2021.

  7. 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.

  8. 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.

Mentoring

I am grateful to mentor these excellent students:

Miscellaneous


Powered by Jekyll and Minimal Light theme.