{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:23:55Z","timestamp":1764361435799,"version":"3.46.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031997501"},{"type":"electronic","value":"9783031997518"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99751-8_19","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T01:16:10Z","timestamp":1759281370000},"page":"435-458","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Energy-Aware Dynamic Adaptation of\u00a0Runtime Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-3018-5152","authenticated-orcid":false,"given":"Jordy","family":"Aaldering","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0974-4634","authenticated-orcid":false,"given":"Bernard","family":"van Gastel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8663-1043","authenticated-orcid":false,"given":"Sven-Bodo","family":"Scholz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"19_CR1","unstructured":"Aaldering, J.: Dynamic adaptation controller repository (2025). https:\/\/github.com\/JordyAaldering\/mtdynamic\/tree\/tfp25. branch tfp25, commit fea397d"},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"Aaldering, J., Scholz, S.B., van Gastel, B.: Type patterns: pattern matching on shape-carrying array types. In: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. IFL \u201923. Association for Computing Machinery (2024). https:\/\/doi.org\/10.1145\/3652561.3652572","DOI":"10.1145\/3652561.3652572"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Bangash, A.A., Ali, K., Hindle, A.: A black box technique to reduce energy consumption of android apps. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER \u201922, pp. 1\u2014-5. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3510455.3512795","DOI":"10.1145\/3510455.3512795"},{"issue":"7","key":"19_CR4","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1002\/cpe.1904","volume":"24","author":"R Buchty","year":"2012","unstructured":"Buchty, R., Heuveline, V., Karl, W., Weiss, J.P.: A survey on hardware-aware and heterogeneous computing on multicore processors and accelerators. Concurr. Comput. Pract. Exp. 24(7), 663\u2013675 (2012). https:\/\/doi.org\/10.1002\/cpe.1904","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"19_CR5","unstructured":"Buyya, R., Beloglazov, A., Abawajy, J.: Energy-efficient management of data center resources for cloud computing: a vision, architectural elements, and open challenges (2010). https:\/\/arxiv.org\/abs\/1006.0308"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/TCC.2015.2481401","volume":"4","author":"X Dai","year":"2016","unstructured":"Dai, X., Wang, J.M., Bensaou, B.: Energy-efficient virtual machines scheduling in multi-tenant data centers. IEEE Trans. Cloud Comput. 4(2), 210\u2013221 (2016). https:\/\/doi.org\/10.1109\/TCC.2015.2481401","journal-title":"IEEE Trans. Cloud Comput."},{"key":"19_CR7","unstructured":"Ding, Z.: Profile-based virtual machine placement for energy optimization of data centers. Ph.D. thesis, Queensland University of Technology (2017)"},{"key":"19_CR8","doi-asserted-by":"publisher","unstructured":"Falsafi, B., Wood, D.: Parallel dispatch queue: a queue-based programming abstraction to parallelize fine-grain communication protocols. In: Proceedings Fifth International Symposium on High-Performance Computer Architecture, pp. 182\u2013192. IEEE, Piscataway (1999). https:\/\/doi.org\/10.1109\/HPCA.1999.744362","DOI":"10.1109\/HPCA.1999.744362"},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"Filieri, A., et\u00a0al.: Software engineering meets control theory. In: 2015 IEEE\/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 71\u201382. IEEE (2015). https:\/\/doi.org\/10.1109\/SEAMS.2015.12","DOI":"10.1109\/SEAMS.2015.12"},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1109\/JPROC.2004.840301","volume":"93","author":"M Frigo","year":"2005","unstructured":"Frigo, M., Johnson, S.G.: The design and implementation of fftw3. Proc. IEEE 93(2), 216\u2013231 (2005). https:\/\/doi.org\/10.1109\/JPROC.2004.840301","journal-title":"Proc. IEEE"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Funke, M., Lago, P., Adenekan, E., Malavolta, I., Heitlager, I.: Experimental evaluation of energy efficiency tactics in industry: results and lessons learned. In: 21st IEEE International Conference on Software Architecture (ICSA), pp. 1\u201312. IEEE, Piscataway (2024)","DOI":"10.1109\/ICSA59870.2024.00024"},{"key":"19_CR12","unstructured":"van Gastel, B.: Assessing sustainability of software: analysing correctness, memory and energy consumption. Ph.D. thesis, Open University, the Netherlands (2016)"},{"key":"19_CR13","doi-asserted-by":"publisher","unstructured":"van Gastel, B., van Eekelen, M.: Towards practical, precise and parametric energy analysis of it controlled systems. In: Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. EPTCS \u201917, vol.\u00a0248, pp. 24\u201337. Open Publishing Association (2017). https:\/\/doi.org\/10.4204\/EPTCS.248.7","DOI":"10.4204\/EPTCS.248.7"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4204\/eptcs.248.7","volume":"248","author":"B van Gastel","year":"2017","unstructured":"van Gastel, B., van Eekelen, M.: Towards practical, precise and parametric energy analysis of it controlled systems. Electron. Proc. Theor. Comput. Sci. 248, 24\u201337 (2017). https:\/\/doi.org\/10.4204\/eptcs.248.7","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"19_CR15","doi-asserted-by":"publisher","unstructured":"van Gastel, B., Kersten, R., van Eekelen, M.: Using dependent types to define energy augmented semantics of programs. In: Foundational and Practical Aspects of Resource Analysis, FOPARA \u201915, pp. 20\u201339. Springer, New York (2016). https:\/\/doi.org\/10.1007\/978-3-319-46559-3_2","DOI":"10.1007\/978-3-319-46559-3_2"},{"key":"19_CR16","doi-asserted-by":"publisher","unstructured":"van Gastel, P., van Gastel, B., van Eekelen, M.: Detecting energy bugs and hotspots in control software using model checking. In: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming, Programming \u201918, pp. 93\u201398. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3191697.3213805","DOI":"10.1145\/3191697.3213805"},{"key":"19_CR17","doi-asserted-by":"publisher","unstructured":"Geeraerts, G., Heu\u00dfner, A., Raskin, J.F.: Queue-dispatch asynchronous systems. In: 2013 13th International Conference on Application of Concurrency to System Design, pp. 150\u2013159. IEEE, Piscataway (2013). https:\/\/doi.org\/10.1109\/ACSD.2013.18","DOI":"10.1109\/ACSD.2013.18"},{"key":"19_CR18","doi-asserted-by":"publisher","unstructured":"Gordon, S., Scholz, S.B.: Dynamic adaptation of functional runtime systems through external control. In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL \u201915, pp. 10:1\u201310:13. Association for Computing Machinery, New York 2015). https:\/\/doi.org\/10.1145\/2897336.2897347","DOI":"10.1145\/2897336.2897347"},{"issue":"3","key":"19_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1017\/S0956796805005538","volume":"15","author":"C Grelck","year":"2005","unstructured":"Grelck, C.: Shared memory multiprocessor support for functional array processing in SaC. J. Funct. Program. 15(3), 353\u2013401 (2005). https:\/\/doi.org\/10.1017\/S0956796805005538","journal-title":"J. Funct. Program."},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-32096-5_5","volume-title":"Central European Functional Programming School","author":"C Grelck","year":"2012","unstructured":"Grelck, C.: Single Assignment C (SAC) high productivity meets high performance. In: Zs\u00f3k, V., Horv\u00e1th, Z., Plasmeijer, R. (eds.) CEFP 2011. LNCS, vol. 7241, pp. 207\u2013278. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32096-5_5"},{"issue":"4","key":"19_CR21","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s10766-006-0018-x","volume":"34","author":"C Grelck","year":"2006","unstructured":"Grelck, C., Scholz, S.B.: SaC - a functional array language for efficient multi-threaded execution. Int. J. Parallel Prog. 34(4), 383\u2013427 (2006). https:\/\/doi.org\/10.1007\/s10766-006-0018-x","journal-title":"Int. J. Parallel Prog."},{"key":"19_CR22","unstructured":"SaC group: SaC repository (2024). https:\/\/gitlab.sac-home.org\/JordyAaldering\/sac2c-mtdynamic, branch mtdynamic, commit 6cddce74"},{"key":"19_CR23","doi-asserted-by":"publisher","unstructured":"Guo, J., Thiyagalingam, J., Scholz, S.B.: Breaking the gpu programming barrier with the auto-parallelising SaC compiler. In: 6th Workshop on Declarative Aspects of Multicore Programming (DAMP\u201911), pp. 15\u201324. ACM Press, New York (2011). https:\/\/doi.org\/10.1145\/1926354.1926359","DOI":"10.1145\/1926354.1926359"},{"issue":"1","key":"19_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSUSC.2019.2911471","volume":"5","author":"S Hajiamini","year":"2020","unstructured":"Hajiamini, S., Shirazi, B., Crandall, A., Ghasemzadeh, H.: A dynamic programming framework for dvfs-based energy-efficiency in multicore systems. IEEE Trans. Sustain. Comput. 5(1), 1\u201312 (2020). https:\/\/doi.org\/10.1109\/TSUSC.2019.2911471","journal-title":"IEEE Trans. Sustain. Comput."},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Huijben, R., Aaldering, J., Achten, P., Scholz, S.B.: Flattening combinations of arrays and records. In: International Symposium on Trends in Functional Programming, TFP \u201924, pp. 220\u2013240. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-74558-4_10","DOI":"10.1007\/978-3-031-74558-4_10"},{"key":"19_CR26","doi-asserted-by":"publisher","unstructured":"Janssen, N., Scholz, S.B.: On mapping n-dimensional data-parallelism efficiently into gpu-thread-spaces. In: Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, IFL \u201921, pp. 54\u2014-66. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3544885.3544894","DOI":"10.1145\/3544885.3544894"},{"issue":"6","key":"19_CR27","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1177\/1094342016665471","volume":"31","author":"C Jin","year":"2017","unstructured":"Jin, C., et al.: A survey on software methods to improve the energy efficiency of parallel computing. Int. J. High Perf. Comput. Appl. 31(6), 517\u2013549 (2017). https:\/\/doi.org\/10.1177\/1094342016665471","journal-title":"Int. J. High Perf. Comput. Appl."},{"issue":"2","key":"19_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3177754","volume":"3","author":"KN Khan","year":"2018","unstructured":"Khan, K.N., Hirki, M., Niemi, T., Nurminen, J.K., Ou, Z.: Rapl in action: experiences in using rapl for power measurements. ACM Trans. Model. Perf. Eval. Comput. Syst. (TOMPECS) 3(2), 1\u201326 (2018). https:\/\/doi.org\/10.1145\/3177754","journal-title":"ACM Trans. Model. Perf. Eval. Comput. Syst. (TOMPECS)"},{"key":"19_CR29","doi-asserted-by":"publisher","unstructured":"von Kistowski, J., Beckett, J., Lange, K.D., Block, H., Arnold, J.A., Kounev, S.: Energy efficiency of hierarchical server load distribution strategies. In: 2015 IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp. 75\u201384. IEEE, Piscataway (2015). https:\/\/doi.org\/10.1109\/MASCOTS.2015.11","DOI":"10.1109\/MASCOTS.2015.11"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-030-58298-2_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Klinik","year":"2020","unstructured":"Klinik, M., Gastel, B., Kop, C., Eekelen, M.: Skylines for symbolic energy consumption analysis. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) FMICS 2020. LNCS, vol. 12327, pp. 93\u2013112. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_3"},{"key":"19_CR31","doi-asserted-by":"publisher","unstructured":"Macht, T., Grelck, C.: SaC goes cluster: fully implicit distributed computing. In: 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 996\u20131006. IEEE Computer Society, Los Alamitos (2019). https:\/\/doi.org\/10.1109\/IPDPS.2019.00107","DOI":"10.1109\/IPDPS.2019.00107"},{"key":"19_CR32","doi-asserted-by":"publisher","unstructured":"Minarolli, D., Freisleben, B.: Utility-based resource allocation for virtual machines in cloud computing. In: 2011 IEEE Symposium on Computers and Communications (ISCC), pp. 410\u2013417. IEEE, Piscataway (2011). https:\/\/doi.org\/10.1109\/ISCC.2011.5983872","DOI":"10.1109\/ISCC.2011.5983872"},{"key":"19_CR33","doi-asserted-by":"publisher","unstructured":"Nutting, J., Olsson, F., Mark, D., LaMarche, J.: Grand Central Dispatch, Background Processing, and You, pp. 455\u2013487. Apress, Berkeley (2014). https:\/\/doi.org\/10.1007\/978-1-4302-6023-3_15","DOI":"10.1007\/978-1-4302-6023-3_15"},{"key":"19_CR34","unstructured":"Pallister, J.: Exploring the fundamental differences between compiler optimisations for energy and for performance. Ph.D. thesis, University of Bristol (2016). https:\/\/jpallister.com\/documents\/thesis_final.pdf"},{"key":"19_CR35","doi-asserted-by":"publisher","unstructured":"Pallister, J., Eder, K., Hollis, S.J.: Optimizing the flash-ram energy trade-off in deeply embedded systems. In: 2015 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), pp. 115\u2013124. IEEE, Piscataway (2015). https:\/\/doi.org\/10.1109\/CGO.2015.7054192","DOI":"10.1109\/CGO.2015.7054192"},{"issue":"1","key":"19_CR36","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/comjnl\/bxt129","volume":"58","author":"J Pallister","year":"2013","unstructured":"Pallister, J., Hollis, S.J., Bennett, J.: Identifying compiler options to minimize energy consumption for embedded platforms. Comput. J. 58(1), 95\u2013109 (2013). https:\/\/doi.org\/10.1093\/comjnl\/bxt129","journal-title":"Comput. J."},{"key":"19_CR37","unstructured":"Qu\u00e8ze, F.: Power profiling with the firefox profiler (fosdem\u201923) (2023)., https:\/\/archive.fosdem.org\/2023\/schedule\/event\/energy_power_profiling_firefox\/. Accessed 11 Nov 2024"},{"key":"19_CR38","doi-asserted-by":"publisher","unstructured":"Sakamoto, K., Furumoto, T.: Grand Central Dispatch, pp. 139\u2013145. Apress, Berkeley (2012). https:\/\/doi.org\/10.1007\/978-1-4302-4117-1_6","DOI":"10.1007\/978-1-4302-4117-1_6"},{"key":"19_CR39","doi-asserted-by":"publisher","unstructured":"Scholz, S.B., \u0160inkarovs, A.: Tensor comprehensions in SaC. In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. IFL \u201919. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3412932.3412947","DOI":"10.1145\/3412932.3412947"},{"key":"19_CR40","unstructured":"van\u00a0der Steen, R., van Gastel, B.: The organizational hurdles of structurally reducing the energy consumption of software. In: BENEVOL, pp. 25\u201332 (2023)"},{"key":"19_CR41","doi-asserted-by":"publisher","unstructured":"\u0160inkarovs, A., Koopman, T., Scholz, S.B.: Rank-polymorphism for shape-guided blocking. In: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, pp. 1\u201314. Association for Computing Machinery, New York (2023). https:\/\/doi.org\/10.1145\/3609024.3609410","DOI":"10.1145\/3609024.3609410"},{"key":"19_CR42","doi-asserted-by":"publisher","unstructured":"Zhang, Z., Liang, S., Yao, F., Gao, X.: Red alert for power leakage: exploiting intel rapl-induced side channels. In: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security, ASIA CCS \u201921, pp. 162\u2013175. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3433210.3437517","DOI":"10.1145\/3433210.3437517"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99751-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:22:14Z","timestamp":1764361334000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99751-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031997501","9783031997518"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99751-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/trendsfp.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}