{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:29:34Z","timestamp":1766449774968,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":96,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["1810\/18"],"award-info":[{"award-number":["1810\/18"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1145\/3472883.3486977","type":"proceedings-article","created":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T10:48:16Z","timestamp":1635331696000},"page":"92-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Cloud-Scale Runtime Verification of Serverless Applications"],"prefix":"10.1145","author":[{"given":"Kalev","family":"Alpernas","sequence":"first","affiliation":[{"name":"Tel Aviv University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurojit","family":"Panda","sequence":"additional","affiliation":[{"name":"NYU"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[{"name":"VMware Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel Aviv University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"1","article-title":"Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95\/46\/EC (General Data Protection Regulation)","year":"2016","unstructured":"2016 . Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95\/46\/EC (General Data Protection Regulation) . OJ L 119 (2016), 1 -- 88 . 2016. Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95\/46\/EC (General Data Protection Regulation). OJ L 119 (2016), 1--88.","journal-title":"OJ"},{"key":"e_1_3_2_2_2_1","unstructured":"2019. Building a truly global e-commerce platform --- part 2: architecture & technology. https:\/\/blog.labdigital.nl\/building-a-truly-global-e-commerce-platform-part-2-architecture-technology-4a3f1afd5616. 2019. Building a truly global e-commerce platform --- part 2: architecture & technology. https:\/\/blog.labdigital.nl\/building-a-truly-global-e-commerce-platform-part-2-architecture-technology-4a3f1afd5616."},{"key":"e_1_3_2_2_3_1","unstructured":"2019. \u03bb serverless backend implementation for RealWorld using AWS DynamoDB + Lambda. https:\/\/github.com\/anishkny\/realworld-dynamodb-lambda. 2019. \u03bb serverless backend implementation for RealWorld using AWS DynamoDB + Lambda. https:\/\/github.com\/anishkny\/realworld-dynamodb-lambda."},{"key":"e_1_3_2_2_4_1","unstructured":"2019. MoonMail - Email marketing platform for bulk emailing via Amazon SES. https:\/\/moonmail.io\/. 2019. MoonMail - Email marketing platform for bulk emailing via Amazon SES. https:\/\/moonmail.io\/."},{"key":"e_1_3_2_2_5_1","unstructured":"2019. Nietzsche - Scrap quotes from Goodreads and schedule random tweets. https:\/\/github.com\/rpidanny\/Nietzsche. 2019. Nietzsche - Scrap quotes from Goodreads and schedule random tweets. https:\/\/github.com\/rpidanny\/Nietzsche."},{"key":"e_1_3_2_2_6_1","unstructured":"2019. Noiiice - a serverless blog built on NuxtJS AWS serverless framework and irrational exuberance. https:\/\/github.com\/DylanAllen\/noiiice. 2019. Noiiice - a serverless blog built on NuxtJS AWS serverless framework and irrational exuberance. https:\/\/github.com\/DylanAllen\/noiiice."},{"key":"e_1_3_2_2_7_1","unstructured":"2019. pingbot - A website monitoring\/health-checking tool based on serverless architecture. https:\/\/github.com\/toricls\/pingbot. 2019. pingbot - A website monitoring\/health-checking tool based on serverless architecture. https:\/\/github.com\/toricls\/pingbot."},{"key":"e_1_3_2_2_8_1","unstructured":"2019. RealWorld. https:\/\/github.com\/gothinkster\/realworld. 2019. RealWorld. https:\/\/github.com\/gothinkster\/realworld."},{"key":"e_1_3_2_2_9_1","unstructured":"2019. Why we use serverless architecture at Freetrade. https:\/\/blog.freetrade.io\/why-we-use-serverless-architecture-at-freetrade-e668c7bf5d42. 2019. Why we use serverless architecture at Freetrade. https:\/\/blog.freetrade.io\/why-we-use-serverless-architecture-at-freetrade-e668c7bf5d42."},{"key":"e_1_3_2_2_10_1","unstructured":"2019. YoYo - A dead simple comment engine built on top of AWS lambda and React alternative comment service to Disqus. https:\/\/github.com\/metrue\/YoYo. 2019. YoYo - A dead simple comment engine built on top of AWS lambda and React alternative comment service to Disqus. https:\/\/github.com\/metrue\/YoYo."},{"key":"e_1_3_2_2_11_1","unstructured":"2020. Serverless Video Preview and Analysis Service. https:\/\/github.com\/laardee\/video-preview-and-analysis-service. 2020. Serverless Video Preview and Analysis Service. https:\/\/github.com\/laardee\/video-preview-and-analysis-service."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Gautam Altekar and Ion Stoica. 2009. ODR: output-deterministic replay for multicore debugging. In SOSP. Gautam Altekar and Ion Stoica. 2009. ODR: output-deterministic replay for multicore debugging. In SOSP.","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958253"},{"key":"e_1_3_2_2_14_1","unstructured":"Apache. 2021. OpenWhisk. https:\/\/github.com\/apache\/openwhisk. Apache. 2021. OpenWhisk. https:\/\/github.com\/apache\/openwhisk."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Anish Arora Sandeep Kulkarni and Murat Demirbas. 2000. Resettable vector clocks. In PODC. Anish Arora Sandeep Kulkarni and Murat Demirbas. 2000. Resettable vector clocks. In PODC.","DOI":"10.1145\/343477.343628"},{"key":"e_1_3_2_2_16_1","volume-title":"X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In OSDI.","author":"Attariyan Mona","year":"2012","unstructured":"Mona Attariyan , M Ichael Chow , and Jason Flinn . 2012 . X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In OSDI. Mona Attariyan, MIchael Chow, and Jason Flinn. 2012. X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software. In OSDI."},{"key":"e_1_3_2_2_17_1","unstructured":"AWS. 2019. Amazon CloudWatch. https:\/\/aws.amazon.com\/cloudwatch\/. AWS. 2019. Amazon CloudWatch. https:\/\/aws.amazon.com\/cloudwatch\/."},{"key":"e_1_3_2_2_18_1","unstructured":"AWS. 2019. Amazon Kinesis. https:\/\/aws.amazon.com\/kinesis\/. AWS. 2019. Amazon Kinesis. https:\/\/aws.amazon.com\/kinesis\/."},{"key":"e_1_3_2_2_19_1","unstructured":"AWS. 2020. Amazon API Gateway. https:\/\/aws.amazon.com\/apigateway\/. AWS. 2020. Amazon API Gateway. https:\/\/aws.amazon.com\/apigateway\/."},{"key":"e_1_3_2_2_20_1","unstructured":"AWS. 2020. Amazon Aurora. https:\/\/aws.amazon.com\/rds\/aurora\/. AWS. 2020. Amazon Aurora. https:\/\/aws.amazon.com\/rds\/aurora\/."},{"key":"e_1_3_2_2_21_1","unstructured":"AWS. 2020. Amazon DynamoDB. https:\/\/aws.amazon.com\/dynamodb\/. AWS. 2020. Amazon DynamoDB. https:\/\/aws.amazon.com\/dynamodb\/."},{"key":"e_1_3_2_2_22_1","unstructured":"AWS. 2020. Amazon S3. https:\/\/aws.amazon.com\/s3\/. AWS. 2020. Amazon S3. https:\/\/aws.amazon.com\/s3\/."},{"key":"e_1_3_2_2_23_1","unstructured":"AWS. 2020. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/. AWS. 2020. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/."},{"key":"e_1_3_2_2_24_1","unstructured":"AWS lambda dep 2020. AWS Lambda deployment package in Node.js. https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/nodejs-package.html. AWS lambda dep 2020. AWS Lambda deployment package in Node.js. https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/nodejs-package.html."},{"key":"e_1_3_2_2_25_1","unstructured":"AWS SDK Release 2020. aws-sdk-js: History for CHANGELOG.md. https:\/\/github.com\/aws\/aws-sdk-js\/commits\/master\/CHANGELOG.md. AWS SDK Release 2020. aws-sdk-js: History for CHANGELOG.md. https:\/\/github.com\/aws\/aws-sdk-js\/commits\/master\/CHANGELOG.md."},{"key":"e_1_3_2_2_26_1","unstructured":"\u00d6zalp Babao\u011flu Eddy Fromentin and Michel Raynal. 1995. Debugging Distributed Executions by Using Language Recognition. In ICPP (2). 55--62. \u00d6zalp Babao\u011flu Eddy Fromentin and Michel Raynal. 1995. Debugging Distributed Executions by Using Language Recognition. In ICPP (2). 55--62."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(96)00027-1"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/895291"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1098"},{"key":"e_1_3_2_2_30_1","unstructured":"Bitwarden 2019. Bitwarden. https:\/\/bitwarden.com\/. Bitwarden 2019. Bitwarden. https:\/\/bitwarden.com\/."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165870"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502050"},{"volume-title":"Linux Observability with BPF: Advanced Programming for Performance Analysis and Networking","author":"Calavera David","key":"e_1_3_2_2_33_1","unstructured":"David Calavera and Lorenzo Fontana . 2019. Linux Observability with BPF: Advanced Programming for Performance Analysis and Networking . O'Reilly Media . David Calavera and Lorenzo Fontana. 2019. Linux Observability with BPF: Advanced Programming for Performance Analysis and Networking. O'Reilly Media."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.19"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250403"},{"key":"e_1_3_2_2_37_1","unstructured":"Cloudflare. 2020. Cloudflare Workers. https:\/\/workers.cloudflare.com\/. Cloudflare. 2020. Cloudflare Workers. https:\/\/workers.cloudflare.com\/."},{"key":"e_1_3_2_2_38_1","volume-title":"Serverless Community Survey","author":"Daly Jeremy","year":"2020","unstructured":"Jeremy Daly . 2020. Serverless Community Survey 2020 . https:\/\/github.com\/jeremydaly\/serverless-community-survey-2020. Jeremy Daly. 2020. Serverless Community Survey 2020. https:\/\/github.com\/jeremydaly\/serverless-community-survey-2020."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"crossref","unstructured":"Christian Drabek and Gereon Weiss. 2017. DANA-Description and Analysis of Networked Applications.. In RV-CuBES. 71--80. Christian Drabek and Gereon Weiss. 2017. DANA-Description and Analysis of Networked Applications.. In RV-CuBES. 71--80.","DOI":"10.29007\/zjn1"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_14"},{"key":"e_1_3_2_2_43_1","unstructured":"Fastly. 2020. Fastly Compute@Edge. https:\/\/www.fastly.com\/products\/edge-compute\/serverless. Fastly. 2020. Fastly Compute@Edge. https:\/\/www.fastly.com\/products\/edge-compute\/serverless."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69233"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"e_1_3_2_2_46_1","volume-title":"Proceedings of the 4th USENIX conference on Networked systems design & implementation. USENIX Association, 20--20","author":"Fonseca Rodrigo","year":"2007","unstructured":"Rodrigo Fonseca , George Porter , Randy H Katz , Scott Shenker , and Ion Stoica . 2007 . X-trace: A pervasive network tracing framework . In Proceedings of the 4th USENIX conference on Networked systems design & implementation. USENIX Association, 20--20 . Rodrigo Fonseca, George Porter, Randy H Katz, Scott Shenker, and Ion Stoica. 2007. X-trace: A pervasive network tracing framework. In Proceedings of the 4th USENIX conference on Networked systems design & implementation. USENIX Association, 20--20."},{"key":"e_1_3_2_2_47_1","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Fouladi Sadjad","year":"2019","unstructured":"Sadjad Fouladi , Francisco Romero , Dan Iter , Qian Li , Shuvo Chatterjee , Christos Kozyrakis , Matei Zaharia , and Keith Winstein . 2019 . From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers . In 2019 USENIX Annual Technical Conference (USENIX ATC 19) . 475--488. Sadjad Fouladi, Francisco Romero, Dan Iter, Qian Li, Shuvo Chatterjee, Christos Kozyrakis, Matei Zaharia, and Keith Winstein. 2019. From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). 475--488."},{"key":"e_1_3_2_2_48_1","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Fouladi Sadjad","year":"2017","unstructured":"Sadjad Fouladi , Riad S Wahby , Brennan Shacklett , Karthikeyan Vasuki Balasubramaniam , William Zeng , Rahul Bhalerao , Anirudh Sivaraman , George Porter , and Keith Winstein . 2017 . Encoding, fast and slow: Low-latency video processing using thousands of tiny threads . In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) . 363--376. Sadjad Fouladi, Riad S Wahby, Brennan Shacklett, Karthikeyan Vasuki Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, and Keith Winstein. 2017. Encoding, fast and slow: Low-latency video processing using thousands of tiny threads. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). 363--376."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.1994.138"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1994.346158"},{"key":"e_1_3_2_2_51_1","unstructured":"Google. 2020. Cloud Functions. https:\/\/cloud.google.com\/functions. Google. 2020. Cloud Functions. https:\/\/cloud.google.com\/functions."},{"key":"e_1_3_2_2_52_1","unstructured":"Google. 2020. Cloud Spanner. https:\/\/cloud.google.com\/spanner. Google. 2020. Cloud Spanner. https:\/\/cloud.google.com\/spanner."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"crossref","unstructured":"Stewart Grant Hendrik Cech and Ivan Beschastnikh. 2018. Inferring and asserting distributed system invariants. In ICSE. 1149--1159. Stewart Grant Hendrik Cech and Ivan Beschastnikh. 2018. Inferring and asserting distributed system invariants. In ICSE. 1149--1159.","DOI":"10.1145\/3180155.3180199"},{"volume-title":"Mac OS X, and FreeBSD","author":"Gregg Brendan","key":"e_1_3_2_2_54_1","unstructured":"Brendan Gregg and Jim Mauro . 2011. DTrace: Dynamic Tracing in Oracle Solaris , Mac OS X, and FreeBSD . Prentice Hall Professional . Brendan Gregg and Jim Mauro. 2011. DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X, and FreeBSD. Prentice Hall Professional."},{"key":"e_1_3_2_2_55_1","volume-title":"Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively Parallel Computation. IEEE, 422--429","author":"Gu Weiming","year":"1995","unstructured":"Weiming Gu , Greg Eisenhauer , Eileen Kraemer , Karsten Schwan , John Stasko , Jeffrey Vetter , and Nirupama Mallavarupu . 1995 . Falcon: On-line monitoring and steering of large-scale parallel programs . In Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively Parallel Computation. IEEE, 422--429 . Weiming Gu, Greg Eisenhauer, Eileen Kraemer, Karsten Schwan, John Stasko, Jeffrey Vetter, and Nirupama Mallavarupu. 1995. Falcon: On-line monitoring and steering of large-scale parallel programs. In Proceedings Frontiers' 95. The Fifth Symposium on the Frontiers of Massively Parallel Computation. IEEE, 422--429."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"crossref","unstructured":"Arjun Guha Claudiu Saftoiu and Shriram Krishnamurthi. 2010. The essence of JavaScript. In ECOOP. 126--150. Arjun Guha Claudiu Saftoiu and Shriram Krishnamurthi. 2010. The essence of JavaScript. In ECOOP. 126--150.","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_2_57_1","unstructured":"Zhenyu Guo Xi Wang Jian Tang Xuezheng Liu Zhilei Xu Ming Wu M. Frans Kaashoek and Zheng Zhang. 2008. R2: An Application-Level Kernel for Record and Replay. In OSDI. Zhenyu Guo Xi Wang Jian Tang Xuezheng Liu Zhilei Xu Ming Wu M. Frans Kaashoek and Zheng Zhang. 2008. R2: An Application-Level Kernel for Record and Replay. In OSDI."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.707701"},{"key":"e_1_3_2_2_59_1","volume-title":"Debugging tool for distributed Estelle programs. computer communications 16, 5","author":"Hurfin Michel","year":"1993","unstructured":"Michel Hurfin , No\u00ebl Plouzeau , and Michel Raynal . 1993. Debugging tool for distributed Estelle programs. computer communications 16, 5 ( 1993 ), 328--333. Michel Hurfin, No\u00ebl Plouzeau, and Michel Raynal. 1993. Debugging tool for distributed Estelle programs. computer communications 16, 5 (1993), 328--333."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/174266.174271"},{"key":"e_1_3_2_2_61_1","volume-title":"ECMAScript 2015 Language Specification","author":"International Ecma","unstructured":"Ecma International . 2015. ECMAScript 2015 Language Specification ( 6 th ed.). Geneva . http:\/\/www.ecma-international.org\/ecma-262\/6.0\/ECMA-262.pdf. Ecma International. 2015. ECMAScript 2015 Language Specification (6th ed.). Geneva. http:\/\/www.ecma-international.org\/ecma-262\/6.0\/ECMA-262.pdf.","edition":"6"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127479.3128601"},{"key":"e_1_3_2_2_63_1","volume-title":"Bill Schaller, Pingjia Shan, Brendan Viscomi, et al.","author":"Kaldor Jonathan","year":"2017","unstructured":"Jonathan Kaldor , Jonathan Mace , Micha\u0142 Bejda , Edison Gao , Wiktor Kuropatwa , Joe O'Neill , Kian Win Ong , Bill Schaller, Pingjia Shan, Brendan Viscomi, et al. 2017 . Canopy : An end-to-end performance tracing and analysis system. In SOSP. Jonathan Kaldor, Jonathan Mace, Micha\u0142 Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, et al. 2017. Canopy: An end-to-end performance tracing and analysis system. In SOSP."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_18"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934885"},{"key":"e_1_3_2_2_66_1","unstructured":"California State Legislature. 2019. California Consumer Privacy Act of 2018 (Assembly Bill No. 375). https:\/\/leginfo.legislature.ca.gov\/faces\/billTextClient.xhtml?bill_id=201720180AB375. California State Legislature. 2019. California Consumer Privacy Act of 2018 (Assembly Bill No. 375). https:\/\/leginfo.legislature.ca.gov\/faces\/billTextClient.xhtml?bill_id=201720180AB375."},{"key":"e_1_3_2_2_67_1","unstructured":"Xuezheng Liu Zhenyu Guo Xi Wang Feibo Chen Xiaochen Lian Jian Tang Ming Wu M. Frans Kaashoek and Zheng Zhang. 2008. D3S: Debugging Deployed Distributed Systems. In NSDI. Xuezheng Liu Zhenyu Guo Xi Wang Feibo Chen Xiaochen Lian Jian Tang Ming Wu M. Frans Kaashoek and Zheng Zhang. 2008. D3S: Debugging Deployed Distributed Systems. In NSDI."},{"key":"e_1_3_2_2_68_1","volume-title":"Proceedings of the International Workshop on Parallel and Distributed Algorithms.","author":"Mattern Friedemann","year":"1988","unstructured":"Friedemann Mattern . 1988 . Virtual time and global states of distributed systems . In Proceedings of the International Workshop on Parallel and Distributed Algorithms. Friedemann Mattern. 1988. Virtual time and global states of distributed systems. In Proceedings of the International Workshop on Parallel and Distributed Algorithms."},{"key":"e_1_3_2_2_69_1","first-page":"159","article-title":"Mugshot: Deterministic Capture and Replay for JavaScript Applications","volume":"10","author":"Mickens James W","year":"2010","unstructured":"James W Mickens , Jeremy Elson , and Jon Howell . 2010 . Mugshot: Deterministic Capture and Replay for JavaScript Applications . In NSDI , Vol. 10. 159 -- 174 . James W Mickens, Jeremy Elson, and Jon Howell. 2010. Mugshot: Deterministic Capture and Replay for JavaScript Applications. In NSDI, Vol. 10. 159--174.","journal-title":"NSDI"},{"key":"e_1_3_2_2_70_1","unstructured":"Microsoft. 2020. Azure API Management. https:\/\/azure.microsoft.com\/en-us\/services\/api-management\/. Microsoft. 2020. Azure API Management. https:\/\/azure.microsoft.com\/en-us\/services\/api-management\/."},{"key":"e_1_3_2_2_71_1","unstructured":"Microsoft. 2020. Azure Blob Storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/blobs\/. Microsoft. 2020. Azure Blob Storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/blobs\/."},{"key":"e_1_3_2_2_72_1","unstructured":"Microsoft. 2020. Azure Functions. https:\/\/azure.microsoft.com\/en-us\/services\/functions\/. Microsoft. 2020. Azure Functions. https:\/\/azure.microsoft.com\/en-us\/services\/functions\/."},{"key":"e_1_3_2_2_73_1","unstructured":"Microsoft Azure. 2020. Azure Functions scale and hosting. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-functions\/functions-scale. Microsoft Azure. 2020. Azure Functions scale and hosting. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-functions\/functions-scale."},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601363"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.95"},{"key":"e_1_3_2_2_76_1","unstructured":"Karthik Nagaraj Charles Killian and Jennifer Neville. 2012. Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems. In NSDI. Karthik Nagaraj Charles Killian and Jennifer Neville. 2012. Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems. In NSDI."},{"key":"e_1_3_2_2_77_1","unstructured":"Node.js. 2019. Node.js v12.13.0 Documentation --- Debugger. https:\/\/nodejs.org\/docs\/latest-v12.x\/api\/debugger.html. Node.js. 2019. Node.js v12.13.0 Documentation --- Debugger. https:\/\/nodejs.org\/docs\/latest-v12.x\/api\/debugger.html."},{"key":"e_1_3_2_2_78_1","unstructured":"Oleg Obleukhov. 2020. Building a more accurate time service at Facebook scale. https:\/\/engineering.fb.com\/production-engineering\/ntpservice\/. Oleg Obleukhov. 2020. Building a more accurate time service at Facebook scale. https:\/\/engineering.fb.com\/production-engineering\/ntpservice\/."},{"key":"e_1_3_2_2_79_1","volume-title":"2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"O'Callahan Robert","year":"2017","unstructured":"Robert O'Callahan , Chris Jones , Nathan Froyd , Kyle Huey , Albert Noll , and Nimrod Partush . 2017 . Engineering record and replay for deployability . In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . 377--389. Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, and Nimrod Partush. 2017. Engineering record and replay for deployability. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). 377--389."},{"key":"e_1_3_2_2_80_1","unstructured":"OpenTracing. 2020. https:\/\/opentracing.io\/. OpenTracing. 2020. https:\/\/opentracing.io\/."},{"volume-title":"Distributed Tracing in Practice: Instrumenting, Analyzing, and Debugging Microservices","author":"Parker Austin","key":"e_1_3_2_2_81_1","unstructured":"Austin Parker , Daniel Spoonhower , Jonathan Mace , Ben Sigelman , and Rebecca Isaacs . 2020. Distributed Tracing in Practice: Instrumenting, Analyzing, and Debugging Microservices . O'Reilly Media . Austin Parker, Daniel Spoonhower, Jonathan Mace, Ben Sigelman, and Rebecca Isaacs. 2020. Distributed Tracing in Practice: Instrumenting, Analyzing, and Debugging Microservices. O'Reilly Media."},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"crossref","unstructured":"Lin Quan John Heidemann and Yuri Pradkin. 2014. When the Internet sleeps: Correlating diurnal networks with external factors. In IMC. Lin Quan John Heidemann and Yuri Pradkin. 2014. When the Internet sleeps: Correlating diurnal networks with external factors. In IMC.","DOI":"10.1145\/2663716.2663721"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_55"},{"key":"e_1_3_2_2_84_1","first-page":"9","article-title":"Pip: Detecting the Unexpected in Distributed Systems","volume":"6","author":"Reynolds Patrick","year":"2006","unstructured":"Patrick Reynolds , Charles Edwin Killian , Janet L Wiener , Jeffrey C Mogul , Mehul A Shah , and Amin Vahdat . 2006 . Pip: Detecting the Unexpected in Distributed Systems .. In NSDI , Vol. 6. 9 -- 9 . Patrick Reynolds, Charles Edwin Killian, Janet L Wiener, Jeffrey C Mogul, Mehul A Shah, and Amin Vahdat. 2006. Pip: Detecting the Unexpected in Distributed Systems.. In NSDI, Vol. 6. 9--9.","journal-title":"NSDI"},{"key":"e_1_3_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085139"},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"crossref","unstructured":"Brandon Schlinker Italo Cunha Yi-Ching Chiu Srikanth Sundaresan and Ethan Katz-Bassett. 2019. Internet Performance from Facebook's Edge. In IMC. Brandon Schlinker Italo Cunha Yi-Ching Chiu Srikanth Sundaresan and Ethan Katz-Bassett. 2019. Internet Performance from Facebook's Edge. In IMC.","DOI":"10.1145\/3355369.3355567"},{"key":"e_1_3_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491447"},{"key":"e_1_3_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999446"},{"key":"e_1_3_2_2_90_1","unstructured":"Mohammad Shahrad Rodrigo Fonseca Inigo Goiri Gohar Chaudhry Paul Batum Jason Cooke Eduardo Laureano Colby Tresness Mark Russinovich and Ricardo Bianchini. 2020. Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider. In ATC. Mohammad Shahrad Rodrigo Fonseca Inigo Goiri Gohar Chaudhry Paul Batum Jason Cooke Eduardo Laureano Colby Tresness Mark Russinovich and Ricardo Bianchini. 2020. Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider. In ATC."},{"key":"e_1_3_2_2_91_1","volume-title":"numpywren: serverless linear algebra. arXiv preprint arXiv:1810.09679","author":"Shankar Vaishaal","year":"2018","unstructured":"Vaishaal Shankar , Karl Krauth , Qifan Pu , Eric Jonas , Shivaram Venkataraman , Ion Stoica , Benjamin Recht , and Jonathan Ragan-Kelley . 2018. numpywren: serverless linear algebra. arXiv preprint arXiv:1810.09679 ( 2018 ). Vaishaal Shankar, Karl Krauth, Qifan Pu, Eric Jonas, Shivaram Venkataraman, Ion Stoica, Benjamin Recht, and Jonathan Ragan-Kelley. 2018. numpywren: serverless linear algebra. arXiv preprint arXiv:1810.09679 (2018)."},{"key":"e_1_3_2_2_92_1","volume-title":"Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag.","author":"Sigelman Benjamin H","year":"2010","unstructured":"Benjamin H Sigelman , Luiz Andre Barroso , Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag. 2010 . Dapper , a large-scale distributed systems tracing infrastructure. (2010). Benjamin H Sigelman, Luiz Andre Barroso, Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, Saul Jaspan, and Chandan Shanbhag. 2010. Dapper, a large-scale distributed systems tracing infrastructure. (2010)."},{"key":"e_1_3_2_2_93_1","unstructured":"Patrik Simek. 2019. vm2. https:\/\/github.com\/patriksimek\/vm2. Patrik Simek. 2019. vm2. https:\/\/github.com\/patriksimek\/vm2."},{"key":"e_1_3_2_2_94_1","first-page":"163","article-title":"The SCADS Director: Scaling a Distributed Storage System Under Stringent Performance Requirements","volume":"11","author":"Trushkowsky Beth","year":"2011","unstructured":"Beth Trushkowsky , Peter Bod\u00edk , Armando Fox , Michael J Franklin , Michael I Jordan , and David A Patterson . 2011 . The SCADS Director: Scaling a Distributed Storage System Under Stringent Performance Requirements . In FAST , Vol. 11. 163 -- 176 . Beth Trushkowsky, Peter Bod\u00edk, Armando Fox, Michael J Franklin, Michael I Jordan, and David A Patterson. 2011. The SCADS Director: Scaling a Distributed Storage System Under Stringent Performance Requirements. In FAST, Vol. 11. 163--176.","journal-title":"FAST"},{"key":"e_1_3_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"e_1_3_2_2_96_1","unstructured":"Zipkin. 2019. https:\/\/zipkin.io\/. Zipkin. 2019. https:\/\/zipkin.io\/."}],"event":{"name":"SoCC '21: ACM Symposium on Cloud Computing","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Seattle WA USA","acronym":"SoCC '21"},"container-title":["Proceedings of the ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472883.3486977","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472883.3486977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:57Z","timestamp":1750191117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472883.3486977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":96,"alternative-id":["10.1145\/3472883.3486977","10.1145\/3472883"],"URL":"https:\/\/doi.org\/10.1145\/3472883.3486977","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]},"assertion":[{"value":"2021-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}