About Me
Hi! I’m a third-year Ph.D. student at the University of Illinois Urbana-Champaign. I am broadly interested in programming languages and formal methods, with more specific interests in verifying systems software. I currently work with Tianyin Xu on compositional verification of liveness properties for Kubernetes controllers. We are implementing support for this on top of Anvil, a Kubernetes verification framework for the Rust verifier Verus.
I previously worked with Madhusudan Parthasarathy to develop a predictable automatic verification paradigm based on intrinsic, or local, definitions rather than recursive definitions. Also, prior to joining Illinois, I did research in high-performance computing with Dingwen Tao. My research focused on using GPU performance engineering to improve scientific computing applications.
See my CV here, and please don’t hesitate to reach out to me.
Education
-
Ph.D. in Computer Science, University of Illinois Urbana-Champaign, 2022-present
-
M.S. in Computer Science, University of Illinois Urbana-Champaign, 2022-2024
-
B.S. in Computer Science and Mathematics, University of Alabama, 2018-2022
Research Interests
- Programming Languages and Formal Methods
- Systems Verification
- Concurrency
News
Publications
-
Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Under Submission, 2024.
-
Xudong Sun, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
USENIX ;login:, 2024.
-
Adithya Murali, Cody Rivera, P. Madhusudan
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024.
ACM Europe Best Paper Award
-
Cody Rivera, Sheng Di, Jiannan Tian, Xiaodong Yu, Dingwen Tao, Franck Cappello
IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2022.
-
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.
-
Jiannan Tian, Cody Rivera, Sheng Di, Jieyang Chen, Xin Liang, Dingwen Tao, Franck Cappello
IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2021.
-
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.
-
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.
Miscellaneous
- Erdős number: 3 (one path: P. Madhusudan, Jeffrey Shallit, Paul Erdős).
Powered by Jekyll and Minimal Light theme.