| 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. |