{"id":"https://openalex.org/W2048025009","doi":"https://doi.org/10.1145/2491956.2462179","title":"Static analysis for probabilistic programs","display_name":"Static analysis for probabilistic programs","publication_year":2013,"publication_date":"2013-06-11","ids":{"openalex":"https://openalex.org/W2048025009","doi":"https://doi.org/10.1145/2491956.2462179","mag":"2048025009"},"language":"en","primary_location":{"id":"doi:10.1145/2491956.2462179","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491956.2462179","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th 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/A5103106502","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0001-7315-4340"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":["University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044253018","display_name":"Aleksandar Chakarov","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aleksandar Chakarov","raw_affiliation_strings":["University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011543162","display_name":"Sumit Gulwani","orcid":"https://orcid.org/0000-0002-9226-9634"},"institutions":[{"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":["US"],"is_corresponding":false,"raw_author_name":"Sumit Gulwani","raw_affiliation_strings":["Microsoft Research, Redmond, WA, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103106502"],"corresponding_institution_ids":["https://openalex.org/I188538660"],"apc_list":null,"apc_paid":null,"fwci":20.3418,"has_fulltext":false,"cited_by_count":122,"citation_normalized_percentile":{"value":0.99601367,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"447","last_page":"458"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7975286245346069},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7726328372955322},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7518784403800964},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5497317314147949},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5420712828636169},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.528223991394043},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5264359712600708},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5151568651199341},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.49283456802368164},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.49175360798835754},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4643006920814514},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44733038544654846},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35529983043670654},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24772536754608154},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17396661639213562},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17211082577705383},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.10306492447853088}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7975286245346069},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7726328372955322},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7518784403800964},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5497317314147949},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5420712828636169},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.528223991394043},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5264359712600708},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5151568651199341},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.49283456802368164},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.49175360798835754},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4643006920814514},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44733038544654846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35529983043670654},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24772536754608154},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17396661639213562},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17211082577705383},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.10306492447853088},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2491956.2462179","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491956.2462179","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.800000011920929,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W32064870","https://openalex.org/W41007281","https://openalex.org/W88990729","https://openalex.org/W182014611","https://openalex.org/W1510900750","https://openalex.org/W1512921847","https://openalex.org/W1527197079","https://openalex.org/W1545062007","https://openalex.org/W1569248486","https://openalex.org/W1729037535","https://openalex.org/W1734364899","https://openalex.org/W1777846110","https://openalex.org/W1791348790","https://openalex.org/W1862398452","https://openalex.org/W1884784351","https://openalex.org/W1890754682","https://openalex.org/W1975353473","https://openalex.org/W1975447428","https://openalex.org/W1990880047","https://openalex.org/W2013979082","https://openalex.org/W2014894062","https://openalex.org/W2024355065","https://openalex.org/W2029405758","https://openalex.org/W2035720425","https://openalex.org/W2060573639","https://openalex.org/W2067971887","https://openalex.org/W2073787328","https://openalex.org/W2098294295","https://openalex.org/W2104044130","https://openalex.org/W2109426455","https://openalex.org/W2121382061","https://openalex.org/W2130514924","https://openalex.org/W2137536943","https://openalex.org/W2169784622","https://openalex.org/W2273879208","https://openalex.org/W2295349525","https://openalex.org/W2295428206","https://openalex.org/W2797148637","https://openalex.org/W2904900506","https://openalex.org/W2913788705","https://openalex.org/W2952886755","https://openalex.org/W3020882730","https://openalex.org/W3030098241","https://openalex.org/W3101972507","https://openalex.org/W4233556240","https://openalex.org/W4253587022","https://openalex.org/W4289258965","https://openalex.org/W4301347335","https://openalex.org/W6637931962","https://openalex.org/W6639796194","https://openalex.org/W6676538461","https://openalex.org/W6681376487"],"related_works":["https://openalex.org/W2012220159","https://openalex.org/W2138154145","https://openalex.org/W2867457158","https://openalex.org/W2765641823","https://openalex.org/W4297908618","https://openalex.org/W2078498437","https://openalex.org/W3111646971","https://openalex.org/W3186878187","https://openalex.org/W2985048382","https://openalex.org/W1843794072"],"abstract_inverted_index":{"We":[0,52,100,161],"propose":[1],"an":[2,147],"approach":[3,57],"for":[4,75,103,155],"the":[5,39,45,64,85,88,151,156],"static":[6,55],"analysis":[7,56],"of":[8,35,41,47,68,87,97,108,124,153,168],"probabilistic":[9,76,128],"programs":[10,22,37],"that":[11,43,58,74,136,149],"sense,":[12],"manipulate,":[13],"and":[14,30,110,127,177],"control":[15],"based":[16],"on":[17,63,165],"uncertain":[18],"data.":[19],"Examples":[20],"include":[21],"used":[23],"in":[24],"risk":[25],"analysis,":[26],"medical":[27,178],"decision":[28,179],"making":[29,180],"cyber-physical":[31],"systems.":[32],"Correctness":[33],"properties":[34],"such":[36,69,105],"take":[38],"form":[40],"queries":[42,115],"seek":[44],"probabilities":[46],"assertions":[48],"over":[49,118],"program":[50,90,157],"variables.":[51],"present":[53],"a":[54,93,106,122,142,159,166],"provides":[59],"guaranteed":[60],"interval":[61,134,148],"bounds":[62,135],"values":[65],"(assertion":[66],"probabilities)":[67],"queries.":[70],"First,":[71],"we":[72],"observe":[73],"programs,":[77],"it":[78],"is":[79],"possible":[80],"to":[81,145],"conclude":[82],"facts":[83],"about":[84],"behavior":[86],"entire":[89],"by":[91,121],"choosing":[92,104],"finite,":[94],"adequate":[95],"set":[96,107],"its":[98,112],"paths.":[99],"provide":[101],"strategies":[102],"paths":[109],"verifying":[111],"adequacy.":[113],"The":[114],"are":[116],"evaluated":[117],"each":[119],"path":[120,132],"combination":[123],"symbolic":[125],"execution":[126],"volume-bound":[129],"computations.":[130],"Each":[131],"yields":[133],"can":[137],"be":[138],"summed":[139],"up":[140],"with":[141],"\"coverage\"":[143],"bound":[144],"yield":[146],"encloses":[150],"probability":[152],"assertion":[154],"as":[158],"whole.":[160],"demonstrate":[162],"promising":[163],"results":[164],"suite":[167],"benchmarks":[169],"from":[170],"many":[171],"different":[172],"sources":[173],"including":[174],"robotic":[175],"manipulators":[176],"programs.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":15},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":18},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":20},{"year":2013,"cited_by_count":7}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}