Yes. There’s a whole family of papers by Chen, his students, and other VMware folks in this vein.