{"id":"https://openalex.org/W2966091573","doi":"https://doi.org/10.1145/3341702","title":"From high-level inference algorithms to efficient code","display_name":"From high-level inference algorithms to efficient code","publication_year":2019,"publication_date":"2019-07-26","ids":{"openalex":"https://openalex.org/W2966091573","doi":"https://doi.org/10.1145/3341702","mag":"2966091573"},"language":"en","primary_location":{"id":"doi:10.1145/3341702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341702","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/3341702","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009804384","display_name":"Rajan Walia","orcid":null},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rajan Walia","raw_affiliation_strings":["Indiana University, USA"],"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062797994","display_name":"P. J. Narayanan","orcid":"https://orcid.org/0000-0002-7164-4917"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Praveen Narayanan","raw_affiliation_strings":["Indiana University, USA"],"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074007281","display_name":"Jacques Carette","orcid":"https://orcid.org/0000-0001-8993-9804"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jacques Carette","raw_affiliation_strings":["McMaster University, Canada"],"affiliations":[{"raw_affiliation_string":"McMaster University, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043677781","display_name":"Sam Tobin-Hochstadt","orcid":"https://orcid.org/0000-0003-1302-6499"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Tobin-Hochstadt","raw_affiliation_strings":["Indiana University, USA"],"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021546193","display_name":"Chung-chieh Shan","orcid":"https://orcid.org/0000-0002-0339-6405"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chung-chieh Shan","raw_affiliation_strings":["Indiana University, USA"],"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5009804384"],"corresponding_institution_ids":["https://openalex.org/I592451"],"apc_list":null,"apc_paid":null,"fwci":0.7225,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78698801,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"3","issue":"ICFP","first_page":"1","last_page":"30"},"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.9969000220298767,"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.9969000220298767,"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/T11875","display_name":"Statistics Education and Methodologies","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9872999787330627,"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/computer-science","display_name":"Computer science","score":0.7954046130180359},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6755501627922058},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6384481191635132},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47873207926750183},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4739159047603607},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45843440294265747},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4510398209095001},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40218114852905273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.262762188911438}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7954046130180359},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6755501627922058},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6384481191635132},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47873207926750183},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4739159047603607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45843440294265747},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4510398209095001},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40218114852905273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.262762188911438},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3341702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341702","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/3341702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341702","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":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G2103007041","display_name":null,"funder_award_id":"CNS-0723054","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2266038905","display_name":null,"funder_award_id":"METACyt","funder_id":"https://openalex.org/F4320307758","funder_display_name":"Eli Lilly and Company"},{"id":"https://openalex.org/G2503523898","display_name":null,"funder_award_id":"FA8750-14-2-0007","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G3111106428","display_name":null,"funder_award_id":"723054","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4084077383","display_name":null,"funder_award_id":"1763922","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G611269308","display_name":"MRI: Acquisition of PolarGrid: Cyberinfrastructure for Polar Science","funder_award_id":"0723054","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"},{"id":"https://openalex.org/F4320307758","display_name":"Eli Lilly and Company","ror":"https://ror.org/01qat3289"},{"id":"https://openalex.org/F4320309409","display_name":"Lilly Endowment","ror":"https://ror.org/00cpsd622"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2966091573.pdf","grobid_xml":"https://content.openalex.org/works/W2966091573.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W68436435","https://openalex.org/W342302233","https://openalex.org/W1479979375","https://openalex.org/W1489119587","https://openalex.org/W1496450597","https://openalex.org/W1511986666","https://openalex.org/W1517555081","https://openalex.org/W1561218590","https://openalex.org/W1669437150","https://openalex.org/W1824971879","https://openalex.org/W1831716037","https://openalex.org/W1844453107","https://openalex.org/W1859283820","https://openalex.org/W1880262756","https://openalex.org/W1960881728","https://openalex.org/W1974001776","https://openalex.org/W1977049875","https://openalex.org/W2001082470","https://openalex.org/W2004216344","https://openalex.org/W2022852240","https://openalex.org/W2033765726","https://openalex.org/W2050509196","https://openalex.org/W2064387721","https://openalex.org/W2071187610","https://openalex.org/W2071988465","https://openalex.org/W2073904768","https://openalex.org/W2078739175","https://openalex.org/W2083875149","https://openalex.org/W2089656010","https://openalex.org/W2096152098","https://openalex.org/W2107272354","https://openalex.org/W2112820511","https://openalex.org/W2119829020","https://openalex.org/W2126653228","https://openalex.org/W2129728285","https://openalex.org/W2162898443","https://openalex.org/W2167116921","https://openalex.org/W2185558310","https://openalex.org/W2191830430","https://openalex.org/W2234140215","https://openalex.org/W2293632542","https://openalex.org/W2295402490","https://openalex.org/W2395654200","https://openalex.org/W2401148164","https://openalex.org/W2478027467","https://openalex.org/W2494200839","https://openalex.org/W2528996685","https://openalex.org/W2565964471","https://openalex.org/W2577537660","https://openalex.org/W2595803793","https://openalex.org/W2624999081","https://openalex.org/W2753817393","https://openalex.org/W2963977107","https://openalex.org/W2964277562","https://openalex.org/W3083113686","https://openalex.org/W3103202110","https://openalex.org/W4230900352","https://openalex.org/W4295660562"],"related_works":["https://openalex.org/W3096456556","https://openalex.org/W4240253816","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W2171648479","https://openalex.org/W2132806979","https://openalex.org/W1713081424","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W188282463"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1],"languages":[2],"are":[3,49,59],"valuable":[4],"because":[5],"they":[6],"allow":[7],"domain":[8],"experts":[9],"to":[10,156,161],"express":[11,120],"probabilistic":[12,33,114,138],"models":[13],"and":[14,29,46,73,87,118,154,160,163],"inference":[15,34,123],"algorithms":[16,35,50,76,124],"without":[17],"worrying":[18],"about":[19],"irrelevant":[20],"details.":[21],"However,":[22],"for":[23],"decades":[24],"there":[25],"remained":[26],"an":[27],"important":[28],"popular":[30],"class":[31],"of":[32,98,151],"whose":[36,51,62],"efficient":[37],"implementation":[38],"required":[39],"manual":[40,175],"low-level":[41],"coding":[42],"that":[43,58,68,116,135],"is":[44,64,69,172],"tedious":[45],"error-prone.":[47],"They":[48],"idiomatic":[52],"expression":[53],"requires":[54,82,101],"random":[55],"array":[56],"variables":[57,86],"latent":[60,85],"or":[61],"likelihood":[63],"conjugate":[65],".":[66],"Although":[67],"how":[70,113],"practitioners":[71],"communicate":[72],"compose":[74],"these":[75,121],"on":[77],"paper,":[78],"executing":[79],"such":[80],"expressions":[81],"eliminating":[83],"the":[84,89,96,158,165],"recognizing":[88],"conjugacy":[90],"by":[91,105],"symbolic":[92],"mathematics.":[93],"Moreover,":[94],"matching":[95],"performance":[97,171],"handwritten":[99],"code":[100,166],"speeding":[102],"up":[103],"loops":[104],"more":[106],"than":[107],"a":[108],"constant":[109],"factor.":[110],"We":[111,131,146],"show":[112],"programs":[115,139],"directly":[117],"concisely":[119],"desired":[122],"can":[125],"be":[126],"compiled":[127],"while":[128],"maintaining":[129],"efficiency.":[130],"introduce":[132],"new":[133],"transformations":[134],"turn":[136],"high-level":[137],"with":[140,174],"arrays":[141],"into":[142],"pure":[143],"loop":[144],"code.":[145],"then":[147],"make":[148],"great":[149],"use":[150],"domain-specific":[152],"invariants":[153],"norms":[155],"optimize":[157],"code,":[159],"specialize":[162],"JIT-compile":[164],"per":[167],"execution.":[168],"The":[169],"resulting":[170],"competitive":[173],"implementations.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}