| venue: | Banff, Alberta, Canada |
| from: | 2025-05-13 |
| to: | 2025-05-16 |
| homepage: | sigops.org/s/conferences/hotos/2025/index.html |
| venue: | Banff, Alberta, Canada |
| from: | 2025-05-13 |
| to: | 2025-05-16 |
| homepage: | sigops.org/s/conferences/hotos/2025/index.html |
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. …