{"id":"https://openalex.org/W2799093299","doi":"https://doi.org/10.1145/3192366.3192399","title":"Incremental inference for probabilistic programs","display_name":"Incremental inference for probabilistic programs","publication_year":2018,"publication_date":"2018-06-11","ids":{"openalex":"https://openalex.org/W2799093299","doi":"https://doi.org/10.1145/3192366.3192399","mag":"2799093299"},"language":"en","primary_location":{"id":"doi:10.1145/3192366.3192399","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3192366.3192399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th 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/A5017388818","display_name":"Marco Cusumano-Towner","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marco Cusumano-Towner","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074409480","display_name":"Benjamin Bichsel","orcid":"https://orcid.org/0000-0003-3283-7908"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Benjamin Bichsel","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045044745","display_name":"Timon Gehr","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Timon Gehr","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069901599","display_name":"Martin Vechev","orcid":"https://orcid.org/0000-0002-0054-9568"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martin Vechev","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068340465","display_name":"Vikash K. Mansinghka","orcid":"https://orcid.org/0000-0003-2507-0833"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vikash K. Mansinghka","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5017388818"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":1.6301,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8742549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"571","last_page":"585"},"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.9983999729156494,"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.9983999729156494,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9965000152587891,"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.9848999977111816,"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.7836396098136902},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7264642715454102},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7009227871894836},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.690087080001831},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6066165566444397},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4760743975639343},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.46247828006744385},{"id":"https://openalex.org/keywords/statistical-inference","display_name":"Statistical inference","score":0.4160791337490082},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41583842039108276},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.41028547286987305},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3290693163871765},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29186391830444336},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16426336765289307},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09483018517494202}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7836396098136902},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7264642715454102},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7009227871894836},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.690087080001831},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6066165566444397},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4760743975639343},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.46247828006744385},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.4160791337490082},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41583842039108276},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.41028547286987305},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3290693163871765},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29186391830444336},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16426336765289307},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09483018517494202},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3192366.3192399","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3192366.3192399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1000491213","display_name":null,"funder_award_id":"NDSEG","funder_id":"https://openalex.org/F4320306132","funder_display_name":"American Society for Engineering Education"}],"funders":[{"id":"https://openalex.org/F4320306132","display_name":"American Society for Engineering Education","ror":"https://ror.org/03ac64295"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W155204799","https://openalex.org/W1484863582","https://openalex.org/W1503398984","https://openalex.org/W1513873506","https://openalex.org/W1539641175","https://openalex.org/W1570823407","https://openalex.org/W1598097103","https://openalex.org/W1844453107","https://openalex.org/W1895975266","https://openalex.org/W1980452149","https://openalex.org/W1999432334","https://openalex.org/W2028423097","https://openalex.org/W2042296034","https://openalex.org/W2048027175","https://openalex.org/W2085738358","https://openalex.org/W2112820511","https://openalex.org/W2123748412","https://openalex.org/W2137307912","https://openalex.org/W2140652427","https://openalex.org/W2147357149","https://openalex.org/W2153509445","https://openalex.org/W2158637909","https://openalex.org/W2169792341","https://openalex.org/W2185558310","https://openalex.org/W2319993724","https://openalex.org/W2336416123","https://openalex.org/W2395654200","https://openalex.org/W2406252837","https://openalex.org/W2471980869","https://openalex.org/W2486290061","https://openalex.org/W2494200839","https://openalex.org/W2521273508","https://openalex.org/W2528996685","https://openalex.org/W2536379393","https://openalex.org/W2577537660","https://openalex.org/W2581275558","https://openalex.org/W2608215374","https://openalex.org/W2745919252","https://openalex.org/W2746496408","https://openalex.org/W2766048142","https://openalex.org/W2913846715","https://openalex.org/W2951841654","https://openalex.org/W2952125132","https://openalex.org/W2963172700","https://openalex.org/W3015970086","https://openalex.org/W4235951092"],"related_works":["https://openalex.org/W2061122711","https://openalex.org/W137830373","https://openalex.org/W2163814182","https://openalex.org/W1745811811","https://openalex.org/W3000984192","https://openalex.org/W2136715810","https://openalex.org/W2103073163","https://openalex.org/W4286952477","https://openalex.org/W4321348134","https://openalex.org/W4387929287"],"abstract_inverted_index":{"We":[0,119],"present":[1],"a":[2,24,30,56,102,108],"novel":[3],"approach":[4,72,122],"for":[5,23,29,39],"approximate":[6],"sampling":[7,37],"in":[8,46,73,123,151],"probabilistic":[9,47,117,126],"programs":[10],"based":[11],"on":[12,154],"incremental":[13,44,142],"inference.":[14],"The":[15],"key":[16],"idea":[17],"is":[18],"to":[19,90,100,133,146],"adapt":[20],"the":[21,35,53,74,86,91,111,115,137],"samples":[22,28,61,65,88],"program":[25,31,40,138],"P":[26,63,158],"into":[27,64],"Q,":[32,67,95],"thereby":[33],"avoiding":[34],"expensive":[36],"computation":[38],"Q.":[41],"To":[42],"enable":[43],"inference":[45,143],"programming,":[48],"our":[49,121],"work:":[50],"(i)":[51],"introduces":[52],"concept":[54],"of":[55,66,76,114,148],"trace":[57,104],"translator":[58,105],"which":[59,81],"adapts":[60],"from":[62,140],"(ii)":[68],"phrases":[69],"this":[70],"translation":[71],"context":[75],"sequential":[77],"Monte":[78],"Carlo":[79],"(SMC),":[80],"gives":[82],"theoretical":[83],"guarantees":[84],"that":[85,135],"adapted":[87],"converge":[89],"distribution":[92],"induced":[93],"by":[94,106],"and":[96,129,159],"(iii)":[97],"shows":[98],"how":[99,155],"obtain":[101],"concrete":[103],"establishing":[107],"correspondence":[109],"between":[110],"random":[112],"choices":[113],"two":[116,124],"programs.":[118],"implemented":[120],"different":[125],"programming":[127],"systems":[128],"showed":[130],"that,":[131],"compared":[132],"methods":[134],"sample":[136],"Q":[139,160],"scratch,":[141],"can":[144],"lead":[145],"orders":[147],"magnitude":[149],"increase":[150],"efficiency,":[152],"depending":[153],"closely":[156],"related":[157],"are.":[161]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2}],"updated_date":"2026-03-01T08:55:55.761014","created_date":"2025-10-10T00:00:00"}