[PLDI24] Predictable Verification using Intrinsic Definitions | ACM SIGPLAN | Podwise