I will be at HotOS XX this month 13–16. Our very own Lukas Lazarek will be presenting our paper on semantics-driven static analysis for shell programs.1
- Lukas Lazarek et al., ‘From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs’, Proceedings of the 2025 Workshop on Hot Topics in Operating Systems (New York, NY, USA), HotOS ’25, June 2025, 88–95, https://doi.org/10.1145/3713082.3730395. q.v.