{"id":"https://openalex.org/W4399851487","doi":"https://doi.org/10.1145/3656448","title":"Compiling Probabilistic Programs for Variable Elimination with Information Flow","display_name":"Compiling Probabilistic Programs for Variable Elimination with Information Flow","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851487","doi":"https://doi.org/10.1145/3656448"},"language":"en","primary_location":{"id":"doi:10.1145/3656448","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656448","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656448","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://dl.acm.org/doi/pdf/10.1145/3656448","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100671788","display_name":"Jianlin Li","orcid":"https://orcid.org/0000-0001-7371-3034"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jianlin Li","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103101786","display_name":"Eric Wang","orcid":"https://orcid.org/0009-0000-0865-8964"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eric Wang","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100643391","display_name":"Yizhou Zhang","orcid":"https://orcid.org/0000-0002-8206-4694"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yizhou Zhang","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100671788"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":1.8185,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86916232,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"8","issue":"PLDI","first_page":"1755","last_page":"1780"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6400788426399231},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5954325795173645},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5549366474151611},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5379930138587952},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3293660283088684},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23658892512321472},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1723175048828125},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07585209608078003}],"concepts":[{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6400788426399231},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5954325795173645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5549366474151611},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5379930138587952},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3293660283088684},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23658892512321472},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1723175048828125},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07585209608078003},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656448","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656448","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656448","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/3656448","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656448","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656448","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":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399851487.pdf"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W1496450597","https://openalex.org/W1513873506","https://openalex.org/W1519566437","https://openalex.org/W1535430927","https://openalex.org/W1561218590","https://openalex.org/W1882297107","https://openalex.org/W1977764760","https://openalex.org/W1999336811","https://openalex.org/W2045812729","https://openalex.org/W2047706513","https://openalex.org/W2059448777","https://openalex.org/W2062818807","https://openalex.org/W2066486177","https://openalex.org/W2067012475","https://openalex.org/W2105594594","https://openalex.org/W2122049982","https://openalex.org/W2129278597","https://openalex.org/W2135394066","https://openalex.org/W2136296832","https://openalex.org/W2155049725","https://openalex.org/W2158126684","https://openalex.org/W2169898528","https://openalex.org/W2206718322","https://openalex.org/W2395654200","https://openalex.org/W2494200839","https://openalex.org/W2573614896","https://openalex.org/W2577537660","https://openalex.org/W2597297629","https://openalex.org/W2767781532","https://openalex.org/W2799208700","https://openalex.org/W2897613819","https://openalex.org/W2900404128","https://openalex.org/W2912723978","https://openalex.org/W2912798479","https://openalex.org/W2926374695","https://openalex.org/W2962835979","https://openalex.org/W2966091573","https://openalex.org/W2968479890","https://openalex.org/W2997206660","https://openalex.org/W3022934173","https://openalex.org/W3033339947","https://openalex.org/W3034025806","https://openalex.org/W3122935293","https://openalex.org/W3132251092","https://openalex.org/W3159836140","https://openalex.org/W3171599899","https://openalex.org/W3173567886","https://openalex.org/W3173741849","https://openalex.org/W3176151089","https://openalex.org/W3193902563","https://openalex.org/W4205512329","https://openalex.org/W4206292736","https://openalex.org/W4250466736","https://openalex.org/W4250551189","https://openalex.org/W4292691288","https://openalex.org/W4307887253","https://openalex.org/W4315630815","https://openalex.org/W4361191913","https://openalex.org/W4379518563","https://openalex.org/W4379536898","https://openalex.org/W6949061604"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W2079753464"],"abstract_inverted_index":{"A":[0,69],"key":[1],"promise":[2],"of":[3,90,98,156,170,178,191,198,215],"probabilistic":[4,24,58,72,83,179],"programming":[5,16,25],"is":[6],"the":[7,19,105,123,136,149,154,157,174,189],"ability":[8],"to":[9,31,39,51,81,184],"specify":[10],"rich":[11],"models":[12,146],"using":[13,75],"an":[14,49],"expressive":[15,20],"language.":[17],"However,":[18],"power":[21],"that":[22,36,128,135,148],"makes":[23],"languages":[26],"enticing":[27],"also":[28],"poses":[29],"challenges":[30],"inference,":[32],"so":[33,35],"much":[34],"specialized":[37],"approaches":[38],"inference":[40,56,158],"ban":[41],"language":[42,252],"features":[43],"such":[44],"as":[45],"recursion.":[46],"We":[47,121],"present":[48],"approach":[50],"variable":[52,192],"elimination":[53],"and":[54,65,85,147,187,238],"marginal":[55],"for":[57,144],"programs":[59,100,138],"featuring":[60],"bounded":[61],"recursion,":[62],"discrete":[63],"distributions,":[64],"sometimes":[66],"continuous":[67],"distributions.":[68],"compiler":[70,106],"eliminates":[71],"side":[73],"effects,":[74],"a":[76,95,109,161,166],"novel":[77,175],"information-flow":[78,171],"type":[79],"system":[80],"factorize":[82],"computations":[84],"hoist":[86],"independent":[87],"subcomputations":[88],"out":[89],"sums":[91],"or":[92],"integrals.":[93],"For":[94],"broad":[96],"class":[97],"recursive":[99,145],"with":[101,153],"dynamically":[102],"recurring":[103],"substructure,":[104],"effectively":[107],"decomposes":[108],"global":[110],"marginal-inference":[111],"problem,":[112],"which":[113],"may":[114],"otherwise":[115],"be":[116],"intractable,":[117],"into":[118],"tractable":[119],"subproblems.":[120],"prove":[122,185],"compilation":[124,150],"correct":[125],"by":[126],"showing":[127],"it":[129,183],"preserves":[130],"denotational":[131],"semantics.":[132],"Experiments":[133],"show":[134],"compiled":[137],"subsume":[139],"widely":[140],"used":[141],"PTIME":[142],"algorithms":[143],"time":[151],"scales":[152],"size":[155],"problems.":[159],"As":[160],"separate":[162],"contribution,":[163],"we":[164,181],"develop":[165],"denotational,":[167],"logical-relations":[168],"model":[169],"types":[172],"in":[173],"measure-theoretic":[176],"setting":[177],"programming;":[180],"use":[182],"noninterference":[186],"consequently":[188],"correctness":[190],"elimination.":[193],"CCS":[194],"Concepts:":[195],"\u2022":[196,213,226,236],"Theory":[197],"computation":[199],"<mml:math":[200,217,229,241],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[201,218,230,242],"display=\"inline\">":[202,219,231,243],"<mml:mo>\u2192</mml:mo>":[203,220,232,244],"</mml:math>":[204,221,233,245],"Probabilistic":[205],"computation;":[206,223],"Program":[207,209],"semantics;":[208],"reasoning;":[210],"Type":[211],"theory;":[212],"Mathematics":[214],"computing":[216],"Bayesian":[222],"Statistical":[224],"software;":[225],"Computing":[227],"methodologies":[228],"Machine":[234],"learning;":[235],"Software":[237],"its":[239],"engineering":[240],"Compilers;":[246],"Functional":[247],"languages;":[248],"Language":[249],"features;":[250],"Formal":[251],"definitions":[253],".":[254]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}