Our paper on Morpheus, a refinement typed DSL for automated safety verification of data-dependent parser combinator programs with Suresh Jagannathan is accepted at ECOOP’ 23.