{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T22:24:00Z","timestamp":1769034240593,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,14]]},"DOI":"10.1109\/cloudcom67567.2025.11331577","type":"proceedings-article","created":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T20:37:16Z","timestamp":1768941436000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["CloudAtion: A Functional Programming Framework for Cloud-Native Container Resource Management"],"prefix":"10.1109","author":[{"given":"Yi","family":"Xie","sequence":"first","affiliation":[{"name":"ShenZhen MSU-BIT University,Faculty of Engineering,Guangdong,China"}]},{"given":"Jianbo","family":"Zheng","sequence":"additional","affiliation":[{"name":"Artifcial Intelligence Research Institute, ShenZhen MSU-BIT University,ShenZhen,China"}]},{"given":"Hongye","family":"Luo","sequence":"additional","affiliation":[{"name":"ShenZhen MSU-BIT University,Faculty of Engineering,ShenZhen,China"}]},{"given":"Weijie","family":"Tang","sequence":"additional","affiliation":[{"name":"ShenZhen MSU-BIT University,Faculty of computational mathematics and cybernetics,ShenZhen,China"}]},{"given":"Congkai","family":"Li","sequence":"additional","affiliation":[{"name":"ShenZhen MSU-BIT University,Faculty of Engineering,ShenZhen,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.70828\/AVLT5530"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2017.4250939"},{"key":"ref3","volume-title":"Garbage collection. Ku-bernetes official documentation","year":"2024"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3236774"},{"issue":"1","key":"ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1596527.1596530","article-title":"Self-adjusting computation","volume":"32","author":"Acar","year":"2008","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5\u20136","key":"ref6","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1017\/S0956796810000195","article-title":"Nixos: A purely functional linux distribution","volume":"20","author":"Dolstra","year":"2010","journal-title":"Journal of Functional Programming"},{"key":"ref7","article-title":"Reproducibility of build environments through space and time","volume-title":"46th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE NIER). IEEE, 2024, empirical study of functional package reproducibility in Nix","author":"MaIka"},{"issue":"2","key":"ref8","first-page":"1","article-title":"Does functional package management enable reproducible builds at scale? yes","volume":"30","author":"MaIka","year":"2025","journal-title":"Empirical Software Engineering"},{"key":"ref9","first-page":"680","article-title":"Functional programming in cloud computing: A systematic review","volume":"150","author":"Vasconcelos","year":"2023","journal-title":"Future Generation Computer Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364538"},{"key":"ref11","volume-title":"Buck2: A modern build system. Open-source incremental build system implemented in Rust","author":"Open","year":"2023"},{"key":"ref12","volume-title":"Unison language and unison cloud","year":"2024"},{"issue":"3","key":"ref13","first-page":"75","article-title":"The future of build systems","volume":"41","author":"Gousios","year":"2024","journal-title":"IEEE Software"},{"key":"ref14","article-title":"Oci image and distribution specification v1.1","volume-title":"introduces subject and artifactType fields","year":"2024"},{"key":"ref15","volume-title":"Introducing oci artifacts and referrers support in amazon ecr","year":"2024"},{"key":"ref16","volume-title":"Azure acr adds oci referrers and artifacts support","year":"2024"},{"key":"ref17","first-page":"181","article-title":"Slacker: Fast distribution with lazy docker containers","volume-title":"14th USENIX Conference on File and Storage Technologies (FAST 16)","author":"Harter"},{"key":"ref18","volume-title":"stargz-snapshotter: Lazy-pull container snapshotter for containerd","year":"2024"},{"key":"ref19","volume-title":"Nydus image service","year":"2024"},{"key":"ref20","volume-title":"Seekable oci (soci) for faster container startup","year":"2023"},{"key":"ref21","first-page":"01045","article-title":"Performance evaluation of lazy snap-shotters for scientific workloads","volume-title":"EP 1 Web of Conferences (CHEP 2024)","author":"Doe"},{"issue":"9","key":"ref22","first-page":"1","article-title":"A survey on container resource management in cloud computing","volume":"55","author":"Mao","year":"2023","journal-title":"ACM Computing Surveys"},{"issue":"239","key":"ref23","article-title":"Docker: lightweight linux containers for consistent devel-opment and deployment","volume":"2014","author":"Merkel","year":"2014","journal-title":"Linux J."},{"issue":"01","key":"ref24","article-title":"Haskell 98 language and libraries: the revised report","volume":"13","author":"Peyton Jones","year":"2003","journal-title":"Journal of Functional Programming"},{"key":"ref25","article-title":"Professor frisby\u2019s mostly adequate guide to functional programming","volume-title":"Online book hosted on GitHub","year":"2025"},{"key":"ref26","volume-title":"Vue.js \u2014 the progressive javascript framework"},{"key":"ref27","volume-title":"Rete.js \u2014 javascript framework for visual programming"},{"key":"ref28","article-title":"A visual representation for functional programs","author":"Kelso","year":"1995","journal-title":"06"}],"event":{"name":"2025 lEEE International Conference on Cloud Computing Technology and Science (CloudCom)","location":"Shenzhen, China","start":{"date-parts":[[2025,11,14]]},"end":{"date-parts":[[2025,11,16]]}},"container-title":["2025 lEEE International Conference on Cloud Computing Technology and Science (CloudCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11330195\/11331311\/11331577.pdf?arnumber=11331577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T07:08:35Z","timestamp":1768979315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11331577\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cloudcom67567.2025.11331577","relation":{},"subject":[],"published":{"date-parts":[[2025,11,14]]}}}