{"id":"https://openalex.org/W2107399212","doi":"https://doi.org/10.1145/2594291.2594294","title":"Expressing and verifying probabilistic assertions","display_name":"Expressing and verifying probabilistic assertions","publication_year":2014,"publication_date":"2014-05-13","ids":{"openalex":"https://openalex.org/W2107399212","doi":"https://doi.org/10.1145/2594291.2594294","mag":"2107399212"},"language":"en","primary_location":{"id":"doi:10.1145/2594291.2594294","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594291.2594294","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th 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/A5004782337","display_name":"Adrian Sampson","orcid":"https://orcid.org/0000-0003-0837-8924"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adrian Sampson","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022031348","display_name":"Pavel Panchekha","orcid":"https://orcid.org/0000-0003-2621-3592"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pavel Panchekha","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013212213","display_name":"Todd Mytkowicz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]},{"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":["GB","US"],"is_corresponding":false,"raw_author_name":"Todd Mytkowicz","raw_affiliation_strings":["Microsoft Research","Microsoft research#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft research#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087054368","display_name":"Kathryn S. McKinley","orcid":"https://orcid.org/0000-0002-7188-2501"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]},{"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":["GB","US"],"is_corresponding":false,"raw_author_name":"Kathryn S. McKinley","raw_affiliation_strings":["Microsoft Research","Microsoft research#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft research#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103045316","display_name":"Dan Grossman","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Grossman","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081914923","display_name":"Lu\u00eds Ceze","orcid":"https://orcid.org/0000-0002-1377-6217"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luis Ceze","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5004782337"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":13.862,"has_fulltext":false,"cited_by_count":87,"citation_normalized_percentile":{"value":0.99181655,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.998199999332428,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9979000091552734,"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/correctness","display_name":"Correctness","score":0.925849199295044},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8706259727478027},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8094416856765747},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.6918455362319946},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5763994455337524},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5027923583984375},{"id":"https://openalex.org/keywords/bayesian-network","display_name":"Bayesian network","score":0.5005927085876465},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.5000488758087158},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3693621754646301},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.3676196336746216},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23445731401443481}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.925849199295044},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8706259727478027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8094416856765747},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.6918455362319946},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5763994455337524},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5027923583984375},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.5005927085876465},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.5000488758087158},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3693621754646301},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.3676196336746216},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23445731401443481},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2594291.2594294","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594291.2594294","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.456.9986","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.9986","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homes.cs.washington.edu/~luisceze/publications/passert-pldi2014.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5699999928474426}],"awards":[],"funders":[{"id":"https://openalex.org/F4320308258","display_name":"Qualcomm","ror":"https://ror.org/002zrf773"},{"id":"https://openalex.org/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W155204799","https://openalex.org/W184493040","https://openalex.org/W192814132","https://openalex.org/W1501731334","https://openalex.org/W1509766189","https://openalex.org/W1631091010","https://openalex.org/W1791348790","https://openalex.org/W1831716037","https://openalex.org/W1862398452","https://openalex.org/W1890754682","https://openalex.org/W2009776842","https://openalex.org/W2024355065","https://openalex.org/W2042587503","https://openalex.org/W2048025009","https://openalex.org/W2050509196","https://openalex.org/W2067971887","https://openalex.org/W2080592089","https://openalex.org/W2096870293","https://openalex.org/W2097061283","https://openalex.org/W2100877271","https://openalex.org/W2105544671","https://openalex.org/W2107399212","https://openalex.org/W2108409407","https://openalex.org/W2119299853","https://openalex.org/W2141955346","https://openalex.org/W2142883190","https://openalex.org/W2143283746","https://openalex.org/W2149870396","https://openalex.org/W2153185479","https://openalex.org/W2156745311","https://openalex.org/W2161290831","https://openalex.org/W2165964040","https://openalex.org/W2167770337","https://openalex.org/W2168429197","https://openalex.org/W2169898528","https://openalex.org/W2185558310","https://openalex.org/W2187230075","https://openalex.org/W2301741851","https://openalex.org/W3145555275","https://openalex.org/W4230704549","https://openalex.org/W4239588330","https://openalex.org/W4240237526","https://openalex.org/W4244364296","https://openalex.org/W6607754154","https://openalex.org/W6639796194","https://openalex.org/W6660734588","https://openalex.org/W6684795458"],"related_works":["https://openalex.org/W2576017016","https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W2494523064","https://openalex.org/W4224019010","https://openalex.org/W2160610433","https://openalex.org/W2903940728","https://openalex.org/W2030292806","https://openalex.org/W3143712745","https://openalex.org/W2076385713"],"abstract_inverted_index":{"Traditional":[0,40],"assertions":[1,41,59,73,115,216],"express":[2,53,78],"correctness":[3,21,46,55,219],"properties":[4,22,56,134,220],"that":[5,51,77,81,94,199,214,222],"must":[6,97],"hold":[7],"on":[8,37,107,197],"every":[9],"program":[10,124],"execution.":[11],"However,":[12],"many":[13],"applications":[14],"have":[15],"probabilistic":[16,25,54,58,64,111,114,215],"outcomes":[17],"and":[18,60,156,163,169,186,193,205,221],"consequently":[19],"their":[20],"are":[23,74],"also":[24],"(e.g.,":[26],"they":[27],"identify":[28],"faces":[29],"in":[30,87,179],"images,":[31],"consume":[32],"sensor":[33],"data,":[34],"or":[35,105,145],"run":[36],"unreliable":[38],"hardware).":[39],"do":[42],"not":[43],"capture":[44],"these":[45,70],"properties.":[47],"This":[48],"paper":[49],"proposes":[50],"programmers":[52],"with":[57,146],"describes":[61],"a":[62,82,88,126,151,180],"new":[63],"evaluation":[65,112,130],"approach":[66,149,178],"to":[67,121,135,139],"efficiently":[68,140,224],"verify":[69],"assertions.":[71],"Probabilistic":[72,129],"Boolean":[75],"expressions":[76],"the":[79,95,108,123,165],"probability":[80],"property":[83,96],"will":[84],"be":[85,99],"true":[86],"given":[89],"execution":[90],"rather":[91],"than":[92],"asserting":[93],"always":[98],"true.":[100],"Given":[101],"either":[102],"specific":[103],"inputs":[104],"distributions":[106],"input":[109],"space,":[110],"verifies":[113,225],"by":[116],"first":[117],"performing":[118],"distribution":[119,159],"extraction":[120,160],"represent":[122],"as":[125],"Bayesian":[127,166],"network.":[128],"then":[131],"uses":[132],"statistical":[133],"simplify":[136],"this":[137,173],"representation":[138,168],"compute":[141],"assertion":[142],"probabilities":[143],"directly":[144],"sampling.":[147],"Our":[148,210],"is":[150],"mix":[152],"of":[153,195],"both":[154],"static":[155],"dynamic":[157],"analysis:":[158],"statically":[161],"builds":[162],"optimizes":[164],"network":[167],"sampling":[170],"dynamically":[171],"interprets":[172],"representation.":[174],"We":[175,189],"implement":[176],"our":[177],"tool":[181],"called":[182],"Mayhap":[183,196,223],"for":[184,208],"C":[185],"C++":[187],"programs.":[188],"evaluate":[190],"expressiveness,":[191],"correctness,":[192],"performance":[194],"programs":[198],"use":[200],"sensors,":[201],"perform":[202],"approximate":[203],"computation,":[204],"obfuscate":[206],"data":[207],"privacy.":[209],"case":[211],"studies":[212],"demonstrate":[213],"describe":[217],"useful":[218],"them.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}