Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities. - Zheyuan Wu; Haoyi Zeng; Aaron Bies (SPLASH Companion, 2024)

Destabilizing Iris. - Simon Spies; Niklas Mück; Haoyi Zeng; Michael Sammler; Andrea Lattuada 001; Peter Müller 001; Derek Dreyer (Proc. ACM Program. Lang., 2025)