{"id":"https://openalex.org/W3034132595","doi":"https://doi.org/10.1145/3384441.3395983","title":"Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models","display_name":"Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3034132595","doi":"https://doi.org/10.1145/3384441.3395983","mag":"3034132595"},"language":"en","primary_location":{"id":"doi:10.1145/3384441.3395983","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3384441.3395983","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029430276","display_name":"Till K\u00f6ster","orcid":"https://orcid.org/0000-0003-0869-381X"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Till K\u00f6ster","raw_affiliation_strings":["University of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061972689","display_name":"Tom Warnke","orcid":"https://orcid.org/0000-0002-8196-2943"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tom Warnke","raw_affiliation_strings":["University of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063515034","display_name":"Adelinde M. Uhrmacher","orcid":"https://orcid.org/0000-0001-5256-4682"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Adelinde M. Uhrmacher","raw_affiliation_strings":["University of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029430276"],"corresponding_institution_ids":["https://openalex.org/I4665924"],"apc_list":null,"apc_paid":null,"fwci":0.6628,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.66854655,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"159","last_page":"170"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8929760456085205},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.7265485525131226},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5858255624771118},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5816089510917664},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5517277717590332},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5253647565841675},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.49151143431663513},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.48459184169769287},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4585966169834137},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.44959819316864014},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3515523672103882},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3487187623977661},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.22384029626846313},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09439659118652344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8929760456085205},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.7265485525131226},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5858255624771118},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5816089510917664},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5517277717590332},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5253647565841675},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.49151143431663513},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.48459184169769287},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4585966169834137},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44959819316864014},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3515523672103882},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3487187623977661},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.22384029626846313},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09439659118652344},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3384441.3395983","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3384441.3395983","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4218580009","display_name":null,"funder_award_id":"UH-66/13","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W95898642","https://openalex.org/W1973016141","https://openalex.org/W2023568310","https://openalex.org/W2044859335","https://openalex.org/W2072077152","https://openalex.org/W2078734278","https://openalex.org/W2084924279","https://openalex.org/W2098367419","https://openalex.org/W2116981323","https://openalex.org/W2136500087","https://openalex.org/W2145006655","https://openalex.org/W2147578933","https://openalex.org/W2149502453","https://openalex.org/W2303100661","https://openalex.org/W2572804059","https://openalex.org/W2771541547","https://openalex.org/W2792385328","https://openalex.org/W2807744179","https://openalex.org/W2824474752","https://openalex.org/W2898442528","https://openalex.org/W3138886021","https://openalex.org/W4229917823","https://openalex.org/W4236935678","https://openalex.org/W4247461680","https://openalex.org/W4292888834"],"related_works":["https://openalex.org/W3122369893","https://openalex.org/W2387634031","https://openalex.org/W2794657471","https://openalex.org/W1970499202","https://openalex.org/W818898529","https://openalex.org/W1963927741","https://openalex.org/W4245356976","https://openalex.org/W307712065","https://openalex.org/W2134525851","https://openalex.org/W4240313326"],"abstract_inverted_index":{"Succinct,":[0],"declarative,":[1],"and":[2,69,75,121,137],"domain-specific":[3,57,86],"modeling":[4],"languages":[5],"have":[6],"many":[7,43],"advantages":[8],"when":[9],"creating":[10],"simulation":[11,52,111,197],"models.":[12],"However,":[13],"it":[14],"is":[15,162],"often":[16],"challenging":[17],"to":[18,129,141,152,170,182,214],"efficiently":[19],"execute":[20],"models":[21,53,118,167],"defined":[22,54],"in":[23,42,55,188],"such":[24],"languages.":[25],"We":[26,79,104],"use":[27,146],"code":[28,138],"generation":[29,34],"for":[30,39,50,88],"model-specific":[31],"simulators.":[32,156],"Code":[33],"has":[35],"been":[36],"successfully":[37],"applied":[38],"high-performance":[40],"algorithms":[41,198],"application":[44],"domains.":[45],"By":[46],"generating":[47],"tailored":[48],"simulators":[49,187],"specific":[51],"a":[56,66,84,126,130,179,200,218],"language,":[58],"we":[59,144],"get":[60],"the":[61,73,96,100,109,150,155,160,185,189,192,215],"best":[62],"of":[63,72,99,149,159,168,184,202,207],"both":[64],"worlds:":[65],"succinct,":[67],"declarative":[68],"formal":[70],"presentation":[71],"model":[74,132,151],"an":[76,205],"efficient":[77],"execution.":[78],"illustrate":[80],"this":[81],"based":[82,133],"on":[83,95,134],"simple":[85],"language":[87],"biochemical":[89,172],"reaction":[90,173],"networks":[91],"as":[92,94],"well":[93],"network":[97],"representation":[98],"established":[101,196],"BioNetGen":[102],"language.":[103],"implement":[105],"two":[106],"approaches":[107,161],"adopting":[108],"same":[110],"algorithms:":[112],"one":[113,122],"generic":[114,176],"simulator":[115,127,177,194],"that":[116,124],"parses":[117],"at":[119],"runtime":[120],"generator":[123],"produces":[125],"specialized":[128,193],"given":[131],"partial":[135],"evaluation":[136],"generation.":[139],"Akin":[140],"profile-guided":[142],"optimization":[143],"also":[145],"dynamic":[147],"execution":[148],"further":[153],"optimize":[154],"The":[157,175],"performance":[158,180],"carefully":[163],"benchmarked":[164],"using":[165],"representative":[166],"small":[169],"mid-sized":[171],"networks.":[174],"achieves":[178],"similar":[181],"state":[183],"art":[186],"domain,":[190],"whereas":[191],"outperforms":[195],"with":[199],"speedup":[201],"more":[203],"than":[204],"order":[206],"magnitude.":[208],"Both":[209],"implementations":[210],"are":[211],"available":[212],"online":[213],"community":[216],"under":[217],"permissive":[219],"open-source":[220],"license.":[221]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}