Our paper on Coverage Types, an under-approximate refinement type system with wonderful Zhe Zhou, Benjamin Delaware and Suresh Jagannathan is conditionally accepted at PLDI’ 23.