From d3747dccf67aeabcdf4f7dadf2c96d50e1b55980 Mon Sep 17 00:00:00 2001 From: Tianyin Xu Date: Thu, 8 Aug 2024 23:11:38 -0500 Subject: [PATCH] Update README.md --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index bd8537f32..f4cdfc871 100644 --- a/README.md +++ b/README.md @@ -58,5 +58,10 @@ Verifying controllers still requires some expertise on SMT-based theorem proving ## Publications - [Anvil: Verifying Liveness of Cluster Management Controllers](https://www.usenix.org/conference/osdi24/presentation/sun-xudong)
-Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, and Tianyin Xu. In Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24), Santa Clara, CA, USA, Jul. 2024. +Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, and Tianyin Xu. +In Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24), Santa Clara, CA, USA, Jul. 2024. + +- [Anvil: Building Kubernetes Controllers That Do Not Break](https://www.usenix.org/publications/loginonline/anvil-building-formally-verified-kubernetes-controllers)
+Xudong Sun, Jiawei Tyler Gu, Cody Rivera, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, and Tianyin Xu. +In USENIX ;login:, Jun. 2024.