Total Type Error Localization and Recovery with Holes. - Eric Zhao 006; Raef Maroof; Anand Dukkipati; Andrew Blinn; Zhiyi Pan 004; Cyrus Omar (Proc. ACM Program. Lang., 2024)

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. - Lukas Lazarek; Seong-Heon Jung; Evangelos Lamprou; Zekai Li; Anirudh Narsipur; Eric Zhao 006; Michael Greenberg 002; Konstantinos Kallas; Konstantinos Mamouras; Nikos Vasilakis (HotOS, 2025)

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus. - Michael D. Adams 001; Eric Griffis; Thomas Porter; Sundara Vishnu Satish; Eric Zhao 006; Cyrus Omar (Proc. ACM Program. Lang., 2025)