Partial evaluation via code generation for static stochastic reaction network models (Software Appendix)
[research data]
Köster, Till
VerfasserIn
aut
software, multimedia
Computerdaten
Forschungsdaten
gw
2020
monographic
XA-DE
Rostock
University of Rostock
publisher
2020
Rostock
University Library
distributor
eng
1 Online-Ressource
Succinct, declarative, and domain-specific modeling languages have many advantages when creating simulation models. However, it is often challenging to efficiently execute models defined in such languages. We use code generation for model-specific simulators. Code generation has been successfully applied for high-performance algorithms in many application domains. By generating tailored simulators for specific simulation models defined in a domain specific language, we get the best of both worlds: a succinct, declarative and formal presentation of the model and an efficient execution. We illustrate this based on a simple domain-specific language for biochemical reaction networks as well as on the network representation of the established BioNetGen language. We implement two approaches adopting the same simulation algorithms: one generic simulator that parses models at runtime and one generator that produces a simulator specialized to a given model based on partial evaluation and code generation. Akin to profile-guided optimization we also use dynamic execution of the model to further optimize the simulators. The performance of the approaches is carefully benchmarked using representative models of small to mid-sized biochemical reaction networks. The generic simulator achieves a performance similar to state of the art simulators in the domain, whereas the specialized simulator outperforms established simulation algorithms with a speedup of more than an order of magnitude. This repository contains the code generation software as described in the 2020 PADS paper Partial evaluation via code generation for static stochastic reaction network models.<eng>
Till Köster
004
http://purl.uni-rostock.de/rosdok/id00002648
Till Köster. Partial evaluation via code generation for static stochastic reaction network models.In: ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2020), June 15-17, 2020, Miami, Florida, USA.
10.18453/rosdok_id00002648
1153927911
rda
DE-627
200511
1697803288
20251226T183750.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger