{"id":"https://openalex.org/W4392577507","doi":"https://doi.org/10.1145/3649824","title":"Quantitative Bounds on Resource Usage of Probabilistic Programs","display_name":"Quantitative Bounds on Resource Usage of Probabilistic Programs","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4392577507","doi":"https://doi.org/10.1145/3649824"},"language":"en","primary_location":{"id":"doi:10.1145/3649824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649824","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3649824","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria"],"raw_orcid":"https://orcid.org/0000-0002-4561-241X","affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005241421","display_name":"Amir Kafshdar Goharshady","orcid":"https://orcid.org/0000-0003-1702-6584"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Amir Kafshdar Goharshady","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0003-1702-6584","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023690820","display_name":"Tobias Meggendorfer","orcid":"https://orcid.org/0000-0002-1712-2165"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tobias Meggendorfer","raw_affiliation_strings":["Lancaster University Leipzig, Leipzig, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1712-2165","affiliations":[{"raw_affiliation_string":"Lancaster University Leipzig, Leipzig, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041082080","display_name":"\u0110or\u0111e \u017dikeli\u0107","orcid":"https://orcid.org/0000-0002-4681-1699"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"\u0110or\u0111e \u017dikeli\u0107","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-4681-1699","affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6115,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.95310887,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"362","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6755969524383545},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5905781388282776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5694748163223267},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1619359850883484},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.06806084513664246}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6755969524383545},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5905781388282776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5694748163223267},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1619359850883484},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.06806084513664246}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3649824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649824","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04491689v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04491689","pdf_url":"https://hal.science/hal-04491689/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-10076","is_oa":false,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/9073","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1145/3649824","raw_type":"Journal Article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-137908","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-137908","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:eprints.lancs.ac.uk:219069","is_oa":false,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/219069/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1145/3649824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649824","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":84,"referenced_works":["https://openalex.org/W30585784","https://openalex.org/W72346910","https://openalex.org/W87140126","https://openalex.org/W1230660382","https://openalex.org/W1480909796","https://openalex.org/W1494192115","https://openalex.org/W1509804682","https://openalex.org/W1515621470","https://openalex.org/W1523037784","https://openalex.org/W1549039738","https://openalex.org/W1557307633","https://openalex.org/W1589297860","https://openalex.org/W1592813209","https://openalex.org/W1636902686","https://openalex.org/W1734364899","https://openalex.org/W1996417974","https://openalex.org/W2001255903","https://openalex.org/W2011086847","https://openalex.org/W2024355065","https://openalex.org/W2037009101","https://openalex.org/W2042724438","https://openalex.org/W2058033966","https://openalex.org/W2073629816","https://openalex.org/W2104835568","https://openalex.org/W2109863363","https://openalex.org/W2122917953","https://openalex.org/W2166496828","https://openalex.org/W2168234479","https://openalex.org/W2294463722","https://openalex.org/W2295266283","https://openalex.org/W2417863416","https://openalex.org/W2435583538","https://openalex.org/W2494200839","https://openalex.org/W2511514052","https://openalex.org/W2547267640","https://openalex.org/W2547676993","https://openalex.org/W2548604229","https://openalex.org/W2565334366","https://openalex.org/W2577171054","https://openalex.org/W2625924363","https://openalex.org/W2755806184","https://openalex.org/W2767778696","https://openalex.org/W2768683713","https://openalex.org/W2776364995","https://openalex.org/W2782235253","https://openalex.org/W2797914422","https://openalex.org/W2807469900","https://openalex.org/W2893610333","https://openalex.org/W2897613819","https://openalex.org/W2904742893","https://openalex.org/W2904828193","https://openalex.org/W2908549554","https://openalex.org/W2914740438","https://openalex.org/W2921980104","https://openalex.org/W2954641079","https://openalex.org/W2962780947","https://openalex.org/W2964102784","https://openalex.org/W2979551317","https://openalex.org/W2982014993","https://openalex.org/W2995734336","https://openalex.org/W3032976404","https://openalex.org/W3033865919","https://openalex.org/W3046984529","https://openalex.org/W3097745362","https://openalex.org/W3114469957","https://openalex.org/W3115687070","https://openalex.org/W3119972339","https://openalex.org/W3144365821","https://openalex.org/W3155501771","https://openalex.org/W3166575995","https://openalex.org/W3166773424","https://openalex.org/W3171209508","https://openalex.org/W3175066792","https://openalex.org/W3176250057","https://openalex.org/W3176738008","https://openalex.org/W3186149862","https://openalex.org/W3216994895","https://openalex.org/W4230058301","https://openalex.org/W4231872966","https://openalex.org/W4255442211","https://openalex.org/W4281612951","https://openalex.org/W4281781753","https://openalex.org/W4281938159","https://openalex.org/W6892564552"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4395014643","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Cost":[0],"analysis,":[1,7,263],"also":[2,74],"known":[3],"as":[4,206,208],"resource":[5,67],"usage":[6,68],"is":[8,22,47,61,97,124,149,204,210,239,274,315],"the":[9,15,53,58,66,70,95,120,122,127,130,169,197,215,235,269,328,338,357],"task":[10],"of":[11,18,57,69,168,172,185,252,306,330,337,359],"finding":[12],"bounds":[13,181,258,291,323],"on":[14,52,119,146,196,214,249],"total":[16,55,131,216,237,340],"cost":[17,39,56,107,132,147,173,217,238,308,322],"a":[19,23,50,62,87,92,100,116,140,165,183,211,245,250,260,266,303],"program":[20,71],"and":[21,72,193,310,320],"well-studied":[24],"problem":[25,46,84,123,272],"in":[26,38,143,233],"static":[27],"analysis.":[28,81],"In":[29,161,241,299],"this":[30,134,284],"work,":[31],"we":[32,163,243,301,343],"consider":[33],"two":[34],"classical":[35],"quantitative":[36,261,311],"problems":[37],"analysis":[40,148,309,313],"for":[41,65,86,137,182,223,256,292,324],"probabilistic":[42,325],"programs.":[43],"The":[44,82],"first":[45],"to":[48,78,98,125,178,231,264,268,277,287,317],"find":[49,99,126,179,318],"bound":[51,102,213,271],"expected":[54,236,281,339],"program.":[59],"This":[60],"natural":[63],"measure":[64],"can":[73,152,351],"be":[75],"directly":[76],"applied":[77],"average-case":[79],"runtime":[80,289],"second":[83],"asks":[85],"tail":[88,224,270,290,321],"bound,":[89],"i.e.":[90],"\u200dgiven":[91],"threshold":[93,117],"t":[94,109,118],"goal":[96],"probability":[101],"p":[103,112],"such":[104],"that":[105,129,150,175,273,294,314,348,354],"\u2119[total":[106],"\u2265":[108],"]":[110],"\u2264":[111],".":[113],"Intuitively,":[114],"given":[115],"resource,":[121],"likelihood":[128],"exceeds":[133],"threshold.":[135],"First,":[136],"expectation":[138,180,257,319],"bounds,":[139,225],"major":[141],"obstacle":[142],"previous":[144,227,360],"works":[145],"they":[151],"handle":[153],"only":[154],"non-negative":[155,331],"costs":[156,192],"or":[157,190,335],"bounded":[158,333],"variable":[159,198],"updates.":[160,199],"contrast,":[162,242],"provide":[164,302,344],"new":[166],"variant":[167],"standard":[170],"notion":[171],"martingales,":[174],"allows":[176,285],"us":[177,286],"class":[184],"programs":[186,232,278,293],"with":[187,259,279],"general":[188],"positive":[189],"negative":[191],"no":[194],"restriction":[195],"More":[200],"specifically,":[201],"our":[202,253,349],"approach":[203,350],"applicable":[205,275],"long":[207],"there":[209],"lower":[212],"incurred":[218],"along":[219],"every":[220],"path.":[221],"Second,":[222],"all":[226],"methods":[228],"are":[229],"limited":[230],"which":[234],"finite.":[240],"present":[244],"novel":[246,304],"approach,":[247],"based":[248],"combination":[251,305],"martingale-based":[254,307],"method":[255],"safety":[262,312],"obtain":[265,288],"solution":[267],"even":[276],"infinite":[280],"cost.":[282,341],"Specifically,":[283],"do":[295],"not":[296],"terminate":[297],"almost-surely.":[298],"summary,":[300],"able":[316],"programs,":[326],"without":[327],"restrictions":[329],"costs,":[332],"updates,":[334],"finiteness":[336],"Finally,":[342],"experimental":[345],"results":[346],"showcasing":[347],"solve":[352],"instances":[353],"were":[355],"beyond":[356],"reach":[358],"methods.":[361]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}