{"id":"https://openalex.org/W2471409796","doi":null,"title":"Semantics Sensitive Sampling for Probabilistic Programs","display_name":"Semantics Sensitive Sampling for Probabilistic Programs","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2471409796","mag":"2471409796"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.698.8909","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sf.snu.ac.kr/gil.hur/publications/s3.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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":"https://orcid.org/0000-0002-9481-5539","observed_orcids":["https://orcid.org/0000-0002-9481-5539"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aditya V. Nori","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035382393","display_name":"Chung-Kil Hur","orcid":"https://orcid.org/0000-0002-1656-0913","observed_orcids":["https://orcid.org/0000-0002-1656-0913"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chung-Kil Hur","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1656-0913","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"https://orcid.org/0000-0002-1400-7065","observed_orcids":["https://orcid.org/0000-0002-1400-7065"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sriram K. Rajamani","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1400-7065","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2592,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54550405,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.7182999849319458,"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"}},"topics":[{"id":"https://openalex.org/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.7182999849319458,"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/T10126","display_name":"Logic, programming, and type systems","score":0.19120000302791595,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.05220000073313713,"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-programs","display_name":"probabilistic programs","score":0.9330000281333923},{"id":"https://openalex.org/keywords/s3","display_name":"S3","score":0.6700000166893005},{"id":"https://openalex.org/keywords/markov-chain-monte-carlo","display_name":"Markov chain Monte Carlo","score":0.7509999871253967},{"id":"https://openalex.org/keywords/metropolis-hastings-algorithm","display_name":"Metropolis-Hastings algorithm","score":0.9570000171661377},{"id":"https://openalex.org/keywords/conditional-sampling","display_name":"conditional sampling","score":0.5759999752044678},{"id":"https://openalex.org/keywords/straight-line-programs","display_name":"straight-line programs","score":0.7979999780654907},{"id":"https://openalex.org/keywords/program-paths","display_name":"program paths","score":0.7419999837875366},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.44699999690055847},{"id":"https://openalex.org/keywords/importance-sampling","display_name":"importance sampling","score":0.44200000166893005},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"program semantics","score":0.39899998903274536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7465276718139648},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6730953454971313},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5429939031600952},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5116346478462219},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5073418021202087},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4972238838672638},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.49378499388694763},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.44599276781082153},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43783336877822876},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.373590350151062},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3712252378463745},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21504002809524536},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"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/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.698.8909","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sf.snu.ac.kr/gil.hur/publications/s3.pdf","raw_type":"text"},{"id":"mag:2471409796","doi":null,"is_oa":false,"landing_page_url":"http://ropas.snu.ac.kr/~gil.hur/publications/s3.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W155204799","https://openalex.org/W156498718","https://openalex.org/W1480909796","https://openalex.org/W1779461120","https://openalex.org/W1797876566","https://openalex.org/W1890754682","https://openalex.org/W2141524150","https://openalex.org/W2153975459","https://openalex.org/W2169898528","https://openalex.org/W2185558310","https://openalex.org/W2298292997","https://openalex.org/W2301741851","https://openalex.org/W2340462378","https://openalex.org/W2478027467"],"related_works":["https://openalex.org/W2775049209","https://openalex.org/W155204799","https://openalex.org/W2271374481","https://openalex.org/W2406252837","https://openalex.org/W7112399836","https://openalex.org/W7096292390","https://openalex.org/W3119170727","https://openalex.org/W4249202457","https://openalex.org/W2930835146","https://openalex.org/W4390410388"],"abstract_inverted_index":{"We":[0,205,219],"present":[1],"a":[2,49,104,135,199],"new":[3],"semantics":[4,208],"sensitive":[5],"sampling":[6,34,149,190,233],"algorithm":[7,81],"for":[8,141,201],"probabilistic":[9,132,210],"pro-grams,":[10],"which":[11],"are":[12,32],"\u201cusual":[13],"\u201d":[14],"programs":[15,31,47,158,211],"endowed":[16],"with":[17,48,108,180,230],"statements":[18,111],"to":[19,75,102,121,125,197],"sample":[20],"from":[21,89,165,189],"distributions,":[22],"and":[23,55,65,146,212,227],"condition":[24],"executions":[25,122,167],"based":[26,234],"on":[27],"observations.":[28,127],"Since":[29],"probabilis-tic":[30],"executable,":[33],"can":[35,168],"be":[36,169],"performed":[37],"by":[38],"repeatedly":[39],"executing":[40],"them.":[41],"However,":[42],"in":[43,73,100],"the":[44,98,115,131,160,173,187,202,207,215,223],"case":[45],"of":[46,52,71,117,137,209,217,225],"large":[50],"number":[51,70],"random":[53,163,182],"vari-ables":[54],"observations,":[56],"naive":[57],"execution":[58],"does":[59],"not":[60],"produce":[61],"high":[62],"quality":[63],"samples,":[64],"it":[66,185,229],"takes":[67],"an":[68,231],"intractable":[69],"samples":[72],"order":[74,101],"perform":[76],"reasonable":[77],"inference.":[78],"Our":[79],"MCMC":[80],"called":[82],"S3":[83,93,129],"tackles":[84],"these":[85],"problems":[86],"using":[87,172],"ideas":[88],"program":[90,107,133,144,153,174,193],"analysis.":[91],"First,":[92],"propagates":[94],"observations":[95],"back":[96],"through":[97],"pro-gram":[99],"obtain":[103],"semantically":[105],"equivalent":[106],"conditional":[109],"sam-ple":[110],"\u2013":[112],"this":[113],"has":[114,159],"effect":[116],"preventing":[118],"rejections":[119],"due":[120],"that":[123,162],"fail":[124],"satisfy":[126],"Next,":[128],"decomposes":[130],"into":[134],"set":[136],"straight-line":[138,152,157,192],"programs,":[139],"one":[140],"every":[142],"valid":[143],"path,":[145],"perform-ing":[147],"Metropolis-Hastings":[148],"over":[150,156,236],"each":[151,181,191],"independently.":[154],"Sampling":[155],"advantage":[161],"choices":[164],"previous":[166],"re-used":[170],"merely":[171],"counter":[175],"(or":[176],"line":[177],"number)":[178],"associated":[179],"choice.":[183],"Finally,":[184],"combines":[186],"results":[188],"(using":[194],"appropriate":[195],"weighting)":[196],"pro-duce":[198],"result":[200],"whole":[203],"program.":[204],"formalize":[206],"rigorously":[213],"prove":[214],"correctness":[216],"S3.":[218],"also":[220],"empirically":[221],"demon-strate":[222],"effectiveness":[224],"S3,":[226],"compare":[228],"importance":[232],"tool":[235],"various":[237],"benchmarks.":[238],"1":[239]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-13T10:08:12.033832","created_date":"2016-07-22T00:00:00"}