---
format: "aidr-story-markdown/v1"
id: "a9c6a9e108f1676231f2f90ec669340e2c65b3ab8f1646628f60ef6a0e0a1312"
canonical_url: "https://aidr.today/a9c6a9e1?lang=en"
title: "My EuroSys 2026 paper is obsolete"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-09-04T14:58:52.000Z"
category: "Research"
topics: ["infra","cloud","formal-methods"]
source_urls: ["https://claudiacauli.com/2026/03/08/my-eurosys-2026-paper-is-obsolete/","https://lobste.rs/s/stecbz/my_eurosys_2026_paper_is_obsolete"]
summary: "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."
---

# My EuroSys 2026 paper is obsolete

> [Open the canonical story](<https://aidr.today/a9c6a9e1?lang=en>)

**Published:** 2026-09-04T14:58:52.000Z
**Category:** Research
**Topics:** infra, cloud, formal\-methods

## Summary

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\.

## Sources

- [Story source](<https://claudiacauli.com/2026/03/08/my-eurosys-2026-paper-is-obsolete/>)
- [Discussion](<https://lobste.rs/s/stecbz/my_eurosys_2026_paper_is_obsolete>)