{"id":"https://openalex.org/W4409311621","doi":"https://doi.org/10.1145/3720482","title":"Multi-Language Probabilistic Programming","display_name":"Multi-Language Probabilistic Programming","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409311621","doi":"https://doi.org/10.1145/3720482"},"language":"en","primary_location":{"id":"doi:10.1145/3720482","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720482","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/3720482","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055025012","display_name":"Sam Stites","orcid":"https://orcid.org/0000-0003-0935-1010"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Stites","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0003-0935-1010","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035957556","display_name":"John M. Li","orcid":"https://orcid.org/0000-0003-2130-5092"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John M. Li","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0003-2130-5092","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066166509","display_name":"Steven Holtzen","orcid":"https://orcid.org/0000-0002-8190-5412"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Holtzen","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0002-8190-5412","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5175,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92185678,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"1239","last_page":"1266"},"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.9991000294685364,"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.9991000294685364,"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.9958999752998352,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5734642744064331},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5615794658660889},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5184687972068787},{"id":"https://openalex.org/keywords/first-generation-programming-language","display_name":"First-generation programming language","score":0.42716312408447266},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.34354668855667114},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3231097459793091},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2616114020347595}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5734642744064331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5615794658660889},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5184687972068787},{"id":"https://openalex.org/C570499","wikidata":"https://www.wikidata.org/wiki/Q1289116","display_name":"First-generation programming language","level":3,"score":0.42716312408447266},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34354668855667114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3231097459793091},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2616114020347595}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720482","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720482","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/3720482","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720482","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":[{"id":"https://openalex.org/G7951656765","display_name":null,"funder_award_id":"#2220408","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W37142284","https://openalex.org/W342302233","https://openalex.org/W1505477995","https://openalex.org/W1550526517","https://openalex.org/W1801737117","https://openalex.org/W1962606224","https://openalex.org/W1973186567","https://openalex.org/W2014472261","https://openalex.org/W2029408547","https://openalex.org/W2050509196","https://openalex.org/W2062818807","https://openalex.org/W2076418228","https://openalex.org/W2078434561","https://openalex.org/W2102506621","https://openalex.org/W2105197197","https://openalex.org/W2118404561","https://openalex.org/W2140367040","https://openalex.org/W2151516755","https://openalex.org/W2155941727","https://openalex.org/W2165507557","https://openalex.org/W2169246522","https://openalex.org/W2514838807","https://openalex.org/W2577537660","https://openalex.org/W2595803793","https://openalex.org/W2597297629","https://openalex.org/W2767557842","https://openalex.org/W2774191252","https://openalex.org/W2798149936","https://openalex.org/W2802939452","https://openalex.org/W2806205134","https://openalex.org/W2902895875","https://openalex.org/W2926374695","https://openalex.org/W2939574732","https://openalex.org/W2954040150","https://openalex.org/W2955467592","https://openalex.org/W2963153477","https://openalex.org/W3007301222","https://openalex.org/W3100227903","https://openalex.org/W3101511252","https://openalex.org/W3107908039","https://openalex.org/W3125832933","https://openalex.org/W4205512329","https://openalex.org/W4206292736","https://openalex.org/W4235903093","https://openalex.org/W4281974386","https://openalex.org/W4292691288","https://openalex.org/W4293344229","https://openalex.org/W4307887253","https://openalex.org/W4315630763","https://openalex.org/W4319953074","https://openalex.org/W4362661237","https://openalex.org/W4379518563","https://openalex.org/W4387674103","https://openalex.org/W4406221719","https://openalex.org/W6910575601","https://openalex.org/W6949442895"],"related_works":["https://openalex.org/W134217928","https://openalex.org/W3204019825","https://openalex.org/W2010145286","https://openalex.org/W2133376498","https://openalex.org/W2912039166","https://openalex.org/W1999652909","https://openalex.org/W2068351696","https://openalex.org/W2245550411","https://openalex.org/W2210312992","https://openalex.org/W2013673681"],"abstract_inverted_index":{"There":[0],"are":[1,8,28],"many":[2],"different":[3,42,86,117],"probabilistic":[4,14,26,59,78,94,108,118,165],"programming":[5,60,72,95,119],"languages":[6,43,87,176],"that":[7,77,110,122,132,155],"specialized":[9],"to":[10,31,37,69,83,113,159],"specific":[11],"kinds":[12],"of":[13,92,147,174],"programs.":[15,47],"From":[16],"a":[17,53,98,107,124,139],"usability":[18],"and":[19,39,130,141,151,167,172],"scalability":[20],"perspective,":[21],"this":[22,102],"is":[23],"undesirable:":[24],"today,":[25],"programmers":[27,66,79,112,158],"forced":[29],"up-front":[30],"decide":[32],"which":[33],"language":[34],"they":[35],"want":[36],"use":[38],"cannot":[40],"mix-and-match":[41],"for":[44,55,58,73,88,143],"handling":[45],"heterogeneous":[46,93,164],"To":[48],"rectify":[49],"this,":[50],"we":[51,75,104],"seek":[52],"foundation":[54],"sound":[56],"interoperability":[57],"languages:":[61,120],"just":[62],"as":[63],"today\u2019s":[64],"Python":[65],"can":[67],"resort":[68],"low-level":[70],"C":[71],"performance,":[74],"argue":[76],"should":[80],"be":[81],"able":[82],"freely":[84],"mix":[85],"meeting":[89],"the":[90,170],"demands":[91],"environments.":[96],"As":[97],"first":[99],"step":[100],"towards":[101],"goal,":[103],"introduce":[105],"MultiPPL,":[106,144],"multi-language":[109],"enables":[111,157],"interoperate":[114],"between":[115],"two":[116,175],"one":[121,131],"leverages":[123],"high-performance":[125],"exact":[126],"discrete":[127],"inference":[128,149,161],"strategy,":[129],"uses":[133],"approximate":[134],"importance":[135],"sampling.":[136],"We":[137],"give":[138],"syntax":[140],"semantics":[142],"prove":[145],"soundness":[146],"its":[148],"algorithm,":[150],"provide":[152],"empirical":[153],"evidence":[154],"it":[156],"perform":[160],"on":[162],"complex":[163],"programs":[166],"flexibly":[168],"exploits":[169],"strengths":[171],"weaknesses":[173],"simultaneously.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}