Dustin Marx: The Checker Framework