{"id":"https://openalex.org/W4399872372","doi":"https://doi.org/10.1145/3656412","title":"Bit Blasting Probabilistic Programs","display_name":"Bit Blasting Probabilistic Programs","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399872372","doi":"https://doi.org/10.1145/3656412"},"language":"en","primary_location":{"id":"doi:10.1145/3656412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656412","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656412","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/3656412","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099309891","display_name":"Poorva Garg","orcid":"https://orcid.org/0000-0003-4753-3974"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Poorva Garg","raw_affiliation_strings":["University of California, Los Angeles, USA"],"raw_orcid":"https://orcid.org/0000-0003-4753-3974","affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009539513","display_name":"Guy Van den Broeck","orcid":"https://orcid.org/0000-0003-3434-2503"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy Van den Broeck","raw_affiliation_strings":["University of California, Los Angeles, USA"],"raw_orcid":"https://orcid.org/0000-0003-3434-2503","affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014067492","display_name":"Todd Millstein","orcid":"https://orcid.org/0000-0002-2031-1514"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd Millstein","raw_affiliation_strings":["University of California, Los Angeles, USA"],"raw_orcid":"https://orcid.org/0000-0002-2031-1514","affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5099309891"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":3.5448,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.93748706,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"8","issue":"PLDI","first_page":"865","last_page":"888"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9962999820709229,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9954000115394592,"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/rock-blasting","display_name":"Rock blasting","score":0.7360105514526367},{"id":"https://openalex.org/keywords/bit","display_name":"Bit (key)","score":0.6631007790565491},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5903242230415344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5559843182563782},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23821499943733215},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2186344861984253},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.19668152928352356},{"id":"https://openalex.org/keywords/mining-engineering","display_name":"Mining engineering","score":0.14136159420013428}],"concepts":[{"id":"https://openalex.org/C50933969","wikidata":"https://www.wikidata.org/wiki/Q2891954","display_name":"Rock blasting","level":2,"score":0.7360105514526367},{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.6631007790565491},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5903242230415344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5559843182563782},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23821499943733215},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2186344861984253},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.19668152928352356},{"id":"https://openalex.org/C16674752","wikidata":"https://www.wikidata.org/wiki/Q1370637","display_name":"Mining engineering","level":1,"score":0.14136159420013428}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656412","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656412","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/3656412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656412","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656412","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/G1125209650","display_name":null,"funder_award_id":"#IIS-1943641, #IIS-1956441, #CCF-1837129","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":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399872372.pdf"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W322312141","https://openalex.org/W1493856275","https://openalex.org/W1527197079","https://openalex.org/W1597657898","https://openalex.org/W2062818807","https://openalex.org/W2066486177","https://openalex.org/W2102506621","https://openalex.org/W2111142966","https://openalex.org/W2120575449","https://openalex.org/W2122919970","https://openalex.org/W2133819216","https://openalex.org/W2155049725","https://openalex.org/W2163949730","https://openalex.org/W2243651912","https://openalex.org/W2271374481","https://openalex.org/W2339321571","https://openalex.org/W2395654200","https://openalex.org/W2494200839","https://openalex.org/W2577537660","https://openalex.org/W2591957553","https://openalex.org/W2608239929","https://openalex.org/W2762833920","https://openalex.org/W2808311877","https://openalex.org/W2914304175","https://openalex.org/W2926374695","https://openalex.org/W2964097724","https://openalex.org/W3016582770","https://openalex.org/W3101458220","https://openalex.org/W3107908039","https://openalex.org/W3159836140","https://openalex.org/W3173567886","https://openalex.org/W3207720664","https://openalex.org/W4206292736","https://openalex.org/W4226026446","https://openalex.org/W4240317929","https://openalex.org/W4300129738","https://openalex.org/W4384344764","https://openalex.org/W4399872372","https://openalex.org/W6948904476"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2389130112","https://openalex.org/W2359102462","https://openalex.org/W2500867234","https://openalex.org/W2411923897","https://openalex.org/W4234706425","https://openalex.org/W2377205869","https://openalex.org/W4394546135","https://openalex.org/W2394386260"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1,158],"languages":[2],"(PPLs)":[3],"are":[4,26],"an":[5,145],"expressive":[6],"means":[7],"for":[8,43,160],"creating":[9],"and":[10,23,53,148,186],"reasoning":[11],"about":[12],"probabilistic":[13,17,45,106,151,157,173],"models.":[14],"Unfortunately":[15],"hybrid":[16,44,161],"programs":[18,46,162],"that":[19,47,70,84,126,138],"involve":[20],"both":[21],"continuous":[22,51,129],"discrete":[24,56,105,172],"structures":[25],"not":[27],"well":[28],"supported":[29],"by":[30,171],"today\u2019s":[31],"PPLs.":[32],"In":[33],"this":[34],"paper":[35],"we":[36,71,124],"develop":[37],"a":[38,66,78,85,104,136,156],"new":[39],"approximate":[40],"inference":[41,57,188],"algorithm":[42],"first":[48],"discretizes":[49],"the":[50,59,178],"distributions":[52,130],"then":[54],"performs":[55],"on":[58],"resulting":[60],"program.":[61],"The":[62],"key":[63],"novelty":[64],"is":[65],"form":[67],"of":[68,81,87,142,180],"discretization":[69,147],"call":[72],"bit":[73,133,168],"blasting":[74,169],",":[75,165],"which":[76,166],"uses":[77],"binary":[79],"representation":[80],"numbers":[82],"such":[83],"domain":[86],"<mml:math":[88,110],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[89,111],"display=\"inline\"":[90,112],"overflow=\"scroll\">":[91,113],"<mml:msup>":[92],"<mml:mn>2</mml:mn>":[93],"<mml:mi>b</mml:mi>":[94,117],"</mml:msup>":[95],"</mml:math>":[96,119],"discretized":[97],"points":[98],"can":[99,131],"be":[100,132],"succinctly":[101],"represented":[102],"as":[103],"program":[107],"over":[108,144,183],"poly":[109],"<mml:mfenced":[114],"close=\")\"":[115],"open=\"(\">":[116],"</mml:mfenced>":[118],"Boolean":[120],"random":[121],"variables.":[122],"Surprisingly,":[123],"prove":[125],"many":[127],"common":[128],"blasted":[134],"in":[135],"manner":[137],"incurs":[139],"no":[140],"loss":[141],"accuracy":[143],"explicit":[146],"supports":[149],"efficient":[150],"inference.":[152,174],"We":[153,175],"have":[154],"built":[155],"system":[159],"called":[163],"HyBit":[164],"employs":[167],"followed":[170],"empirically":[176],"demonstrate":[177],"benefits":[179],"our":[181],"approach":[182],"existing":[184],"sampling-based":[185],"symbolic":[187],"approaches":[189]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}