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)