{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T14:43:40Z","timestamp":1782830620691,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,6]]},"DOI":"10.1145\/3820355.3820393","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T13:44:14Z","timestamp":1782827054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model of Multi-Controller Orchestration Systems in Cloud Management"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-1572-9442","authenticated-orcid":false,"given":"Tengfei","family":"An","sequence":"first","affiliation":[{"name":"LIP6, Sorbonne Universit\u00e9; INRIA, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6488-8326","authenticated-orcid":false,"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Paris, France, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Latest strimzi-cluster-operator is not creating NetworkPolicy for KafkaConnect? #2538. https:\/\/github.com\/strimzi\/strimzi-kafka-operator\/issues\/2538. Accessed","author":"KafkafOp","year":"2025","unstructured":"KafkafOp #2538. 2020. Latest strimzi-cluster-operator is not creating NetworkPolicy for KafkaConnect? #2538. https:\/\/github.com\/strimzi\/strimzi-kafka-operator\/issues\/2538. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_2_1","volume-title":"ServiceAccount gets periodically deleted\/created if CruiseControl CM metrics are used #5126. https:\/\/github.com\/strimzi\/strimzi-kafka-operator\/issues\/5126. Accessed","author":"KafkafOp","year":"2025","unstructured":"KafkafOp #5126. 2021. ServiceAccount gets periodically deleted\/created if CruiseControl CM metrics are used #5126. https:\/\/github.com\/strimzi\/strimzi-kafka-operator\/issues\/5126. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_3_1","volume-title":"labels are not applied to pods after psmd cr change. https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPSMDB-640\/K8SPSMDB-640.html. Accessed","author":"Op","year":"2025","unstructured":"PCNA\/MDBOp #640. 2022. [K8SPSMDB-640] K8SPSMDB-346 regression: labels are not applied to pods after psmd cr change. https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPSMDB-640\/K8SPSMDB-640.html. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_4_1","volume-title":"Pods keep being recreated on clusters when env vars are added. #466. https:\/\/github.com\/argoproj-labs\/argocd-operator\/issues\/466. Accessed","year":"2025","unstructured":"argocd-operator #446. 2021. Pods keep being recreated on clusters when env vars are added. #466. https:\/\/github.com\/argoproj-labs\/argocd-operator\/issues\/466. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_5_1","volume-title":"Maintain difference in cluster and git values for specific fields #2913. https:\/\/github.com\/argoproj\/argo-cd\/issues\/2913. Accessed","year":"2025","unstructured":"Argoproj\/argo-cd. 2019. Maintain difference in cluster and git values for specific fields #2913. https:\/\/github.com\/argoproj\/argo-cd\/issues\/2913. Accessed: 31 March 2025."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/istio.io\/latest\/docs\/reference\/config\/networking\/virtual-service\/. Accessed","author":"Virtual Service The Istio","year":"2025","unstructured":"The Istio authors. 2025. Virtual Service. https:\/\/istio.io\/latest\/docs\/reference\/config\/networking\/virtual-service\/. Accessed: 23 September 2025."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890784"},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/github.com\/instaclustr\/cassandra-operator\/issues\/398. Accessed","author":"Timestamp","year":"2025","unstructured":"cassandra-operator #398. 2021. [BUG] Reconcile() fails to delete the corresponding pvc if missing deletionTimestamp of Cassandra pod #398. https:\/\/github.com\/instaclustr\/cassandra-operator\/issues\/398. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/github.com\/instaclustr\/cassandra-operator\/issues\/400. Accessed","author":"Cassandra","year":"2025","unstructured":"cassandra-operator #400. 2022. [BUG] Cassandra node can be decommissioned wrongly which blocks scale down #400. https:\/\/github.com\/instaclustr\/cassandra-operator\/issues\/400. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/architecture\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Cluster Architecture. https:\/\/kubernetes.io\/docs\/concepts\/architecture\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_12_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/architecture\/controller\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Controllers. https:\/\/kubernetes.io\/docs\/concepts\/architecture\/controller\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_13_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/extend-kubernetes\/api-extension\/custom-resources\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Custom Resources. https:\/\/kubernetes.io\/docs\/concepts\/extend-kubernetes\/api-extension\/custom-resources\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_14_1","volume-title":"Kubectl patch. https:\/\/kubernetes.io\/docs\/reference\/kubectl\/generated\/kubectl_patch\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Kubectl patch. https:\/\/kubernetes.io\/docs\/reference\/kubectl\/generated\/kubectl_patch\/. Accessed: 22 September 2025."},{"key":"e_1_3_2_1_15_1","volume-title":"Kubernetes API Concepts. https:\/\/kubernetes.io\/docs\/reference\/using-api\/api-concepts\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Kubernetes API Concepts. https:\/\/kubernetes.io\/docs\/reference\/using-api\/api-concepts\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_16_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/overview\/components\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Kubernetes Components. https:\/\/kubernetes.io\/docs\/concepts\/overview\/components\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_17_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/overview\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Kubernetes Overview. https:\/\/kubernetes.io\/docs\/concepts\/overview\/. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/kubernetes.io\/docs\/reference\/kubernetes-api\/common-definitions\/object-meta\/#System. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. ManagedFields. https:\/\/kubernetes.io\/docs\/reference\/kubernetes-api\/common-definitions\/object-meta\/#System. Accessed: 22 September 2025."},{"key":"e_1_3_2_1_19_1","volume-title":"Objects In Kubernetes. https:\/\/kubernetes.io\/docs\/concepts\/overview\/working-with-objects\/. Accessed","author":"Kubernetes","year":"2025","unstructured":"Kubernetes documentation. 2024. Objects In Kubernetes. https:\/\/kubernetes.io\/docs\/concepts\/overview\/working-with-objects\/. Accessed: 2 April 2025."},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/kubernetes.io\/docs\/reference\/using-api\/server-side-apply\/. Accessed","author":"Documentation Kubernetes","year":"2025","unstructured":"Kubernetes Documentation. 2024. Server-Side Apply. https:\/\/kubernetes.io\/docs\/reference\/using-api\/server-side-apply\/. Accessed: 22 September 2025."},{"key":"e_1_3_2_1_21_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/workloads\/controllers\/deployment\/. Accessed","author":"Documentation Kubernetes","year":"2026","unstructured":"Kubernetes Documentation. 2026. Deployments. https:\/\/kubernetes.io\/docs\/concepts\/workloads\/controllers\/deployment\/. Accessed: 7 May 2026."},{"key":"e_1_3_2_1_22_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/workloads\/pods\/. Accessed","author":"Documentation Kubernetes","year":"2026","unstructured":"Kubernetes Documentation. 2026. Pods. https:\/\/kubernetes.io\/docs\/concepts\/workloads\/pods\/. Accessed: 7 May 2026."},{"key":"e_1_3_2_1_23_1","volume-title":"https:\/\/kubernetes.io\/docs\/concepts\/workloads\/controllers\/replicaset\/. Accessed","author":"Documentation Kubernetes","year":"2026","unstructured":"Kubernetes Documentation. 2026. ReplicaSet. https:\/\/kubernetes.io\/docs\/concepts\/workloads\/controllers\/replicaset\/. Accessed: 7 May 2026."},{"key":"e_1_3_2_1_24_1","volume-title":"Argo Rollouts - Kubernetes Progressive Delivery Controller. https:\/\/argo-rollouts.readthedocs.io\/en\/stable\/. Accessed","author":"Documnetation Argo Rollout","year":"2025","unstructured":"Argo Rollout Documnetation. 2025. Argo Rollouts - Kubernetes Progressive Delivery Controller. https:\/\/argo-rollouts.readthedocs.io\/en\/stable\/. Accessed: 23 September 2025."},{"key":"e_1_3_2_1_25_1","volume-title":"Do not cache Elasticsearch settings in annotations #2864. https:\/\/github.com\/elastic\/cloud-on-k8s\/issues\/2864. Accessed","year":"2025","unstructured":"elastic #2864. 2020. Do not cache Elasticsearch settings in annotations #2864. https:\/\/github.com\/elastic\/cloud-on-k8s\/issues\/2864. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_26_1","volume-title":"Reconciliation getting stuck when moving the cluster from DNS names to IPs #1226. https:\/\/github.com\/FoundationDB\/fdb-kubernetes-operator\/issues\/1226. Accessed","year":"2025","unstructured":"fdb-kubernetes-operator #1226. 2022. Reconciliation getting stuck when moving the cluster from DNS names to IPs #1226. https:\/\/github.com\/FoundationDB\/fdb-kubernetes-operator\/issues\/1226. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_27_1","volume-title":"PVC stuck in terminating is blocking reconciliation #764. https:\/\/github.com\/FoundationDB\/fdb-kubernetes-operator\/issues\/764. Accessed","year":"2025","unstructured":"fdb-kubernetes-operator #764. 2021. PVC stuck in terminating is blocking reconciliation #764. https:\/\/github.com\/FoundationDB\/fdb-kubernetes-operator\/issues\/764. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_28_1","volume-title":"https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPSMDB-362\/K8SPSMDB-362.html. Accessed","author":"Percona Operator","year":"2025","unstructured":"Percona Operator for MongoDB #362. 2021. [K8SPSMDB-362] Changing secrets in a single-shard mode causes mongos pods failure. https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPSMDB-362\/K8SPSMDB-362.html. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_29_1","volume-title":"https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPXC-787\/K8SPXC-787.html. Accessed","author":"Percona Operator","year":"2025","unstructured":"Percona Operator for MySQL #787. 2021. [K8SPXC-787] The cluster doesn't become ready after password for xtrabackup user is changed. https:\/\/jira.percona.com\/si\/jira.issueviews:issue-html\/K8SPXC-787\/K8SPXC-787.html. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613161"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_32_1","volume-title":"https:\/\/operatorhub.io\/. Accessed","author":"Hub Operator","year":"2025","unstructured":"Operator Hub. 2024. Operator Hub. https:\/\/operatorhub.io\/. Accessed: 22 September 2025."},{"key":"e_1_3_2_1_33_1","volume-title":"Swarm mode. https:\/\/docs.docker.com\/engine\/swarm\/. Accessed","author":"Docker Inc. 2025.","year":"2025","unstructured":"Docker Inc. 2025. Swarm mode. https:\/\/docs.docker.com\/engine\/swarm\/. Accessed: 23 September 2025."},{"key":"e_1_3_2_1_34_1","volume-title":"HPA support for PyTorch Elastic. https:\/\/github.com\/kubeflow\/training-operator\/issues\/1751. Accessed","year":"2025","unstructured":"kubeflow #1751. 2023. HPA support for PyTorch Elastic. https:\/\/github.com\/kubeflow\/training-operator\/issues\/1751. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586037"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425949"},{"key":"e_1_3_2_1_37_1","volume-title":"Kivi: Verification for Cluster Management. In 2024 USENIX Annual Technical Conference (USENIX ATC 24)","author":"Liu Bingzhe","year":"2024","unstructured":"Bingzhe Liu, Gangmuk Lim, Ryan Beckett, and P Brighten Godfrey. 2024. Kivi: Verification for Cluster Management. In 2024 USENIX Annual Technical Conference (USENIX ATC 24). 509\u2013527."},{"key":"e_1_3_2_1_38_1","volume-title":"https:\/\/github.com\/opensearch-project\/opensearch-k8s-operator\/issues\/731. Accessed","author":"IndexTemplate","year":"2025","unstructured":"opensearch-k8s-operator #731. 2024. [BUG] OpensearchIndexTemplate always requires update #731. https:\/\/github.com\/opensearch-project\/opensearch-k8s-operator\/issues\/731. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_39_1","volume-title":"Prometheus-operator repeatedly deletes prometheus StatefulSet once pods reach ContainerCreating #2950. https:\/\/github.com\/prometheus-operator\/prometheus-operator\/issues\/2950. Accessed","year":"2025","unstructured":"prometheus-operator #2950. 2022. Prometheus-operator repeatedly deletes prometheus StatefulSet once pods reach ContainerCreating #2950. https:\/\/github.com\/prometheus-operator\/prometheus-operator\/issues\/2950. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_40_1","volume-title":"Reconcile Error after change the Config Map #304. https:\/\/github.com\/rabbitmq\/cluster-operator\/issues\/304. Accessed","year":"2025","unstructured":"rabbitmq #304. 2020. Reconcile Error after change the Config Map #304. https:\/\/github.com\/rabbitmq\/cluster-operator\/issues\/304. Accessed: 10 March 2025."},{"key":"e_1_3_2_1_41_1","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Sun Xudong","year":"2022","unstructured":"Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, and Tianyin Xu. 2022. Automatic reliability testing for cluster management controllers. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). 143\u2013159."},{"key":"e_1_3_2_1_42_1","volume-title":"18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","author":"Sun Xudong","year":"2024","unstructured":"Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, et al. 2024. Anvil: Verifying liveness of cluster management controllers. In 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). 649\u2013666."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 1746\u20131758","author":"Xu Qingxin","year":"2024","unstructured":"Qingxin Xu, Yu Gao, and Jun Wei. 2024. An Empirical Study on Kubernetes Operator Bugs. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 1746\u20131758."}],"event":{"name":"ApPLIED'26: Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems","location":"Royal Holloway Egham United Kingdom","acronym":"ApPLIED'26","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems"],"original-title":[],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T13:45:12Z","timestamp":1782827112000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3820355.3820393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":43,"alternative-id":["10.1145\/3820355.3820393","10.1145\/3820355"],"URL":"https:\/\/doi.org\/10.1145\/3820355.3820393","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}