Cody Rivera - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Registered user since Sat 12 Nov 2022

Name:Cody Rivera

Affiliation:University of Illinois at Urbana-Champaign

Personal website: https://www.codyrivera.com/

GitHub: https://github.com/codyjrivera

Contributions

2024

PLDI

Predictable Verification using Intrinsic Definitions

Show activities from other conferences

PLDI 2024-profile
View general profile