@inproceedings{llknzzgkv-2026-ahead-of-time,
    title = "Ahead-of-time Analysis of Shell Program Effects",
    author = "Lazarek, Lukas and Lamprou, Evangelos and Kapetanakis, George and Narsipur, Anirudh and Zhao, Eric and Zheng, Zhiwen and Greenberg, Michael and Kallas, Konstantinos and Vasilakis, Nikos",
    year = "2026",
    booktitle = "To appear in: ACM Symposium on Operating Systems Principles (SOSP)",
            
}