{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:08:32Z","timestamp":1750219712685,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Swedish Research Council","award":["018-04329"],"award-info":[{"award-number":["018-04329"]}]},{"name":"Swedish Foundation for Strategic Research","award":["FFL15- 0032"],"award-info":[{"award-number":["FFL15- 0032"]}]},{"name":"Digital Futures (the DLL project)","award":[""],"award-info":[{"award-number":[""]}]},{"name":"Vinnova Competence Center for Trustworthy Edge Computing Sys- tems and Applications (TECoSA)","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3624007.3624054","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:43:36Z","timestamp":1697723016000},"page":"57-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers"],"prefix":"10.1145","author":[{"given":"Oscar","family":"Eriksson","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"given":"Viktor","family":"Palmkvist","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"given":"David","family":"Broman","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden \/ Stanford University, Stanford, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371106"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30023-3_27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-125550-3.50006-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46618-7_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-749-1.X5000-2"},{"key":"e_1_3_2_1_7_1","unstructured":"Bernhard Bachmann Peter Aronsson and Peter Fritzson. 2007. Robust Initialization of Differential Algebraic Equations. In Equation-Based Object-Oriented Languages and Tools (EOOLT). 151\u2013163. \t\t\t\t  Bernhard Bachmann Peter Aronsson and Peter Fritzson. 2007. Robust Initialization of Differential Algebraic Equations. In Equation-Based Object-Oriented Languages and Tools (EOOLT). 151\u2013163."},{"key":"e_1_3_2_1_8_1","volume-title":"Alexey Andreyevich Radul, and Jeffrey Mark Siskind","author":"Baydin Atilim Gunes","year":"2015","unstructured":"Atilim Gunes Baydin , Barak A. Pearlmutter , Alexey Andreyevich Radul, and Jeffrey Mark Siskind . 2015 . Automatic differentiation in machine learning: a survey. https:\/\/doi.org\/10.48550\/ARXIV.1502.05767 10.48550\/ARXIV.1502.05767 Atilim Gunes Baydin, Barak A. Pearlmutter, Alexey Andreyevich Radul, and Jeffrey Mark Siskind. 2015. Automatic differentiation in machine learning: a survey. https:\/\/doi.org\/10.48550\/ARXIV.1502.05767"},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Automatic differentiation in machine learning: a survey","volume":"18","author":"Baydin Atilim Gunes","year":"2018","unstructured":"Atilim Gunes Baydin , Barak A Pearlmutter , Alexey Andreyevich Radul , and Jeffrey Mark Siskind . 2018 . Automatic differentiation in machine learning: a survey . Journal of Marchine Learning Research , 18 (2018), 1 \u2013 43 . Atilim Gunes Baydin, Barak A Pearlmutter, Alexey Andreyevich Radul, and Jeffrey Mark Siskind. 2018. Automatic differentiation in machine learning: a survey. Journal of Marchine Learning Research, 18 (2018), 1\u201343.","journal-title":"Journal of Marchine Learning Research"},{"key":"e_1_3_2_1_10_1","unstructured":"At\u0131l\u0131m G\u00fcne\u015f Baydin Barak A. Pearlmutter and Jeffrey Mark Siskind. 2016. DiffSharp: An AD Library for .NET Languages. arxiv:1611.03423 arXiv:1611.03423 [cs] \t\t\t\t  At\u0131l\u0131m G\u00fcne\u015f Baydin Barak A. Pearlmutter and Jeffrey Mark Siskind. 2016. DiffSharp: An AD Library for .NET Languages. arxiv:1611.03423 arXiv:1611.03423 [cs]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141483"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.285.4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063495"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971224"},{"volume-title":"Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Ph. D. Dissertation. Department of Computer and Information Science","author":"Broman David","key":"e_1_3_2_1_15_1","unstructured":"David Broman . 2010. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Ph. D. Dissertation. Department of Computer and Information Science , Link\u00f6ping University . Sweden. David Broman. 2010. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Ph. D. Dissertation. Department of Computer and Information Science, Link\u00f6ping University. Sweden."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359531"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3162068"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019154423096"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019106507166"},{"key":"e_1_3_2_1_20_1","unstructured":"Dassault Systems. [n. d.]. DYMOLA Systems Engineering: Multi-Engineering Modeling and Simulation based on Modelica and FMI.  http:\/\/www.dymola.com \t\t\t\t  Dassault Systems. [n. d.]. DYMOLA Systems Engineering: Multi-Engineering Modeling and Simulation based on Modelica and FMI.  http:\/\/www.dymola.com"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596579"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2014.12.026"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.360.1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.8347712"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_26_1","article-title":"The OpenModelica Modeling, Simulation, and Software Development Environment","volume":"15","author":"Fritzson Peter","year":"2005","unstructured":"Peter Fritzson , Peter Aronsson , H\u00e5kan Lundvall , Kaj Nystr\u00f6m , Adrian Pop , Levon Saldamli , and David Broman . 2005 . The OpenModelica Modeling, Simulation, and Software Development Environment . Simulation News Europe , 15 , 44\/45 (2005), 8\u201316. Peter Fritzson, Peter Aronsson, H\u00e5kan Lundvall, Kaj Nystr\u00f6m, Adrian Pop, Levon Saldamli, and David Broman. 2005. The OpenModelica Modeling, Simulation, and Software Development Environment. Simulation News Europe, 15, 44\/45 (2005), 8\u201316.","journal-title":"Simulation News Europe"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144504444711"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365999"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-00-01120-0"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11558958_131"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581501"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2450153.2450158"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089020"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560359"},{"key":"e_1_3_2_1_35_1","unstructured":"Neil D Jones Carsten K Gomard and Peter Sestoft. 1993. Partial evaluation and automatic program generation. \t\t\t\t  Neil D Jones Carsten K Gomard and Peter Sestoft. 1993. Partial evaluation and automatic program generation."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289442"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498710"},{"volume-title":"Differential-Algebraic Equations Analysis and Numerical Solution","author":"Kunkel Peter","key":"e_1_3_2_1_38_1","unstructured":"Peter Kunkel and Volker Mehrmann . 2006. Differential-Algebraic Equations Analysis and Numerical Solution . European Mathematical Society . isbn:3-03719-017-5 Peter Kunkel and Volker Mehrmann. 2006. Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society. isbn:3-03719-017-5"},{"key":"e_1_3_2_1_39_1","unstructured":"Maplesoft. [n. d.]. Maple.  https:\/\/www.maplesoft.com\/products\/Maple\/ \t\t\t\t  Maplesoft. [n. d.]. Maple.  https:\/\/www.maplesoft.com\/products\/Maple\/"},{"key":"e_1_3_2_1_40_1","unstructured":"MathWorks. [n. d.]. Simscape - Model and simulate multidomain physical systems.  https:\/\/www.mathworks.com\/products\/simscape \t\t\t\t  MathWorks. [n. d.]. Simscape - Model and simulate multidomain physical systems.  https:\/\/www.mathworks.com\/products\/simscape"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914043"},{"key":"e_1_3_2_1_42_1","unstructured":"2017. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.4. Available from: http:\/\/www.modelica.org \t\t\t\t  2017. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.4. Available from: http:\/\/www.modelica.org"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-005-0019-y"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-006-0106-8"},{"key":"e_1_3_2_1_45_1","first-page":"1","article-title":"Solving differential-algebraic equations by Taylor series (III): the DAETS code","volume":"1","author":"Nedialkov Nedialko S","year":"2007","unstructured":"Nedialko S Nedialkov and John D Pryce . 2007 . Solving differential-algebraic equations by Taylor series (III): the DAETS code . Journal of Numerical Analysis, Industrial and Applied Mathematics , 1 , 1 (2007), 1 \u2013 30 . Nedialko S Nedialkov and John D Pryce. 2007. Solving differential-algebraic equations by Taylor series (III): the DAETS code. Journal of Numerical Analysis, Industrial and Applied Mathematics, 1, 1 (2007), 1\u201330.","journal-title":"Journal of Numerical Analysis, Industrial and Applied Mathematics"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 4th International Modelica Conference.","author":"Olsson Hans","year":"2005","unstructured":"Hans Olsson , Hubertus Tummescheit , Hilding Elmqvist , AB Dynasim , and AB Modelon . 2005 . Using automatic differentiation for partial derivatives of functions in Modelica . In Proceedings of the 4th International Modelica Conference. Hans Olsson, Hubertus Tummescheit, Hilding Elmqvist, AB Dynasim, and AB Modelon. 2005. Using automatic differentiation for partial derivatives of functions in Modelica. In Proceedings of the 4th International Modelica Conference."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp17132565"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571251"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1137\/0909014"},{"key":"e_1_3_2_1_50_1","unstructured":"David Peter. 2023. hyperfine. https:\/\/github.com\/sharkdp\/hyperfine \t\t\t\t  David Peter. 2023. hyperfine. https:\/\/github.com\/sharkdp\/hyperfine"},{"key":"e_1_3_2_1_51_1","unstructured":"L. R. Petzold. 1982. Description of DASSL: a differential\/algebraic system solver. Sandia National Labs. Livermore CA (USA). https:\/\/www.osti.gov\/biblio\/5882821 \t\t\t\t  L. R. Petzold. 1982. Description of DASSL: a differential\/algebraic system solver. Sandia National Labs. Livermore CA (USA). https:\/\/www.osti.gov\/biblio\/5882821"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1023\/a:1019150322187"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1023\/a:1021998624799"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2018.1428605"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341701"},{"key":"e_1_3_2_1_56_1","unstructured":"Amir Shaikhha Mathieu Huot and Shideh Hashemian. 2023. \u2207 SD: Differentiable Programming for Sparse Tensors. arxiv:2303.07030. \t\t\t\t  Amir Shaikhha Mathieu Huot and Shideh Hashemian. 2023. \u2207 SD: Differentiable Programming for Sparse Tensors. arxiv:2303.07030."},{"key":"e_1_3_2_1_57_1","unstructured":"Jeffrey M Siskind and Barak A Pearlmutter. 2008. Using Polyvariant Union-Free Flow Analysis to Compile a Higher-Order Functional-Programming Language with a First-Class Derivative Operator to Efficient Fortran-like Code. 12. \t\t\t\t  Jeffrey M Siskind and Barak A Pearlmutter. 2008. Using Polyvariant Union-Free Flow Analysis to Compile a Higher-Order Functional-Programming Language with a First-Class Derivative Operator to Efficient Fortran-like Code. 12."},{"key":"e_1_3_2_1_58_1","unstructured":"Ole Stauning and Claus Bendtsen. [n. d.]. FADBAD++.  http:\/\/uning.dk\/fadbad.html \t\t\t\t  Ole Stauning and Claus Bendtsen. [n. d.]. FADBAD++.  http:\/\/uning.dk\/fadbad.html"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(1:41)2022"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"A. Walther and A. Griewank. 2012. Getting started with ADOL-C. 181\u2013202 pages. \t\t\t\t  A. Walther and A. Griewank. 2012. Getting started with ADOL-C. 181\u2013202 pages.","DOI":"10.1201\/b11644-8"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341700"}],"event":{"name":"GPCE '23: 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Cascais Portugal","acronym":"GPCE '23"},"container-title":["Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624007.3624054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:05Z","timestamp":1750178165000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624007.3624054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":61,"alternative-id":["10.1145\/3624007.3624054","10.1145\/3624007"],"URL":"https:\/\/doi.org\/10.1145\/3624007.3624054","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}