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, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis. 20th ACM Workshop on Hot Topics in Operating Systems (HotOS XX)