{"id":"https://openalex.org/W3205260334","doi":"https://doi.org/10.1145/3485510","title":"Durable functions: semantics for stateful serverless","display_name":"Durable functions: semantics for stateful serverless","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3205260334","doi":"https://doi.org/10.1145/3485510","mag":"3205260334"},"language":"en","primary_location":{"id":"doi:10.1145/3485510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485510","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://dl.acm.org/doi/pdf/10.1145/3485510","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045088961","display_name":"Sebastian Burckhardt","orcid":null},"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":"Sebastian Burckhardt","raw_affiliation_strings":["Microsoft Research, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015077224","display_name":"Chris Gillum","orcid":null},"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":"Chris Gillum","raw_affiliation_strings":["Microsoft Azure, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Azure, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072422663","display_name":"David Justo","orcid":null},"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":"David Justo","raw_affiliation_strings":["Microsoft Azure, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Azure, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054940489","display_name":"\u039a\u03c9\u03bd\u03c3\u03c4\u03b1\u03bd\u03c4\u03af\u03bd\u03bf\u03c2 \u039a\u03b1\u03bb\u03bb\u03ac\u03c2","orcid":"https://orcid.org/0000-0002-8984-6648"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Konstantinos Kallas","raw_affiliation_strings":["University of Pennsylvania, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103271096","display_name":"Connor McMahon","orcid":"https://orcid.org/0000-0003-3646-7908"},"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":"Connor McMahon","raw_affiliation_strings":["Microsoft Azure, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Azure, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038631457","display_name":"Christopher Meiklejohn","orcid":"https://orcid.org/0009-0000-1695-8289"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher S. Meiklejohn","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.612,"has_fulltext":true,"cited_by_count":55,"citation_normalized_percentile":{"value":0.96072233,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"27"},"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.9998999834060669,"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.9998999834060669,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"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/stateful-firewall","display_name":"Stateful firewall","score":0.9510436654090881},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8546236157417297},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5783344507217407},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.5562044382095337},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5505955815315247},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5079923272132874},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.47612839937210083},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.4725325405597687},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.46615278720855713},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.4399501383304596},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.4395443797111511},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.43453067541122437},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4101239740848541},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3697385787963867}],"concepts":[{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.9510436654090881},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8546236157417297},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5783344507217407},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.5562044382095337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5505955815315247},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5079923272132874},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.47612839937210083},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.4725325405597687},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.46615278720855713},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.4399501383304596},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.4395443797111511},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.43453067541122437},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4101239740848541},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3697385787963867},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485510","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"}],"best_oa_location":{"id":"doi:10.1145/3485510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485510","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":[{"score":0.4399999976158142,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205260334.pdf","grobid_xml":"https://content.openalex.org/works/W3205260334.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1770078220","https://openalex.org/W1795023635","https://openalex.org/W1983587324","https://openalex.org/W1986277018","https://openalex.org/W2008447317","https://openalex.org/W2023168372","https://openalex.org/W2073568548","https://openalex.org/W2102163972","https://openalex.org/W2114707853","https://openalex.org/W2173213060","https://openalex.org/W2591324491","https://openalex.org/W2763095368","https://openalex.org/W2904129194","https://openalex.org/W2911351991","https://openalex.org/W2949602160","https://openalex.org/W2963761135","https://openalex.org/W2998259715","https://openalex.org/W2999202099","https://openalex.org/W3004121085","https://openalex.org/W3004837745","https://openalex.org/W3023815730","https://openalex.org/W3029471531","https://openalex.org/W3031868945","https://openalex.org/W3034973840","https://openalex.org/W3097948932","https://openalex.org/W3099523532","https://openalex.org/W3101868768","https://openalex.org/W3158220553","https://openalex.org/W3197490669"],"related_works":["https://openalex.org/W4310522453","https://openalex.org/W2132956209","https://openalex.org/W3206405747","https://openalex.org/W3205260334","https://openalex.org/W1660566014","https://openalex.org/W2226356789","https://openalex.org/W2931411095","https://openalex.org/W2085573357","https://openalex.org/W2082947625","https://openalex.org/W2465369072"],"abstract_inverted_index":{"Serverless,":[0],"or":[1,45],"Functions-as-a-Service":[2],"(FaaS),":[3],"is":[4,81],"an":[5,111],"increasingly":[6],"popular":[7],"paradigm":[8],"for":[9,94],"application":[10],"development,":[11],"as":[12],"it":[13,84,92],"provides":[14],"implicit":[15],"elastic":[16],"scaling":[17],"and":[18,27,73,87,108,148,177,180],"load":[19],"based":[20,115],"billing.":[21],"However,":[22],"the":[23,117,125,144,158,174,178,187],"weak":[24],"execution":[25,151,170],"guarantees":[26],"intrinsic":[28],"compute-storage":[29,138,175],"separation":[30,176],"of":[31,53,98],"FaaS":[32,69],"create":[33],"serious":[34],"challenges":[35],"when":[36],"developing":[37],"applications":[38],"that":[39,56,182],"require":[40],"persistent":[41],"state,":[42],"reliable":[43],"progress,":[44],"synchronization.":[46],"This":[47],"has":[48],"motivated":[49],"a":[50,77,95,132],"new":[51],"generation":[52],"serverless":[54,99,135],"frameworks":[55],"provide":[57],"stateful":[58],"abstractions.":[59],"For":[60],"instance,":[61],"Azure's":[62],"Durable":[63],"Functions":[64],"(DF)":[65],"programming":[66,78],"model":[67,114],"enhances":[68],"with":[70,137],"actors,":[71],"workflows,":[72],"critical":[74],"sections.":[75],"As":[76],"model,":[79,147],"DF":[80,103,126],"interesting":[82],"because":[83],"combines":[85],"task":[86],"actor":[88],"parallelism,":[89],"which":[90,172],"makes":[91],"suitable":[93],"wide":[96],"range":[97],"applications.":[100],"We":[101],"describe":[102],"both":[104],"informally,":[105],"using":[106,110],"examples,":[107],"formally,":[109],"idealized":[112],"high-level":[113,146,188],"on":[116],"untyped":[118],"lambda":[119],"calculus.":[120],"Next,":[121],"we":[122,164],"demystify":[123],"how":[124],"runtime":[127],"can":[128],"(1)":[129],"execute":[130],"in":[131],"distributed":[133],"unreliable":[134],"environment":[136],"separation,":[139],"yet":[140],"still":[141],"conform":[142],"to":[143,186],"fault-free":[145],"(2)":[149],"persist":[150],"progress":[152],"without":[153],"requiring":[154],"checkpointing":[155],"support":[156],"by":[157],"language":[159],"runtime.":[160],"To":[161],"this":[162],"end":[163],"define":[165],"two":[166],"progressively":[167],"more":[168],"complex":[169],"models,":[171],"contain":[173],"record-replay,":[179],"prove":[181],"they":[183],"are":[184],"equivalent":[185],"model.":[189]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":15},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":18},{"year":2022,"cited_by_count":5}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}