[VMCAI'24] Borrowable Fractional Ownership Types for Verification | ACM SIGPLAN | Podwise