Static Performance Guarantees for Programs with Runtime Checks | Publicación