Predictable Verification using Intrinsic Definitions

Adithya Murali, Cody Rivera, P. Madhusudan
January, 2024
PDF Cite Code Project
Type
Preprint
Publication
To appear in the ACM SIGPLAN Conference on Programming Language Design and Implementation
Programming Languages and Formal Methods
Cody Rivera
Cody Rivera
Computer Science Ph.D. Student

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.