{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:46Z","timestamp":1750219966699,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3587135.3589945","type":"proceedings-article","created":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T10:22:41Z","timestamp":1691144561000},"page":"344-350","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Clever DAE"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8609-0470","authenticated-orcid":false,"given":"Michele","family":"Scuttari","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5163-691X","authenticated-orcid":false,"given":"Nicola","family":"Camillucci","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1453-3257","authenticated-orcid":false,"given":"Daniele","family":"Cattaneo","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0255-4475","authenticated-orcid":false,"given":"Giovanni","family":"Agosta","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4509-0711","authenticated-orcid":false,"given":"Francesco","family":"Casella","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5579-5942","authenticated-orcid":false,"given":"Stefano","family":"Cherubin","sequence":"additional","affiliation":[{"name":"Edinburgh Napier University, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7475-6167","authenticated-orcid":false,"given":"Federico","family":"Terraneo","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"Giovanni Agosta Emanuele Baldino Francesco Casella Stefano Cherubin Alberto Leva and Federico Terraneo. 2019. Towards a High-Performance Modelica Compiler. (2019) 313--320. https:\/\/doi.org\/10.3384\/ecp19157313","DOI":"10.3384\/ecp19157313"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365984.3365988"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2019.03.072"},{"key":"e_1_3_2_1_4_1","volume-title":"6th Vienna International Conference on Mathematical Modelling.","author":"\u00c5kesson Johan","year":"2009","unstructured":"Johan \u00c5kesson, Magnus G\u00e4fvert, and Hubertus Tummescheit. 2009. Jmodelica---an open source platform for optimization of modelica models. In 6th Vienna International Conference on Mathematical Modelling."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.1989.69825"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2953499"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690400608"},{"key":"e_1_3_2_1_8_1","volume-title":"Cellier and Ernesto Kofman","author":"Fran\u00e7ois","year":"2006","unstructured":"Fran\u00e7ois E. Cellier and Ernesto Kofman. 2006. Continuous system simulation. Springer Science & Business Media, Berlin, Germany."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. Summer Computer Simulation Conference","author":"Elmqvist Hilding","year":"1979","unstructured":"Hilding Elmqvist. 1979. DYMOLA -- A Structured Model Language for Large Continuous Systems. In Proc. Summer Computer Simulation Conference. Toronto, Canada."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Massimo Fioravanti Daniele Cattaneo Federico Terraneo Silvano Seva Stefano Cherubin Giovanni Agosta Francesco Casella and Alberto Leva. 2022. Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models. https:\/\/doi.org\/10.48550\/ARXIV.2212.11135","DOI":"10.48550\/ARXIV.2212.11135"},{"key":"e_1_3_2_1_11_1","volume-title":"2006 IEEE Conf on Computer Aided Control System Design, 2006 IEEE Int'l Conf on Control Applications","author":"Fritzson Peter","year":"2006","unstructured":"Peter Fritzson, Peter Aronsson, Adrian Pop, Hakan Lundvall, Kaj Nystrom, Levon Saldamli, David Broman, and Anders Sandholm. 2006. OpenModelica-A free open-source environment for system modeling, simulation, and teaching. In 2006 IEEE Conf on Computer Aided Control System Design, 2006 IEEE Int'l Conf on Control Applications, 2006 IEEE Int'l Sym on Intelligent Control. IEEE, 1588--1595."},{"key":"e_1_3_2_1_12_1","unstructured":"Andreas Griewank et al. 1989. On automatic differentiation. Mathematical Programming: recent developments and applications 6 6 (1989) 83--107."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Andreas Griewank and Andrea Walther. 2008. Evaluating derivatives: principles and techniques of algorithmic differentiation. SIAM.","DOI":"10.1137\/1.9780898717761"},{"key":"e_1_3_2_1_14_1","volume-title":"SUNDIALS: Suite of Nonlinear and Differential\/Algebraic Equation Solvers. ACM Transactions on Mathematical Software (TOMS)","author":"Alan Hindmarsh","year":"2005","unstructured":"Alan Hindmarsh et al. 2005. SUNDIALS: Suite of Nonlinear and Differential\/Algebraic Equation Solvers. ACM Transactions on Mathematical Software (TOMS) (2005)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-019-01512-w"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2020.06.017"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Sven Erik Mattsson et al. 1998. Physical System Modeling with Modelica. Control Engineering Practice (1998).","DOI":"10.1016\/S0967-0661(98)00047-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4173\/mic.2014.2.3"},{"key":"e_1_3_2_1_19_1","unstructured":"The Mathworks Inc. 2022 (latest version). Simscape Documentation. https:\/\/mathworks.com\/help\/physmod\/simscape\/."}],"event":{"name":"CF '23: 20th ACM International Conference on Computing Frontiers","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Bologna Italy","acronym":"CF '23"},"container-title":["Proceedings of the 20th ACM International Conference on Computing Frontiers"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587135.3589945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587135.3589945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:13Z","timestamp":1750182553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587135.3589945"}},"subtitle":["Compiler Optimizations for Digital Twins at Scale"],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":19,"alternative-id":["10.1145\/3587135.3589945","10.1145\/3587135"],"URL":"https:\/\/doi.org\/10.1145\/3587135.3589945","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}