microsoft nsdi 2026 advances
rust ai 100k lines code contracts
software internals book club
2605.18815