{"id":"https://openalex.org/W2048027175","doi":"https://doi.org/10.1145/2737924.2737982","title":"Efficient synthesis of probabilistic programs","display_name":"Efficient synthesis of probabilistic programs","publication_year":2015,"publication_date":"2015-06-03","ids":{"openalex":"https://openalex.org/W2048027175","doi":"https://doi.org/10.1145/2737924.2737982","mag":"2048027175"},"language":"en","primary_location":{"id":"doi:10.1145/2737924.2737982","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737924.2737982","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111937381","display_name":"Aditya V. Nori","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]},{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["IN","US"],"is_corresponding":true,"raw_author_name":"Aditya V. Nori","raw_affiliation_strings":["Microsoft Research, India","Microsoft Research India#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research India#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049332971","display_name":"Sherjil Ozair","orcid":null},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sherjil Ozair","raw_affiliation_strings":["IIT Delhi, India"],"affiliations":[{"raw_affiliation_string":"IIT Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"https://orcid.org/0000-0002-1400-7065"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]},{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Sriram K. Rajamani","raw_affiliation_strings":["Microsoft Research, India","Microsoft Research India#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research India#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035470346","display_name":"Deepak Vijaykeerthy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]},{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Deepak Vijaykeerthy","raw_affiliation_strings":["Microsoft Research, India","Microsoft Research India#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research India#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5111937381"],"corresponding_institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"],"apc_list":null,"apc_paid":null,"fwci":6.2276,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.96432671,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"208","last_page":"217"},"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.9990000128746033,"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.9990000128746033,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9869999885559082,"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/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.9868000149726868,"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.7800571918487549},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7514240741729736},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.7087293863296509},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6172918677330017},{"id":"https://openalex.org/keywords/markov-chain-monte-carlo","display_name":"Markov chain Monte Carlo","score":0.5961849689483643},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5315900444984436},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.50440514087677},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47213178873062134},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47049829363822937},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.436037540435791},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24270325899124146},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21908843517303467},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20259228348731995},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.1709691286087036}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7800571918487549},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7514240741729736},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.7087293863296509},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6172918677330017},{"id":"https://openalex.org/C111350023","wikidata":"https://www.wikidata.org/wiki/Q1191869","display_name":"Markov chain Monte Carlo","level":3,"score":0.5961849689483643},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5315900444984436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.50440514087677},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47213178873062134},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47049829363822937},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.436037540435791},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24270325899124146},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21908843517303467},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20259228348731995},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.1709691286087036}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2737924.2737982","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737924.2737982","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W156498718","https://openalex.org/W184493040","https://openalex.org/W398859631","https://openalex.org/W1760941220","https://openalex.org/W1890754682","https://openalex.org/W1973831620","https://openalex.org/W1997199152","https://openalex.org/W2024355065","https://openalex.org/W2045656233","https://openalex.org/W2076963649","https://openalex.org/W2101432564","https://openalex.org/W2105268242","https://openalex.org/W2108207895","https://openalex.org/W2119008358","https://openalex.org/W2131257014","https://openalex.org/W2153975459","https://openalex.org/W2159687189","https://openalex.org/W2169792341","https://openalex.org/W2169898528","https://openalex.org/W2294628582","https://openalex.org/W2295266283","https://openalex.org/W2298292997","https://openalex.org/W2340462378","https://openalex.org/W2406252837","https://openalex.org/W2560674852","https://openalex.org/W2602024037","https://openalex.org/W2612037075","https://openalex.org/W2947000318","https://openalex.org/W2962725091","https://openalex.org/W2963977107","https://openalex.org/W3140968660","https://openalex.org/W4245234767","https://openalex.org/W4248681815"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W2373478030","https://openalex.org/W2378679551","https://openalex.org/W3149739944","https://openalex.org/W2379153735","https://openalex.org/W2392363776","https://openalex.org/W2063051341","https://openalex.org/W2761958682","https://openalex.org/W2791689149"],"abstract_inverted_index":{"We":[0,24,126,176],"show":[1],"how":[2],"to":[3,17,39,50,80,131,152,194],"automatically":[4,195],"synthesize":[5,196],"probabilistic":[6,95,109,200],"programs":[7,110,161],"from":[8,30],"real-world":[9,199],"datasets.":[10],"Such":[11],"a":[12,18,41,94,119,163,182],"synthesis":[13,31,78],"is":[14,98,111,192],"feasible":[15],"due":[16],"combination":[19],"of":[20,28,32,57,118,136,143,147,156,159,165],"two":[21],"techniques:":[22],"(1)":[23],"borrow":[25],"the":[26,37,48,55,58,63,82,85,102,113,157],"idea":[27],"``sketching''":[29],"deterministic":[33],"programs,":[34],"and":[35,61,66,167,186],"allow":[36],"programmer":[38,49],"write":[40],"skeleton":[42],"program":[43,60,88,96,121],"with":[44,87,101],"``holes''.":[45],"Sketches":[46],"enable":[47],"communicate":[51],"domain-specific":[52],"intuition":[53],"about":[54],"structure":[56],"desired":[59],"prune":[62],"search":[64,174],"space,":[65],"(2)":[67],"we":[68],"design":[69],"an":[70,128],"efficient":[71],"Markov":[72,169],"Chain":[73,170],"Monte":[74,171],"Carlo":[75,172],"(MCMC)":[76],"based":[77,173],"algorithm":[79,91,180],"instantiate":[81],"holes":[83],"in":[84,107,181],"sketch":[86],"fragments.":[89],"Our":[90],"efficiently":[92],"synthesizes":[93],"that":[97],"most":[99],"consistent":[100],"data.":[103],"A":[104],"core":[105],"difficulty":[106],"synthesizing":[108],"computing":[112],"likelihood":[114,158],"L(P":[115],"|":[116],"D)":[117],"candidate":[120,160],"P":[122],"generating":[123],"data":[124],"D.":[125],"propose":[127],"approximate":[129],"method":[130],"compute":[132],"likelihoods":[133],"using":[134],"mixtures":[135],"Gaussian":[137],"distributions,":[138],"thereby":[139],"avoiding":[140],"expensive":[141],"computation":[142],"integrals.":[144],"The":[145],"use":[146],"such":[148],"approximations":[149],"enables":[150],"us":[151],"speed":[153],"up":[154],"evaluation":[155],"by":[162],"factor":[164],"1000,":[166],"makes":[168],"feasible.":[175],"have":[177],"implemented":[178],"our":[179,187],"tool":[183],"called":[184],"PSKETCH,":[185],"results":[188],"are":[189],"encouraging":[190],"PSKETCH":[191],"able":[193],"16":[197],"non-trivial":[198],"programs.":[201]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":7}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}