{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T06:47:42Z","timestamp":1777099662403,"version":"3.51.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031209833","type":"print"},{"value":"9783031209840","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-20984-0_5","type":"book-chapter","created":{"date-parts":[[2022,11,22]],"date-time":"2022-11-22T01:02:58Z","timestamp":1669078978000},"page":"71-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Enhancing Performance Modeling of\u00a0Serverless Functions via\u00a0Static Analysis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9245-6096","authenticated-orcid":false,"given":"Runan","family":"Wang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4548-7951","authenticated-orcid":false,"given":"Giuliano","family":"Casale","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9646-646X","authenticated-orcid":false,"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,22]]},"reference":[{"key":"5_CR1","unstructured":"https:\/\/anonymous.4open.science\/r\/Enhancing-Performance-Modeling-of-Serverless-Functions-via-Static-Analysis-828D"},{"key":"5_CR2","unstructured":"https:\/\/github.com\/pyutils\/line_profiler"},{"key":"5_CR3","unstructured":"https:\/\/github.com\/Azure-Samples\/functions-python-tensorflow-tutorial"},{"key":"5_CR4","unstructured":"https:\/\/github.com\/onnx\/models"},{"key":"5_CR5","unstructured":"https:\/\/locust.io\/"},{"key":"5_CR6","unstructured":"Pyre. https:\/\/pyre-check.org\/"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Akhtar, N., Raza, A., Ishakian, V., Matta, I.: Cose: configuring serverless functions using statistical learning. In: IEEE INFOCOM 2020-IEEE Conference on Computer Communications, pp. 129\u2013138. IEEE (2020)","DOI":"10.1109\/INFOCOM41043.2020.9155363"},{"key":"5_CR8","unstructured":"Altamimi, T., Petriu, D.C.: Incremental change propagation from UML software models to LQN performance models. In: CASCON, pp. 120\u2013131 (2017)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-981-10-5026-8_1","volume-title":"Res. Adv. Cloud Comput.","author":"I Baldini","year":"2017","unstructured":"Baldini, I., et al.: Serverless computing: current trends and open problems. In: Chaudhary, S., Somani, G., Buyya, R. (eds.) Res. Adv. Cloud Comput., pp. 1\u201320. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-5026-8_1"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Boza, E.F., Abad, C.L., Villavicencio, M., Quimba, S., Plaza, J.A.: Reserved, on demand or serverless: model-based simulations for cloud budget planning. In: 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), pp. 1\u20136 (2017)","DOI":"10.1109\/ETCM.2017.8247460"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Casale, G.: Integrated performance evaluation of extended queueing network models with line. In: Winter Simulation Conference (WSC), pp. 2377\u20132388. IEEE (2020)","DOI":"10.1109\/WSC48552.2020.9383931"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Eismann, S., Grohmann, J., Van Eyk, E., Herbst, N., Kounev, S.: Predicting the costs of serverless workflows. In: Proceedings of the ACM\/SPEC International Conference on Performance Engineering, pp. 265\u2013276 (2020)","DOI":"10.1145\/3358960.3379133"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MS.2020.3023302","volume":"38","author":"S Eismann","year":"2020","unstructured":"Eismann, S., et al.: Serverless applications: why, when, and how? IEEE Softw. 38(1), 32\u201339 (2020)","journal-title":"IEEE Softw."},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G Franks","year":"2008","unstructured":"Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Softw. Eng. 35(2), 148\u2013161 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR15","unstructured":"Franks, G., Maly, P., Woodside, M., Petriu, D.C., Hubbard, A., Mroz, M.: Layered queueing network solver and simulator user manual. Department of Systems and Computer Engineering, Carleton University (December 2005), pp. 15\u201369 (2005)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Garetto, M., Cigno, R.L., Meo, M., Marsan, M.A.: A detailed and accurate closed queueing network model of many interacting TCP flows. In: Proceedings IEEE INFOCOM 2001, vol. 3, pp. 1706\u20131715. IEEE (2001)","DOI":"10.1109\/INFCOM.2001.916668"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Israr, T.A., Lau, D.H., Franks, G., Woodside, M.: Automatic generation of layered queuing software performance models from commonly available traces. In: Proceedings of the 5th international Workshop on Software and Performance, pp. 147\u2013158 (2005)","DOI":"10.1145\/1071021.1071037"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Khedker, U.P., Sanyal, A., Karkare, B.: Data Flow Analysis: Theory and Practice. CRC Press, Boca Raton (2017)","DOI":"10.1201\/9780849332517"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TPDS.2020.3028841","volume":"32","author":"C Lin","year":"2020","unstructured":"Lin, C., Khazaei, H.: Modeling and optimization of performance and cost of serverless applications. IEEE Trans. Parallel Distrib. Syst. 32(3), 615\u2013632 (2020)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Mahmoudi, N., Khazaei, H.: Performance modeling of serverless computing platforms. IEEE Trans. Cloud Comput. (2020)","DOI":"10.1145\/3429880.3430092"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Mahmoudi, N., Khazaei, H.: Temporal performance modelling of serverless computing platforms. In: Proceedings of the 2020 Sixth International Workshop on Serverless Computing, pp. 1\u20136 (2020)","DOI":"10.1145\/3429880.3430092"},{"key":"5_CR22","volume-title":"Modelling with generalized stochastic Petri nets","author":"MA Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets, vol. 292. Wiley, New York (1995)"},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Nielson, F., Nielson, H., Hankin, C.: Principles of Program Analysis. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-662-03811-6","DOI":"10.1007\/978-3-662-03811-6"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"DC Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML performance profile: graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 159\u2013177. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_10"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.peva.2015.07.005","volume":"92","author":"S Spinner","year":"2015","unstructured":"Spinner, S., Casale, G., Brosig, F., Kounev, S.: Evaluating approaches to resource demand estimation. Perform. Eval. 92, 51\u201371 (2015)","journal-title":"Perform. Eval."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Tariq, A., Pahl, A., Nimmagadda, S., Rozner, E., Lanka, S.: Sequoia: enabling quality-of-service in serverless computing. In: Proceedings of the 11th ACM Symposium on Cloud Computing, SoCC 2020, pp. 311\u2013327. Association for Computing Machinery (2020)","DOI":"10.1145\/3419111.3421306"},{"issue":"6","key":"5_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1543135.1542486","volume":"44","author":"O Tripp","year":"2009","unstructured":"Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.: Taj: effective taint analysis of web applications. ACM Sigplan Notices 44(6), 87\u201397 (2009)","journal-title":"ACM Sigplan Notices"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Zhu, L., Giotis, G., Tountopoulos, V., Casale, G.: Rdof: deployment optimization for function as a service. In: 2021 IEEE 14th International Conference on Cloud Computing (CLOUD), pp. 508\u2013514. IEEE (2021)","DOI":"10.1109\/CLOUD53861.2021.00066"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20984-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T20:02:34Z","timestamp":1734984154000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20984-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031209833","9783031209840"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20984-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"22 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seville","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2022.spilab.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}