← Back to live feed1 story
My team and I have a paper appearing at EuroSys 2026 on applying formal methods to cloud infrastructure. We found critical bugs, documented the effort, and published practical guidance for adoption. I'm proud of this work. And it's already obsolete.
Sign in to suggest edits
Key sources
- DISCUSSIONhwaynelobste.rs