Linked Presentation: Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks
