The Coverage Types paper is selected for Distinguished Paper award at PLDI ‘23.