{"id":"https://openalex.org/W2914740438","doi":"https://doi.org/10.1145/3314221.3314581","title":"Cost analysis of nondeterministic probabilistic programs","display_name":"Cost analysis of nondeterministic probabilistic programs","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2914740438","doi":"https://doi.org/10.1145/3314221.3314581","mag":"2914740438"},"language":"en","primary_location":{"id":"doi:10.1145/3314221.3314581","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-02016018","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100628885","display_name":"Peixin Wang","orcid":"https://orcid.org/0000-0003-3241-0023"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Peixin Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, China / East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, China / East China Normal University, China","institution_ids":["https://openalex.org/I66867065","https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031020748","display_name":"Hongfei Fu","orcid":"https://orcid.org/0000-0002-7947-3446"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongfei Fu","raw_affiliation_strings":["Shanghai Jiao Tong University, China / East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, China / East China Normal University, China","institution_ids":["https://openalex.org/I66867065","https://openalex.org/I183067930"]}]},{"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/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":"Amir Kafshdar Goharshady","raw_affiliation_strings":["IST Austria, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","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, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008594685","display_name":"Xudong Qin","orcid":"https://orcid.org/0000-0001-9821-4418"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xudong Qin","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102954265","display_name":"Wenjun Shi","orcid":"https://orcid.org/0009-0005-3110-7825"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjun Shi","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100628885"],"corresponding_institution_ids":["https://openalex.org/I183067930","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":4.4558,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.94939937,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"204","last_page":"220"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T12288","display_name":"Optimization and Search Problems","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8792731761932373},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7550139427185059},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7494186758995056},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.5623605251312256},{"id":"https://openalex.org/keywords/queueing-theory","display_name":"Queueing theory","score":0.5438937544822693},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.46074214577674866},{"id":"https://openalex.org/keywords/cost-analysis","display_name":"Cost analysis","score":0.45679736137390137},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3461172580718994},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3339404761791229},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.27424490451812744},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18514618277549744},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13822826743125916},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11274930834770203}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8792731761932373},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7550139427185059},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7494186758995056},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.5623605251312256},{"id":"https://openalex.org/C22684755","wikidata":"https://www.wikidata.org/wiki/Q847526","display_name":"Queueing theory","level":2,"score":0.5438937544822693},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.46074214577674866},{"id":"https://openalex.org/C2983335822","wikidata":"https://www.wikidata.org/wiki/Q942582","display_name":"Cost analysis","level":2,"score":0.45679736137390137},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3461172580718994},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3339404761791229},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.27424490451812744},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18514618277549744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13822826743125916},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11274930834770203},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3314221.3314581","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02016018v2","is_oa":true,"landing_page_url":"https://hal.science/hal-02016018","pdf_url":null,"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":"40th ACM Conference on Programming Language Design and Implementation, PLDI 2019, Jun 2019, Phoenix, AZ, United States","raw_type":"Conference papers"},{"id":"pmh:oai:repository.ust.hk:1783.1-107097","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-107097","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":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02016018v2","is_oa":true,"landing_page_url":"https://hal.science/hal-02016018","pdf_url":null,"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":"40th ACM Conference on Programming Language Design and Implementation, PLDI 2019, Jun 2019, Phoenix, AZ, United States","raw_type":"Conference papers"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.5099999904632568,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G2554063606","display_name":null,"funder_award_id":"ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G3745896054","display_name":null,"funder_award_id":"IBM PhD Fellowship","funder_id":"https://openalex.org/F4320307762","funder_display_name":"International Business Machines Corporation"},{"id":"https://openalex.org/G5531630152","display_name":null,"funder_award_id":"279307: Graph Games","funder_id":"https://openalex.org/F4320338352","funder_display_name":"FP7 Ideas: European Research Council"},{"id":"https://openalex.org/G683671635","display_name":null,"funder_award_id":"S11407-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7839799102","display_name":null,"funder_award_id":"EP/R023379/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8923503892","display_name":null,"funder_award_id":"61802254","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320307762","display_name":"International Business Machines Corporation","ror":"https://ror.org/05hh8d621"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338352","display_name":"FP7 Ideas: European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":113,"referenced_works":["https://openalex.org/W12758337","https://openalex.org/W30585784","https://openalex.org/W72346910","https://openalex.org/W94295739","https://openalex.org/W161537417","https://openalex.org/W1230660382","https://openalex.org/W1492171827","https://openalex.org/W1492711856","https://openalex.org/W1505135855","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1544023751","https://openalex.org/W1551651413","https://openalex.org/W1563352283","https://openalex.org/W1568405722","https://openalex.org/W1572346004","https://openalex.org/W1589106570","https://openalex.org/W1589297860","https://openalex.org/W1590648473","https://openalex.org/W1592813209","https://openalex.org/W1595989212","https://openalex.org/W1598436734","https://openalex.org/W1599625180","https://openalex.org/W1605543919","https://openalex.org/W1608799719","https://openalex.org/W1980177715","https://openalex.org/W1989462119","https://openalex.org/W1993129359","https://openalex.org/W1998724430","https://openalex.org/W2012816689","https://openalex.org/W2030213839","https://openalex.org/W2037009101","https://openalex.org/W2039205672","https://openalex.org/W2043100293","https://openalex.org/W2045966591","https://openalex.org/W2055814018","https://openalex.org/W2059802626","https://openalex.org/W2062306963","https://openalex.org/W2068055184","https://openalex.org/W2073629816","https://openalex.org/W2076833152","https://openalex.org/W2079942837","https://openalex.org/W2106494689","https://openalex.org/W2109863363","https://openalex.org/W2112969535","https://openalex.org/W2114695797","https://openalex.org/W2120647256","https://openalex.org/W2125218864","https://openalex.org/W2127637733","https://openalex.org/W2134210018","https://openalex.org/W2135021832","https://openalex.org/W2136333450","https://openalex.org/W2149745672","https://openalex.org/W2155049725","https://openalex.org/W2166496828","https://openalex.org/W2171496589","https://openalex.org/W2173213060","https://openalex.org/W2209422068","https://openalex.org/W2222812367","https://openalex.org/W2233431969","https://openalex.org/W2258276823","https://openalex.org/W2294463722","https://openalex.org/W2295266283","https://openalex.org/W2318066047","https://openalex.org/W2336416123","https://openalex.org/W2407172081","https://openalex.org/W2461846980","https://openalex.org/W2548604229","https://openalex.org/W2551539219","https://openalex.org/W2565511473","https://openalex.org/W2585188322","https://openalex.org/W2611392580","https://openalex.org/W2755806184","https://openalex.org/W2759421792","https://openalex.org/W2767778696","https://openalex.org/W2768683713","https://openalex.org/W2782235253","https://openalex.org/W2798789380","https://openalex.org/W2799052418","https://openalex.org/W2803490327","https://openalex.org/W2803836845","https://openalex.org/W2807390549","https://openalex.org/W2808819080","https://openalex.org/W2898739661","https://openalex.org/W2899428121","https://openalex.org/W2949343847","https://openalex.org/W2950991049","https://openalex.org/W2951490272","https://openalex.org/W2951786136","https://openalex.org/W2951841654","https://openalex.org/W2951912990","https://openalex.org/W2952696670","https://openalex.org/W2963296553","https://openalex.org/W3043182562","https://openalex.org/W3195620086","https://openalex.org/W4230058301","https://openalex.org/W4232668957","https://openalex.org/W4237267501","https://openalex.org/W4240185672","https://openalex.org/W4248175462","https://openalex.org/W4294804205","https://openalex.org/W4298055551","https://openalex.org/W4299855717","https://openalex.org/W4301523782","https://openalex.org/W4302767886","https://openalex.org/W6602924617","https://openalex.org/W6632732874","https://openalex.org/W6634306473","https://openalex.org/W6635467523","https://openalex.org/W6635545125","https://openalex.org/W6636258284","https://openalex.org/W6676246684","https://openalex.org/W6677035707"],"related_works":["https://openalex.org/W2278329956","https://openalex.org/W1996880246","https://openalex.org/W3008777928","https://openalex.org/W3149394920","https://openalex.org/W2950416039","https://openalex.org/W1517042805","https://openalex.org/W1597181838","https://openalex.org/W830096938","https://openalex.org/W2109606716","https://openalex.org/W2030292806"],"abstract_inverted_index":{"We":[0],"consider":[1],"the":[2,19,56],"problem":[3,28],"of":[4,21,45],"expected":[5],"cost":[6],"analysis":[7,44],"over":[8],"nondeterministic":[9],"probabilistic":[10],"programs,":[11],"which":[12],"aims":[13],"at":[14],"automated":[15],"methods":[16],"for":[17,26],"analyzing":[18],"resource-usage":[20],"such":[22,39],"programs.":[23],"Previous":[24],"approaches":[25],"this":[27],"could":[29],"only":[30],"handle":[31],"nonnegative":[32],"bounded":[33],"costs.":[34],"However,":[35],"in":[36],"many":[37],"scenarios,":[38],"as":[40,60],"queuing":[41],"networks":[42],"or":[43],"cryptocurrency":[46],"protocols,":[47],"both":[48],"positive":[49],"and":[50,55],"negative":[51],"costs":[52,57],"are":[53,58],"necessary":[54],"unbounded":[59],"well.":[61]},"counts_by_year":[{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}