This web-site is now archived and no longer updated. My website is now a Forest. Go To Forest Holbert and Cogent at SPLASH - 15th December 2022 Quickstrom at PLDI - 18th August 2022 I’m a doctor now - 15th January 2020