{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T15:48:30Z","timestamp":1750780110294,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["UH-66\/13"],"award-info":[{"award-number":["UH-66\/13"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,15]]},"DOI":"10.1145\/3384441.3395983","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:25:06Z","timestamp":1591493106000},"page":"159-170","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models"],"prefix":"10.1145","author":[{"given":"Till","family":"K\u00f6ster","sequence":"first","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]},{"given":"Tom","family":"Warnke","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Pierre Boutillier Mutaamba Maasha Xing Li H\u00e9ctor F Medina-Abarca Jean Krivine J\u00e9r\u00f4me Feret Ioana Cristescu Angus G Forbes and Walter Fontana. 2018.The Kappa platform for rule-based modeling. Bioinformatics 34 13 (06 2018) i583--i592.https:\/\/doi.org\/10.1093\/bioinformatics\/bty272 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/34\/13\/i583\/25098638\/bty272.pdf 10.1093\/bioinformatics","DOI":"10.1093\/bioinformatics\/bty272"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Pierre Boutillier Mutaamba Maasha Xing Li H\u00e9ctor F Medina-Abarca Jean Krivine J\u00e9r\u00f4me Feret Ioana Cristescu Angus G Forbes and Walter Fontana. 2018.The Kappa platform for rule-based modeling. Bioinformatics 34 13 (06 2018) i583--i592.https:\/\/doi.org\/10.1093\/bioinformatics\/bty272 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/34\/13\/i583\/25098638\/bty272.pdf","DOI":"10.1093\/bioinformatics\/bty272"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1778376"},{"key":"e_1_3_2_1_3_1","volume-title":"2015 Winter Simulation Conference(WSC). 2836--2847","author":"Park Eun Jung","year":"2015","unstructured":"Eun Jung Park , S. Eidenbenz , N. Santhi , G. Chapuis , and B. Settlemyer . 2015. Parameterized benchmarking of parallel discrete event simulation systems: Communication, computation, and memory . In 2015 Winter Simulation Conference(WSC). 2836--2847 . https:\/\/doi.org\/10.1109\/WSC. 2015 .7408388 10.1109\/WSC.2015.7408388 Eun Jung Park, S. Eidenbenz, N. Santhi, G. Chapuis, and B. Settlemyer. 2015. Parameterized benchmarking of parallel discrete event simulation systems: Communication, computation, and memory. In 2015 Winter Simulation Conference(WSC). 2836--2847. https:\/\/doi.org\/10.1109\/WSC.2015.7408388"},{"volume-title":"Systems biology","author":"Faeder James R","key":"e_1_3_2_1_4_1","unstructured":"James R Faeder , Michael L Blinov , and William S Hlavacek . 2009. Rule-based modeling of biochemical systems with Bio NetGen . In Systems biology . Springer , 113--167. James R Faeder, Michael L Blinov, and William S Hlavacek. 2009. Rule-based modeling of biochemical systems with Bio NetGen. In Systems biology. Springer, 113--167."},{"key":"e_1_3_2_1_5_1","first-page":"4","article-title":"Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler","volume":"12","author":"Futamura Yoshihiko","year":"1999","unstructured":"Yoshihiko Futamura . 1999 . Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler . Higher Order Symbol. Comput. 12 , 4 (Dec.1999), 381--391. https:\/\/doi.org\/10.1023\/A:1010095604496 10.1023\/A:1010095604496 Yoshihiko Futamura. 1999. Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler. Higher Order Symbol. Comput. 12, 4 (Dec.1999), 381--391. https:\/\/doi.org\/10.1023\/A:1010095604496","journal-title":"Higher Order Symbol. Comput."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1021\/jp993732q"},{"key":"e_1_3_2_1_7_1","volume-title":"Approximate Accelerated Stochastic Simulation of Chemically Reacting Systems. Journal of Chemical Physics 115 (07","author":"Gillespie Daniel","year":"2001","unstructured":"Daniel Gillespie . 2001. Approximate Accelerated Stochastic Simulation of Chemically Reacting Systems. Journal of Chemical Physics 115 (07 2001 ), 1716--1733. https:\/\/doi.org\/10.1063\/1.1378322 10.1063\/1.1378322 Daniel Gillespie. 2001. Approximate Accelerated Stochastic Simulation of Chemically Reacting Systems. Journal of Chemical Physics 115 (07 2001), 1716--1733. https:\/\/doi.org\/10.1063\/1.1378322"},{"key":"e_1_3_2_1_8_1","volume-title":"Exact stochastic simulation of coupled chemical reactions. The journal of physical chemistry 81, 25","author":"Gillespie Daniel T","year":"1977","unstructured":"Daniel T Gillespie . 1977. Exact stochastic simulation of coupled chemical reactions. The journal of physical chemistry 81, 25 ( 1977 ), 2340--2361. Daniel T Gillespie. 1977. Exact stochastic simulation of coupled chemical reactions. The journal of physical chemistry 81, 25 (1977), 2340--2361."},{"key":"e_1_3_2_1_9_1","volume-title":"An Overview of Network-Based and-Free Approaches for Stochastic Simulation of Biochemical Systems. Computation 6, 1","author":"Gupta Abhishekh","year":"2018","unstructured":"Abhishekh Gupta and Pedro Mendes . 2018. An Overview of Network-Based and-Free Approaches for Stochastic Simulation of Biochemical Systems. Computation 6, 1 ( 2018 ). https:\/\/doi.org\/10.3390\/computation6010009 10.3390\/computation6010009 Abhishekh Gupta and Pedro Mendes. 2018. An Overview of Network-Based and-Free Approaches for Stochastic Simulation of Biochemical Systems. Computation 6, 1 (2018). https:\/\/doi.org\/10.3390\/computation6010009"},{"key":"e_1_3_2_1_10_1","volume-title":"Faeder","author":"Harris Leonard A.","year":"2016","unstructured":"Leonard A. Harris , Justin S. Hogg , Jos\u00e9-Juan Tapia , John A. P. Sekar , San-jana Gupta, Ilya Korsunsky , Arshi Arora , Dipak Barua , Robert P. Sheehan , and James R . Faeder . 2016 . Bio NetGen 2.2: advances in rule-based modeling. Bioinformatics 32, 21 (07 2016), 3366--3368. https:\/\/doi.org\/10.1093\/bioinformatics\/btw469 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/21\/3366\/7889722\/btw469.pdf 10.1093\/bioinformatics Leonard A. Harris, Justin S. Hogg, Jos\u00e9-Juan Tapia, John A. P. Sekar, San-jana Gupta, Ilya Korsunsky, Arshi Arora, Dipak Barua, Robert P. Sheehan, and James R. Faeder. 2016. Bio NetGen 2.2: advances in rule-based modeling. Bioinformatics 32, 21 (07 2016), 3366--3368. https:\/\/doi.org\/10.1093\/bioinformatics\/btw469 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/21\/3366\/7889722\/btw469.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"e_1_3_2_1_12_1","volume-title":"Semantics and efficient simulation algorithms of an expressive multilevel modeling language. ACM Transactions on Modeling and Computer Simulation (TOMACS)27, 2","author":"Helms Tobias","year":"2017","unstructured":"Tobias Helms , Tom Warnke , Carsten Maus , and Adelinde M Uhrmacher . 2017. Semantics and efficient simulation algorithms of an expressive multilevel modeling language. ACM Transactions on Modeling and Computer Simulation (TOMACS)27, 2 ( 2017 ), 1--25. Tobias Helms, Tom Warnke, Carsten Maus, and Adelinde M Uhrmacher. 2017. Semantics and efficient simulation algorithms of an expressive multilevel modeling language. ACM Transactions on Modeling and Computer Simulation (TOMACS)27, 2 (2017), 1--25."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.34"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2010.12.030"},{"volume-title":"Practical Aspects of Declarative Languages, Paul Hudak and David S","author":"Keller Gabriele","key":"e_1_3_2_1_15_1","unstructured":"Gabriele Keller , Hugh Chaffey-Millar , Manuel M. T. Chakravarty , Don Stewart ,and Christopher Barner-Kowollik . 2008. Specialising Simulator Generators forHigh-Performance Monte-Carlo Methods . In Practical Aspects of Declarative Languages, Paul Hudak and David S . Warren (Eds.). Springer Berlin Heidelberg ,Berlin, Heidelberg, 116--132. Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart,and Christopher Barner-Kowollik. 2008. Specialising Simulator Generators forHigh-Performance Monte-Carlo Methods. In Practical Aspects of Declarative Languages, Paul Hudak and David S. Warren (Eds.). Springer Berlin Heidelberg,Berlin, Heidelberg, 116--132."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS'18)","author":"K\u00f6ster Till","year":"2009","unstructured":"Till K\u00f6ster and Adelinde M. Uhrmacher . 2018. Handling Dynamic Sets of Reactions in Stochastic Simulation Algorithms . In Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS'18) . Association for Computing Machinery, New York, NY, USA, 161--164.https:\/\/doi.org\/10.1145\/3 2009 21.3200943 10.1145\/3200921.3200943 Till K\u00f6ster and Adelinde M. Uhrmacher. 2018. Handling Dynamic Sets of Reactions in Stochastic Simulation Algorithms. In Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS'18). Association for Computing Machinery, New York, NY, USA, 161--164.https:\/\/doi.org\/10.1145\/3200921.3200943"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. ACM Program. Lang. 2, OOPSLA, Article Article 119 (Oct.","author":"Lei\u00dfa Roland","year":"2018","unstructured":"Roland Lei\u00dfa , Klaas Boesche , Sebastian Hack , Ars\u00e8ne P\u00e9rard-Gayot , Richard Membarth , Philipp Slusallek , Andr\u00e9 M\u00fcller , and Bertil Schmidt . 2018 . AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries . Proc. ACM Program. Lang. 2, OOPSLA, Article Article 119 (Oct. 2018), 30 pages.https:\/\/doi.org\/10.1145\/3276489 10.1145\/3276489 Roland Lei\u00dfa, Klaas Boesche, Sebastian Hack, Ars\u00e8ne P\u00e9rard-Gayot, Richard Membarth, Philipp Slusallek, Andr\u00e9 M\u00fcller, and Bertil Schmidt. 2018. AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries. Proc. ACM Program. Lang. 2, OOPSLA, Article Article 119 (Oct. 2018), 30 pages.https:\/\/doi.org\/10.1145\/3276489"},{"key":"e_1_3_2_1_18_1","volume-title":"Chakraborty","author":"Lis Mieszko","year":"2009","unstructured":"Mieszko Lis , Maxim N. Artyomov , Srinivas Devadas , and Arup K . Chakraborty . 2009 . Efficient stochastic simulation of reaction--diffusion processes via direct compilation. Bioinformatics 25, 17 (07 2009), 2289--2291. https:\/\/doi.org\/10.1093\/bioinformatics\/btp387 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/17\/2289\/16889395\/btp387.pdf 10.1093\/bioinformatics Mieszko Lis, Maxim N. Artyomov, Srinivas Devadas, and Arup K. Chakraborty. 2009. Efficient stochastic simulation of reaction--diffusion processes via direct compilation. Bioinformatics 25, 17 (07 2009), 2289--2291. https:\/\/doi.org\/10.1093\/bioinformatics\/btp387 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/17\/2289\/16889395\/btp387.pdf"},{"key":"e_1_3_2_1_19_1","volume-title":"Rule-based multi-level modeling of cell biological systems.BMC systems biology 5 (10","author":"Maus Carsten","year":"2011","unstructured":"Carsten Maus , Stefan Rybacki , and Adelinde Uhrmacher . 2011. Rule-based multi-level modeling of cell biological systems.BMC systems biology 5 (10 2011 ), 166.https:\/\/doi.org\/10.1186\/1752-0509-5-166 10.1186\/1752-0509-5-166 Carsten Maus, Stefan Rybacki, and Adelinde Uhrmacher. 2011. Rule-based multi-level modeling of cell biological systems.BMC systems biology 5 (10 2011), 166.https:\/\/doi.org\/10.1186\/1752-0509-5-166"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiolchem.2005.10.007"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2018.8632545"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465264"},{"key":"e_1_3_2_1_23_1","volume-title":"Technical Report HMC-CS-2014-0905. Harvey","author":"O'Neill Melissa E.","year":"2014","unstructured":"Melissa E. O'Neill . 2014 .PCG: A Family of Simple Fast Space-Efficient Statistically Good Algorithms for Random Number Generation . Technical Report HMC-CS-2014-0905. Harvey Mudd College , Claremont, CA . Melissa E. O'Neill. 2014.PCG: A Family of Simple Fast Space-Efficient Statistically Good Algorithms for Random Number Generation. Technical Report HMC-CS-2014-0905. Harvey Mudd College, Claremont, CA."},{"key":"e_1_3_2_1_24_1","volume-title":"Sbalzarini","author":"Ostrenko Oleksandr","year":"2017","unstructured":"Oleksandr Ostrenko , Pietro Incardona , Rajesh Ramaswamy , Lutz Brusch , and Ivo F . Sbalzarini . 2017 . pSSAlib: The partial-propensity stochastic chemical network simulator. PLOS Computational Biology 13, 12 (12 2017), 1--15. https:\/\/doi.org\/10.1371\/journal.pcbi.1005865 10.1371\/journal.pcbi.1005865 Oleksandr Ostrenko, Pietro Incardona, Rajesh Ramaswamy, Lutz Brusch, and Ivo F. Sbalzarini. 2017. pSSAlib: The partial-propensity stochastic chemical network simulator. PLOS Computational Biology 13, 12 (12 2017), 1--15. https:\/\/doi.org\/10.1371\/journal.pcbi.1005865"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/778559.778561"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/351403.351408"},{"key":"e_1_3_2_1_28_1","volume-title":"Sauro","author":"Somogyi Endre T.","year":"2015","unstructured":"Endre T. Somogyi , Jean-Marie Bouteiller , James A. Glazier , Matthias K\u00f6nig , J. Kyle Medley , Maciej H. Swat , and Herbert M . Sauro . 2015 .li-bRoadRunner: a high performance SBML simulation and analysis library. Bioinformatics 31, 20 (06 2015), 3315--3321.https:\/\/doi.org\/10.1093\/bioinformatics\/btv363 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/20\/3315\/17087875\/btv363.pdf 10.1093\/bioinformatics Endre T. Somogyi, Jean-Marie Bouteiller, James A. Glazier, Matthias K\u00f6nig,J. Kyle Medley, Maciej H. Swat, and Herbert M. Sauro. 2015.li-bRoadRunner: a high performance SBML simulation and analysis library. Bioinformatics 31, 20 (06 2015), 3315--3321.https:\/\/doi.org\/10.1093\/bioinformatics\/btv363 arXiv:https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/31\/20\/3315\/17087875\/btv363.pdf"},{"key":"e_1_3_2_1_29_1","first-page":"8","article-title":"A Critical Comparison of Rejection-Based Algorithms forSimulation of Large Biochemical Reaction Networks","volume":"81","author":"Thanh Vo Hong","year":"2018","unstructured":"Vo Hong Thanh . 2018 . A Critical Comparison of Rejection-Based Algorithms forSimulation of Large Biochemical Reaction Networks . Bulletin of Mathematical Biology 81 , 8 (July 2018), 3053--3073. https:\/\/doi.org\/10.1007\/s11538-018-0462-y 10.1007\/s11538-018-0462-y Vo Hong Thanh. 2018. A Critical Comparison of Rejection-Based Algorithms forSimulation of Large Biochemical Reaction Networks. Bulletin of Mathematical Biology 81, 8 (July 2018), 3053--3073. https:\/\/doi.org\/10.1007\/s11538-018-0462-y","journal-title":"Bulletin of Mathematical Biology"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2017.8247822"},{"key":"e_1_3_2_1_31_1","volume-title":"Tag Gon Kim, and Herbert Praehofer","author":"Zeigler Bernard P.","year":"2000","unstructured":"Bernard P. Zeigler , Tag Gon Kim, and Herbert Praehofer . 2000 . Theory of Modeling and Simulation(2nd ed.). Academic Press , Inc., Orlando, FL, USA. Bernard P. Zeigler, Tag Gon Kim, and Herbert Praehofer. 2000. Theory of Modeling and Simulation(2nd ed.). Academic Press, Inc., Orlando, FL, USA."},{"key":"#cr-split#-e_1_3_2_1_32_1.1","unstructured":"Jia Zeng. 2007.Partial Evaluation for Code Generation from Domain-Specific Languages. Ph.D. Dissertation. https:\/\/doi.org\/10.7916\/d8xp7cs 10.7916\/d8xp7cs"},{"key":"#cr-split#-e_1_3_2_1_32_1.2","unstructured":"Jia Zeng. 2007.Partial Evaluation for Code Generation from Domain-Specific Languages. Ph.D. Dissertation. https:\/\/doi.org\/10.7916\/d8xp7cs"}],"event":{"name":"SIGSIM-PADS '20: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Miami FL Spain","acronym":"SIGSIM-PADS '20"},"container-title":["Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384441.3395983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384441.3395983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:37Z","timestamp":1750197757000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384441.3395983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":34,"alternative-id":["10.1145\/3384441.3395983","10.1145\/3384441"],"URL":"https:\/\/doi.org\/10.1145\/3384441.3395983","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}