{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:35Z","timestamp":1776305015087,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,20]]},"DOI":"10.1145\/3678721.3686229","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:02:52Z","timestamp":1726210972000},"page":"5-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-7401-7262","authenticated-orcid":false,"given":"Giacomo","family":"Zanatta","sequence":"first","affiliation":[{"name":"Ca' Foscari University, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4678-933X","authenticated-orcid":false,"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Ca' Foscari University, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6644-1049","authenticated-orcid":false,"given":"Teodors","family":"Lisovenko","sequence":"additional","affiliation":[{"name":"Ca' Foscari University, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9930-8854","authenticated-orcid":false,"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca' Foscari University, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2820-7121","authenticated-orcid":false,"given":"Gianluca","family":"Caiazza","sequence":"additional","affiliation":[{"name":"Ca' Foscari University, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2234-9743","authenticated-orcid":false,"given":"Ruffin","family":"White","sequence":"additional","affiliation":[{"name":"White Robotics, Wisconsin, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Alexander Bakhtin Xiaozhou Li Jacopo Soldani Antonio Brogi Tom \u010cern\u00fd and Davide Taibi. 2023. Tools Reconstructing Microservice Architecture: A Systematic Mapping Study. Agility with Microservices Programming co-located with ECSA 09.","DOI":"10.1007\/978-3-031-66326-0_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE55356.2022.00011"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of 4th ACM Symposium on Principles of Programming Languages (POPL","author":"Cousot P.","year":"1977","unstructured":"P. Cousot and R. Cousot. 1977. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of 4th ACM Symposium on Principles of Programming Languages (POPL 1977). ACM Press, 238\u2013252."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages (POPL","author":"Cousot P.","year":"1979","unstructured":"P. Cousot and R. Cousot. 1979. Systematic Design of Program Analysis Frameworks. In Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages (POPL 1979). ACM Press, 269\u2013282."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR","author":"Ernst Michael D.","year":"2015","unstructured":"Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, and Fausto Spoto. 2015. Boolean Formulas for the Static Identification of Injection Attacks in Java. In Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2015), Martin Davis, Ansgar Fehnker, Annabelle McIver, and Andrei Voronkov (Eds.). Springer-Verlag, 130\u2013145. isbn:978-3-662-48899-7"},{"key":"e_1_3_2_1_6_1","volume-title":"The many faces of publish\/subscribe. ACM computing surveys (CSUR), 35, 2","author":"Eugster Patrick Th","year":"2003","unstructured":"Patrick Th Eugster, Pascal A Felber, Rachid Guerraoui, and Anne-Marie Kermarrec. 2003. The many faces of publish\/subscribe. ACM computing surveys (CSUR), 35, 2 (2003), 114\u2013131."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.04.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63618-0_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAW.2017.16"},{"key":"e_1_3_2_1_11_1","volume-title":"Robot Operating System 2: Design, architecture, and uses in the wild. Science Robotics, 7, 66","author":"Macenski Steven","year":"2022","unstructured":"Steven Macenski, Tully Foote, Brian Gerkey, Chris Lalancette, and William Woodall. 2022. Robot Operating System 2: Design, architecture, and uses in the wild. Science Robotics, 7, 66 (2022), eabm6074."},{"key":"e_1_3_2_1_12_1","volume-title":"REST API design rulebook: designing consistent RESTful web service interfaces. \" O\u2019Reilly Media","author":"Masse Mark","unstructured":"Mark Masse. 2011. REST API design rulebook: designing consistent RESTful web service interfaces. \" O\u2019Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Luca Negrini Vincenzo Arceri Luca Olivieri Agostino Cortesi and Pietro Ferrara. 2024. Teaching through Practice: Advanced Static Analysis with LiSA. In Formal Methods Teaching.","DOI":"10.1007\/978-3-031-71379-8_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589250.3596145"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.23"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Technical Debt (TechDebt","author":"Pigazzini Ilaria","year":"2020","unstructured":"Ilaria Pigazzini, Francesca Arcelli Fontana, Valentina Lenarduzzi, and Davide Taibi. 2020. Towards Microservice Smells Detection. In Proceedings of the IEEE\/ACM International Conference on Technical Debt (TechDebt 2020). 92\u201397."},{"key":"e_1_3_2_1_18_1","unstructured":"Mark Richards and Neal Ford. 2020. Fundamentals of software architecture: an engineering approach. O\u2019Reilly Media."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292552"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332371"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS).","author":"Zanatta Giacomo","year":"2024","unstructured":"Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, and Ruffin White. 2024. Automating ROS2 Security Policies Extraction through Static Analysis. In Proceedings of IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.Microservices.2020-2022.2"}],"event":{"name":"FTfJP '24: 26th ACM International Workshop on Formal Techniques for Java-like Programs","location":"Vienna Austria","acronym":"FTfJP '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678721.3686229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:56Z","timestamp":1750295396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678721.3686229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,20]]},"references-count":22,"alternative-id":["10.1145\/3678721.3686229","10.1145\/3678721"],"URL":"https:\/\/doi.org\/10.1145\/3678721.3686229","relation":{},"subject":[],"published":{"date-parts":[[2024,9,20]]},"assertion":[{"value":"2024-09-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}