Predictable Verification using Intrinsic Definitions

To appear in the ACM SIGPLAN Conference on Programming Language Design and Implementation
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.