Jul 19, 2023 Attending ECOOP ‘23 in beautiful Seattle.
May 18, 2023 The Coverage Types paper is selected for Distinguished Paper award at PLDI ‘23.
Apr 29, 2023 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.
Feb 24, 2023 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.
Jan 31, 2023 The Stubbifier (EMSE) paper is also accepted at ICSE’ 23, Journal-first track.