{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:15:32Z","timestamp":1784232932733,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":43,"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\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1145\/3472883.3486983","type":"proceedings-article","created":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T10:48:16Z","timestamp":1635331696000},"page":"108-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Building Reliable Cloud Services Using Coyote Actors"],"prefix":"10.1145","author":[{"given":"Pantazis","family":"Deligiannis","sequence":"first","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Narayanan","family":"Ganapathy","sequence":"additional","affiliation":[{"name":"Facebook, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[{"name":"Novi, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_2_2_1","unstructured":"Amazon. 2012. Summary of the AWS service event in the US East Region. http:\/\/aws.amazon.com\/message\/67457\/.  Amazon. 2012. Summary of the AWS service event in the US East Region. http:\/\/aws.amazon.com\/message\/67457\/."},{"key":"e_1_3_2_2_3_1","volume-title":"Use of Automated Reasoning for S3 Strong Consistency. https:\/\/www.twitch.tv\/videos\/962963706?t=0h26m57s. [Online","year":"2021","unstructured":"Amazon. 2021. Use of Automated Reasoning for S3 Strong Consistency. https:\/\/www.twitch.tv\/videos\/962963706?t=0h26m57s. [Online ; accessed 14- September - 2021 ]. Amazon. 2021. Use of Automated Reasoning for S3 Strong Consistency. https:\/\/www.twitch.tv\/videos\/962963706?t=0h26m57s. [Online; accessed 14-September-2021]."},{"key":"e_1_3_2_2_4_1","first-page":"1","article-title":"Everest: Towards a Verified","volume":"1","author":"Bhargavan Karthikeyan","year":"2017","unstructured":"Karthikeyan Bhargavan , Barry Bond , Antoine Delignat-Lavaud , C\u00e9dric Fournet , Chris Hawblitzel , Catalin Hritcu , Samin Ishtiaq , Markulf Kohlweiss , Rustan Leino , Jay R. Lorch , Kenji Maillard , Jianyang Pan , Bryan Parno , Jonathan Protzenko , Tahina Ramananandro , Ashay Rane , Aseem Rastogi , Nikhil Swamy , Laure Thompson , Peng Wang , Santiago Zanella B\u00e9guelin , and Jean Karim Zinzindohoue . 2017 . Everest: Towards a Verified , Drop-in Replacement of HTTPS. In SNAPL. 1 : 1 -- 1 :12. Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, C\u00e9dric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella B\u00e9guelin, and Jean Karim Zinzindohoue. 2017. Everest: Towards a Verified, Drop-in Replacement of HTTPS. In SNAPL. 1:1--1:12.","journal-title":"Drop-in Replacement of HTTPS. In SNAPL."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi and Santosh Nagarakatte. 2010. A randomized scheduler with probabilistic guarantees of finding bugs. In ASPLOS. 167--178.  Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi and Santosh Nagarakatte. 2010. A randomized scheduler with probabilistic guarantees of finding bugs. In ASPLOS. 167--178.","DOI":"10.1145\/1735971.1736040"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Haogang Chen Tej Chajed Alex Konradi Stephanie Wang Atalay \u0130leri Adam Chlipala M. Frans Kaashoek and Nickolai Zeldovich. 2017. Verifying a High-performance Crash-safe File System Using a Tree Specification. In SOSP. 270--286.  Haogang Chen Tej Chajed Alex Konradi Stephanie Wang Atalay \u0130leri Adam Chlipala M. Frans Kaashoek and Nickolai Zeldovich. 2017. Verifying a High-performance Crash-safe File System Using a Tree Specification. In SOSP. 270--286.","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","unstructured":"Pantazis Deligiannis Alastair F. Donaldson Jeroen Ketema Akash Lal and Paul Thomson. 2015. Asynchronous programming analysis and testing with state machines. In PLDI. 154--164.  Pantazis Deligiannis Alastair F. Donaldson Jeroen Ketema Akash Lal and Paul Thomson. 2015. Asynchronous programming analysis and testing with state machines. In PLDI. 154--164.","DOI":"10.1145\/2813885.2737996"},{"key":"e_1_3_2_2_8_1","unstructured":"Pantazis Deligiannis Matt McCutchen Paul Thomson Shuo Chen Alastair F. Donaldson John Erickson Cheng Huang Akash Lal Rashmi Mudduluru Shaz Qadeer and Wolfram Schulte. 2016. Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). In FAST. 249--262.  Pantazis Deligiannis Matt McCutchen Paul Thomson Shuo Chen Alastair F. Donaldson John Erickson Cheng Huang Akash Lal Rashmi Mudduluru Shaz Qadeer and Wolfram Schulte. 2016. Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). In FAST. 249--262."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"crossref","unstructured":"Ankush Desai Vivek Gupta Ethan K. Jackson Shaz Qadeer Sriram K. Rajamani and Damien Zufferey. 2013. P: safe asynchronous event-driven programming. In PLDI. 321--332.  Ankush Desai Vivek Gupta Ethan K. Jackson Shaz Qadeer Sriram K. Rajamani and Damien Zufferey. 2013. P: safe asynchronous event-driven programming. In PLDI. 321--332.","DOI":"10.1145\/2499370.2462184"},{"key":"e_1_3_2_2_10_1","volume-title":"Seshia","author":"Desai Ankush","year":"2015","unstructured":"Ankush Desai , Shaz Qadeer , and Sanjit A . Seshia . 2015 . Systematic testing of asynchronous reactive systems. In FSE. 73--83. Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia. 2015. Systematic testing of asynchronous reactive systems. In FSE. 73--83."},{"key":"e_1_3_2_2_11_1","unstructured":"Forbes. 2018. 83% of enterprise workloads will be in the Cloud by 2020. https:\/\/www.forbes.com\/sites\/louiscolumbus\/2018\/01\/07\/83-of-enterprise-workloads-will-be-in-the-cloud-by-2020.  Forbes. 2018. 83% of enterprise workloads will be in the Cloud by 2020. https:\/\/www.forbes.com\/sites\/louiscolumbus\/2018\/01\/07\/83-of-enterprise-workloads-will-be-in-the-cloud-by-2020."},{"key":"e_1_3_2_2_12_1","unstructured":"Forbes. 2019. Public Cloud soaring to $331B by 2022 according to Gartner. https:\/\/www.forbes.com\/sites\/louiscolumbus\/2019\/04\/07\/public-cloud-soaring-to-331b-by-2022-according-to-gartner.  Forbes. 2019. Public Cloud soaring to $331B by 2022 according to Gartner. https:\/\/www.forbes.com\/sites\/louiscolumbus\/2019\/04\/07\/public-cloud-soaring-to-331b-by-2022-according-to-gartner."},{"key":"e_1_3_2_2_13_1","unstructured":"Apache Foundation. 2019. Cassandra. http:\/\/cassandra.apache.org\/.  Apache Foundation. 2019. Cassandra. http:\/\/cassandra.apache.org\/."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Chris Hawblitzel Jon Howell Manos Kapritsos Jacob R Lorch Bryan Parno Michael L Roberts Srinath Setty and Brian Zill. 2015. IronFleet: Proving practical distributed systems correct. In SOSP. ACM.  Chris Hawblitzel Jon Howell Manos Kapritsos Jacob R Lorch Bryan Parno Michael L Roberts Srinath Setty and Brian Zill. 2015. IronFleet: Proving practical distributed systems correct. In SOSP. ACM.","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_2_15_1","volume-title":"Ironclad Apps: End-to-End Security via Automated Full-System Verification. In OSDI.","author":"Hawblitzel Chris","year":"2014","unstructured":"Chris Hawblitzel , Jon Howell , Jay Lorch , Arjun Narayan , Bryan Parno , Danfeng Zhang , and Brian Zill . 2014 . Ironclad Apps: End-to-End Security via Automated Full-System Verification. In OSDI. Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, and Brian Zill. 2014. Ironclad Apps: End-to-End Security via Automated Full-System Verification. In OSDI."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_2_17_1","volume-title":"Mesos: A Platform for Fine-grained Resource Sharing in the Data Center. In NSDI (Boston, MA). 295--308.","author":"Hindman Benjamin","year":"2011","unstructured":"Benjamin Hindman , Andy Konwinski , Matei Zaharia , Ali Ghodsi , Anthony D. Joseph , Randy Katz , Scott Shenker , and Ion Stoica . 2011 . Mesos: A Platform for Fine-grained Resource Sharing in the Data Center. In NSDI (Boston, MA). 295--308. Benjamin Hindman, Andy Konwinski, Matei Zaharia, Ali Ghodsi, Anthony D. Joseph, Randy Katz, Scott Shenker, and Ion Stoica. 2011. Mesos: A Platform for Fine-grained Resource Sharing in the Data Center. In NSDI (Boston, MA). 295--308."},{"key":"e_1_3_2_2_18_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann Gerard","unstructured":"Gerard Holzmann . 2011. The SPIN Model Checker: Primer and Reference Manual ( 1 st ed.). Addison-Wesley Professional . Gerard Holzmann. 2011. The SPIN Model Checker: Primer and Reference Manual (1st ed.). Addison-Wesley Professional.","edition":"1"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_2_20_1","volume-title":"Gunawi","author":"Leesatapornwongsa Tanakorn","year":"2014","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F. Lukman , and Haryadi S . Gunawi . 2014 . SAMC : Semantic-aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI. 399--414. Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. 2014. SAMC: Semantic-aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI. 399--414."},{"key":"e_1_3_2_2_21_1","unstructured":"Microsoft. 2019. Asynchronous programming in C#. https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/programming-guide\/concepts\/async\/.  Microsoft. 2019. Asynchronous programming in C#. https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/programming-guide\/concepts\/async\/."},{"key":"e_1_3_2_2_22_1","volume-title":"Azure Batch: Cloud-scale job scheduling and compute management. https:\/\/azure.microsoft.com\/en-in\/services\/batch\/.","year":"2019","unstructured":"Microsoft. 2019 . Azure Batch: Cloud-scale job scheduling and compute management. https:\/\/azure.microsoft.com\/en-in\/services\/batch\/. Microsoft. 2019. Azure Batch: Cloud-scale job scheduling and compute management. https:\/\/azure.microsoft.com\/en-in\/services\/batch\/."},{"key":"e_1_3_2_2_23_1","unstructured":"Microsoft. 2019. Azure Blockchain Service. https:\/\/docs.microsoft.com\/en-us\/azure\/blockchain\/service\/overview.  Microsoft. 2019. Azure Blockchain Service. https:\/\/docs.microsoft.com\/en-us\/azure\/blockchain\/service\/overview."},{"key":"e_1_3_2_2_24_1","unstructured":"Microsoft. 2019. Azure Cosmos DB. https:\/\/azure.microsoft.com\/en-in\/services\/cosmos-db\/.  Microsoft. 2019. Azure Cosmos DB. https:\/\/azure.microsoft.com\/en-in\/services\/cosmos-db\/."},{"key":"e_1_3_2_2_25_1","unstructured":"Microsoft. 2019. Azure Resource Manager. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-resource-manager\/.  Microsoft. 2019. Azure Resource Manager. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-resource-manager\/."},{"key":"e_1_3_2_2_26_1","unstructured":"Microsoft. 2019. Azure Service Bus. https:\/\/docs.microsoft.com\/en-us\/azure\/service-bus-messaging\/.  Microsoft. 2019. Azure Service Bus. https:\/\/docs.microsoft.com\/en-us\/azure\/service-bus-messaging\/."},{"key":"e_1_3_2_2_27_1","unstructured":"Microsoft. 2019. Azure Storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/.  Microsoft. 2019. Azure Storage. https:\/\/azure.microsoft.com\/en-us\/services\/storage\/."},{"key":"e_1_3_2_2_28_1","unstructured":"Microsoft. 2019. Azure Subscriptions. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-subscription-service-limits.  Microsoft. 2019. Azure Subscriptions. https:\/\/docs.microsoft.com\/en-us\/azure\/azure-subscription-service-limits."},{"key":"e_1_3_2_2_29_1","unstructured":"Microsoft. 2019. Azure Virtual Machine Scale Sets. https:\/\/azure.microsoft.com\/en-in\/services\/virtual-machine-scale-sets\/.  Microsoft. 2019. Azure Virtual Machine Scale Sets. https:\/\/azure.microsoft.com\/en-in\/services\/virtual-machine-scale-sets\/."},{"key":"e_1_3_2_2_30_1","unstructured":"Microsoft. 2019. Azure Virtual Network. https:\/\/docs.microsoft.com\/en-us\/azure\/virtual-network\/.  Microsoft. 2019. Azure Virtual Network. https:\/\/docs.microsoft.com\/en-us\/azure\/virtual-network\/."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"crossref","unstructured":"Rashmi Mudduluru Pantazis Deligiannis Ankush Desai Akash Lal and Shaz Qadeer. 2017. Lasso detection using partial-state caching. In FMCAD. 84--91.  Rashmi Mudduluru Pantazis Deligiannis Ankush Desai Akash Lal and Shaz Qadeer. 2017. Lasso detection using partial-state caching. In FMCAD. 84--91.","DOI":"10.23919\/FMCAD.2017.8102245"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428298"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"crossref","unstructured":"Madanlal Musuvathi and Shaz Qadeer. 2008. Fair Stateless Model Checking. In PLDI. ACM 362--371.  Madanlal Musuvathi and Shaz Qadeer. 2008. Fair Stateless Model Checking. In PLDI. ACM 362--371.","DOI":"10.1145\/1379022.1375625"},{"key":"e_1_3_2_2_34_1","volume-title":"Piramanayagam Arumuga Nainar, and Iulian Neamtiu","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi , Shaz Qadeer , Thomas Ball , Gerard Basler , Piramanayagam Arumuga Nainar, and Iulian Neamtiu . 2008 . Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI. USENIX , 267--280. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI. USENIX, 267--280."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_3_2_2_36_1","volume-title":"Coyote Actor SharedObjects Documentation. https:\/\/microsoft.github.io\/coyote\/#concepts\/actors\/sharing-objects\/. [Online","author":"Research Microsoft","year":"2021","unstructured":"Microsoft Research . [n.d.]. Coyote Actor SharedObjects Documentation. https:\/\/microsoft.github.io\/coyote\/#concepts\/actors\/sharing-objects\/. [Online ; accessed 12- September - 2021 ]. Microsoft Research. [n.d.]. Coyote Actor SharedObjects Documentation. https:\/\/microsoft.github.io\/coyote\/#concepts\/actors\/sharing-objects\/. [Online; accessed 12-September-2021]."},{"key":"e_1_3_2_2_37_1","volume-title":"Coyote: Fearless coding for reliable asynchronous software. https:\/\/github.com\/microsoft\/coyote.","author":"Research Microsoft","year":"2020","unstructured":"Microsoft Research . 2020 . Coyote: Fearless coding for reliable asynchronous software. https:\/\/github.com\/microsoft\/coyote. Microsoft Research. 2020. Coyote: Fearless coding for reliable asynchronous software. https:\/\/github.com\/microsoft\/coyote."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858651"},{"key":"e_1_3_2_2_40_1","unstructured":"Ben Treynor. 2014. GoogleBlog - Today's outage for several Google services. http:\/\/googleblog.blogspot.com\/2014\/01\/todays-outage-for-several-google.html.  Ben Treynor. 2014. GoogleBlog - Today's outage for several Google services. http:\/\/googleblog.blogspot.com\/2014\/01\/todays-outage-for-several-google.html."},{"key":"e_1_3_2_2_41_1","first-page":"1","article-title":"Apache Hadoop YARN: yet another resource negotiator","volume":"5","author":"Vavilapalli Vinod Kumar","year":"2013","unstructured":"Vinod Kumar Vavilapalli , Arun C. Murthy , Chris Douglas , Sharad Agarwal , Mahadev Konar , Robert Evans , Thomas Graves , Jason Lowe , Hitesh Shah , Siddharth Seth , Bikas Saha , Carlo Curino , Owen O'Malley , Sanjay Radia , Benjamin Reed , and Eric Baldeschwieler . 2013 . Apache Hadoop YARN: yet another resource negotiator . In SOCC. 5 : 1 -- 5 :16. Vinod Kumar Vavilapalli, Arun C. Murthy, Chris Douglas, Sharad Agarwal, Mahadev Konar, Robert Evans, Thomas Graves, Jason Lowe, Hitesh Shah, Siddharth Seth, Bikas Saha, Carlo Curino, Owen O'Malley, Sanjay Radia, Benjamin Reed, and Eric Baldeschwieler. 2013. Apache Hadoop YARN: yet another resource negotiator. In SOCC. 5:1--5:16.","journal-title":"SOCC."},{"key":"e_1_3_2_2_42_1","volume-title":"dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems","author":"\u0160im\u0161a Ji\u0159\u00ed","unstructured":"Ji\u0159\u00ed \u0160im\u0161a , Randy Bryant , and Garth Gibson . 2011. dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems . In SPIN. Springer-Verlag , 188--193. Ji\u0159\u00ed \u0160im\u0161a, Randy Bryant, and Garth Gibson. 2011. dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. In SPIN. Springer-Verlag, 188--193."},{"key":"e_1_3_2_2_43_1","volume-title":"Verdi: A Framework for Implementing and Formally Verifying Distributed Systems. In PLDI. ACM, 357--368.","author":"Wilcox James R.","year":"2015","unstructured":"James R. Wilcox , Doug Woos , Pavel Panchekha , Zachary Tatlock , Xi Wang , Michael D. Ernst , and Thomas Anderson . 2015 . Verdi: A Framework for Implementing and Formally Verifying Distributed Systems. In PLDI. ACM, 357--368. James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson. 2015. Verdi: A Framework for Implementing and Formally Verifying Distributed Systems. In PLDI. ACM, 357--368."},{"key":"e_1_3_2_2_44_1","volume-title":"MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI. 213--228.","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . 2009 . MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI. 213--228. Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI. 213--228."}],"event":{"name":"SoCC '21: ACM Symposium on Cloud Computing","location":"Seattle WA USA","acronym":"SoCC '21","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472883.3486983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472883.3486983","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.3486983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":43,"alternative-id":["10.1145\/3472883.3486983","10.1145\/3472883"],"URL":"https:\/\/doi.org\/10.1145\/3472883.3486983","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"}}]}}