PLDI Extended Abstract