---
format: "aidr-story-markdown/v1"
id: "a9c6a9e108f1676231f2f90ec669340e2c65b3ab8f1646628f60ef6a0e0a1312"
canonical_url: "https://aidr.today/a9c6a9e1?lang=vi"
title: "Bài báo tại EuroSys 2026 của tôi đã trở nên lỗi thời"
lang: "vi"
requested_lang: "vi"
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: "Tôi cùng cộng sự sắp công bố một bài báo tại EuroSys 2026 về việc áp dụng formal methods vào hạ tầng cloud. Chúng tôi đã phát hiện các lỗi nghiêm trọng, ghi lại toàn bộ quá trình thực hiện và đưa ra các hướng dẫn thực tế để triển khai. Tôi rất tự hào về công trình này, nhưng nó cũng đã trở nên lỗi thời ngay lập tức."
---

# Bài báo tại EuroSys 2026 của tôi đã trở nên lỗi thời

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

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

## Summary

Tôi cùng cộng sự sắp công bố một bài báo tại EuroSys 2026 về việc áp dụng formal methods vào hạ tầng cloud\. Chúng tôi đã phát hiện các lỗi nghiêm trọng, ghi lại toàn bộ quá trình thực hiện và đưa ra các hướng dẫn thực tế để triển khai\. Tôi rất tự hào về công trình này, nhưng nó cũng đã trở nên lỗi thời ngay lập tức\.

## 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>)