{"id":"https://openalex.org/W4396214226","doi":"https://doi.org/10.1145/3649844","title":"Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions","display_name":"Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214226","doi":"https://doi.org/10.1145/3649844"},"language":"en","primary_location":{"id":"doi:10.1145/3649844","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649844","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3649844","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084548263","display_name":"Lutz Klinkenberg","orcid":"https://orcid.org/0000-0002-3812-0572"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lutz Klinkenberg","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3812-0572","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095926281","display_name":"Christian Blumenthal","orcid":"https://orcid.org/0009-0003-6427-0229"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Blumenthal","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0009-0003-6427-0229","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043436285","display_name":"Mingshuai Chen","orcid":"https://orcid.org/0000-0001-9663-7441"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingshuai Chen","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-9663-7441","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034085748","display_name":"Darion Haase","orcid":"https://orcid.org/0000-0001-5664-6773"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Darion Haase","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5664-6773","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-6143-1926","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.0563,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.92133543,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"923","last_page":"953"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/inference","display_name":"Inference","score":0.629600465297699},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.586918294429779},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5636972188949585},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.5116375088691711},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.505584716796875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3580167293548584},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35181283950805664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33842188119888306}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.629600465297699},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.586918294429779},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5636972188949585},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.5116375088691711},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.505584716796875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3580167293548584},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35181283950805664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33842188119888306}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649844","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649844","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3649844","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649844","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":83,"referenced_works":["https://openalex.org/W57094165","https://openalex.org/W72346910","https://openalex.org/W186403072","https://openalex.org/W1583191255","https://openalex.org/W1605543919","https://openalex.org/W1729037535","https://openalex.org/W1734364899","https://openalex.org/W1864094877","https://openalex.org/W1892397232","https://openalex.org/W1948975400","https://openalex.org/W1964821516","https://openalex.org/W1980251859","https://openalex.org/W1980452149","https://openalex.org/W1986359124","https://openalex.org/W1989274820","https://openalex.org/W2024355065","https://openalex.org/W2040468886","https://openalex.org/W2051203581","https://openalex.org/W2061217545","https://openalex.org/W2112820511","https://openalex.org/W2139032973","https://openalex.org/W2184410169","https://openalex.org/W2295266283","https://openalex.org/W2390784308","https://openalex.org/W2395654200","https://openalex.org/W2395880299","https://openalex.org/W2406252837","https://openalex.org/W2417863416","https://openalex.org/W2435583538","https://openalex.org/W2488983277","https://openalex.org/W2492105651","https://openalex.org/W2494200839","https://openalex.org/W2527393991","https://openalex.org/W2548604229","https://openalex.org/W2735021239","https://openalex.org/W2736831476","https://openalex.org/W2782235253","https://openalex.org/W2797207385","https://openalex.org/W2803490327","https://openalex.org/W2892924523","https://openalex.org/W2893610333","https://openalex.org/W2899702797","https://openalex.org/W2926374695","https://openalex.org/W2963258324","https://openalex.org/W2964256340","https://openalex.org/W2974449604","https://openalex.org/W2977408235","https://openalex.org/W2982014993","https://openalex.org/W2995951356","https://openalex.org/W3016895022","https://openalex.org/W3033339947","https://openalex.org/W3046454509","https://openalex.org/W3046677588","https://openalex.org/W3100287873","https://openalex.org/W3107908039","https://openalex.org/W3109436335","https://openalex.org/W3119685641","https://openalex.org/W3125330751","https://openalex.org/W3135402417","https://openalex.org/W3158742505","https://openalex.org/W3166047986","https://openalex.org/W3167391728","https://openalex.org/W3171209508","https://openalex.org/W3173838504","https://openalex.org/W3175066792","https://openalex.org/W3186609013","https://openalex.org/W3207720664","https://openalex.org/W4210496774","https://openalex.org/W4210978459","https://openalex.org/W4228998405","https://openalex.org/W4230647180","https://openalex.org/W4244189384","https://openalex.org/W4249985776","https://openalex.org/W4250720901","https://openalex.org/W4290087462","https://openalex.org/W4307731812","https://openalex.org/W4319049675","https://openalex.org/W4361191913","https://openalex.org/W4362659491","https://openalex.org/W4366451130","https://openalex.org/W4384812105","https://openalex.org/W6892602574","https://openalex.org/W6944274836"],"related_works":["https://openalex.org/W2163814182","https://openalex.org/W2372267530","https://openalex.org/W2969189870","https://openalex.org/W2965643117","https://openalex.org/W4303857162","https://openalex.org/W2407375987","https://openalex.org/W2505726097","https://openalex.org/W2010643158","https://openalex.org/W3049691116","https://openalex.org/W2106867672"],"abstract_inverted_index":{"We":[0,50],"present":[1],"an":[2],"exact":[3,99],"Bayesian":[4],"inference":[5,74,100],"method":[6,21,53],"for":[7,71],"inferring":[8],"posterior":[9,48],"distributions":[10],"encoded":[11],"by":[12,29,39],"probabilistic":[13,42,80],"programs":[14,92],"featuring":[15],"possibly":[16],"unbounded":[17],"loops":[18,43],".":[19],"Our":[20],"is":[22],"built":[23],"on":[24],"a":[25,55],"denotational":[26],"semantics":[27],"represented":[28],"probability":[30],"generating":[31,69],"functions":[32,70],",":[33],"which":[34],"resolves":[35],"semantic":[36],"intricacies":[37],"induced":[38],"intertwining":[40],"discrete":[41],"with":[44,65],"conditioning":[45],"(for":[46],"encoding":[47],"observations).":[49],"implement":[51],"our":[52],"in":[54],"tool":[56],"called":[57],"Prodigy;":[58],"it":[59],"augments":[60],"existing":[61],"computer":[62],"algebra":[63],"systems":[64],"the":[66,72],"theory":[67],"of":[68,78],"(semi-)automatic":[73],"and":[75,93],"quantitative":[76],"verification":[77],"conditioned":[79],"programs.":[81],"Experimental":[82],"results":[83],"show":[84],"that":[85],"Prodigy":[86],"can":[87],"handle":[88],"various":[89],"infinite-state":[90],"loopy":[91],"exhibits":[94],"comparable":[95],"performance":[96],"to":[97],"state-of-the-art":[98],"tools":[101],"over":[102],"loop-free":[103],"benchmarks.":[104]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}