{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:52:10Z","timestamp":1778759530501,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T00:00:00Z","timestamp":1572134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CSR:Medium:DCRUGS:Combating Distributed Concurrency Bugs in Cloud Systems","award":["CNS-1563956"],"award-info":[{"award-number":["CNS-1563956"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,27]]},"DOI":"10.1145\/3341301.3359638","type":"proceedings-article","created":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T13:34:22Z","timestamp":1571664862000},"page":"162-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Efficient scalable thread-safety-violation detection"],"prefix":"10.1145","author":[{"given":"Guangpu","family":"Li","sequence":"first","affiliation":[{"name":"University of Chicago"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Chicago"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Suman","family":"Nath","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Rohan","family":"Padhye","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2019,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945454"},{"key":"e_1_3_2_1_2_1","unstructured":"Aleksandr Mikunov. [n. d.]. Rewrite MSIL Code on the Fly with the .NET Framework Profiling API. https:\/\/www.cnblogs.eom\/WCFGROUP\/p\/5136703.html.  Aleksandr Mikunov. [n. d.]. Rewrite MSIL Code on the Fly with the .NET Framework Profiling API. https:\/\/www.cnblogs.eom\/WCFGROUP\/p\/5136703.html."},{"key":"e_1_3_2_1_3_1","unstructured":"ApplicationInsights. [n. d.]. Broadcast processor is dropping telemetry due to race condition. https:\/\/github.com\/Microsoft\/ApplicationInsights-dotnet\/issues\/994.  ApplicationInsights. [n. d.]. Broadcast processor is dropping telemetry due to race condition. https:\/\/github.com\/Microsoft\/ApplicationInsights-dotnet\/issues\/994."},{"key":"e_1_3_2_1_4_1","unstructured":"Bazel. [n. d.]. Bazel: Build and test software of any size quickly and reliably. https:\/\/bazel.build\/.  Bazel. [n. d.]. Bazel: Build and test software of any size quickly and reliably. https:\/\/bazel.build\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010","author":"Bond Michael D.","unstructured":"Michael D. Bond , Katherine E. Coons , and Kathryn S . McKinley. 2010. PACER: proportional detection of data races . In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010 , Toronto, Ontario, Canada. Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley. 2010. PACER: proportional detection of data races. In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_8_1","first-page":"117","article-title":"Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions","volume":"8","author":"Chen Xu","year":"2008","unstructured":"Xu Chen , Ming Zhang , Zhuoqing Morley Mao , and Paramvir Bahl . 2008 . Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions .. In OSDI , Vol. 8. 117 -- 130 . Xu Chen, Ming Zhang, Zhuoqing Morley Mao, and Paramvir Bahl. 2008. Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions.. In OSDI, Vol. 8. 117--130.","journal-title":"OSDI"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.32"},{"key":"e_1_3_2_1_10_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Chow Michael","year":"2014","unstructured":"Michael Chow , David Meisner , Jason Flinn , Daniel Peek , and Thomas F Wenisch . 2014 . The mystery machine: End-to-end performance analysis of large-scale internet services . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . 217--231. Michael Chow, David Meisner, Jason Flinn, Daniel Peek, and Thomas F Wenisch. 2014. The mystery machine: End-to-end performance analysis of large-scale internet services. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 217--231."},{"key":"e_1_3_2_1_11_1","unstructured":"Csharpmm. [n. d.]. Standard ECMA-334 C# Language Specification. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-334.htm.  Csharpmm. [n. d.]. Standard ECMA-334 C# Language Specification. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-334.htm."},{"key":"e_1_3_2_1_12_1","unstructured":"DateTimeExtensions. [n. d.]. Resolve a random race condition. https:\/\/github.com\/joaomatossilva\/DateTimeExtensions\/pull\/86.  DateTimeExtensions. [n. d.]. Resolve a random race condition. https:\/\/github.com\/joaomatossilva\/DateTimeExtensions\/pull\/86."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles, SOSP","author":"Dawson","unstructured":"Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks . In Proceedings of the 19th ACM Symposium on Operating Systems Principles, SOSP , Bolton Landing, NY, USA. Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, SOSP, Bolton Landing, NY, USA."},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Effective Data-Race Detection for the Kernel","volume":"10","author":"Erickson John","year":"2010","unstructured":"John Erickson , Madanlal Musuvathi , Sebastian Burckhardt , and Kirk Olynyk . 2010 . Effective Data-Race Detection for the Kernel .. In OSDI , Vol. 10. 1 -- 16 . John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel.. In OSDI, Vol. 10. 1--16.","journal-title":"OSDI"},{"key":"e_1_3_2_1_15_1","volume-title":"SEIP (seip ed.)","author":"Esfahani Hamed","unstructured":"Hamed Esfahani , Jonas Fietz , Qi Ke , Alexei Kolomiets , Erica Lan , Erik Mavrinac , Wolfram Schulte , Newton Sanches , and Srikanth Kandula . 2016. CloudBuild: Microsoft's Distributed and Caching Build Service . In SEIP (seip ed.) . IEEE - Institute of Electrical and Electronics Engineers . https:\/\/www.microsoft.com\/en-us\/research\/publication\/cloudbuild-microsofts-distributed-and-caching-build-service\/ Hamed Esfahani, Jonas Fietz, Qi Ke, Alexei Kolomiets, Erica Lan, Erik Mavrinac, Wolfram Schulte, Newton Sanches, and Srikanth Kandula. 2016. CloudBuild: Microsoft's Distributed and Caching Build Service. In SEIP (seip ed.). IEEE - Institute of Electrical and Electronics Engineers. https:\/\/www.microsoft.com\/en-us\/research\/publication\/cloudbuild-microsofts-distributed-and-caching-build-service\/"},{"key":"e_1_3_2_1_16_1","unstructured":"Facebook. [n. d.]. A tool to detect bugs in Java and C\/C++\/Objective-C code before it ships. https:\/\/fbinfer.com\/.  Facebook. [n. d.]. A tool to detect bugs in Java and C\/C++\/Objective-C code before it ships. https:\/\/fbinfer.com\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/258492.258493"},{"key":"e_1_3_2_1_18_1","unstructured":"Colin J Fidge. 1987. Timestamps in message-passing systems that preserve the partial ordering. (1987).  Colin J Fidge. 1987. Timestamps in message-passing systems that preserve the partial ordering. (1987)."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2009. FastTrack: Efficient and Precise Dynamic Race Detection . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: Efficient and Precise Dynamic Race Detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_20_1","unstructured":"FluentAssertion. [n. d.]. Race condition in SelfReferenceEquivalencyAssertionOptions.GetEqualityStrategy. https:\/\/github.com\/fluentassertions\/fluentassertions\/issues\/862.  FluentAssertion. [n. d.]. Race condition in SelfReferenceEquivalencyAssertionOptions.GetEqualityStrategy. https:\/\/github.com\/fluentassertions\/fluentassertions\/issues\/862."},{"key":"e_1_3_2_1_21_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Fonseca Pedro","year":"2014","unstructured":"Pedro Fonseca , Rodrigo Rodrigues , and Bj\u00f6rn B Brandenburg . 2014 . SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . 415--431. Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B Brandenburg. 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 415--431."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_23_1","volume-title":"PLDI'2005 Workshop on the Evaluation of Software Defect Detection Tools (BUGS'2005)","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid . 2005 . The Soundness of Bugs is What Matters . In PLDI'2005 Workshop on the Evaluation of Software Defect Detection Tools (BUGS'2005) . Patrice Godefroid. 2005. The Soundness of Bugs is What Matters. In PLDI'2005 Workshop on the Evaluation of Software Defect Detection Tools (BUGS'2005)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS, Xi'an, China.","author":"Hsiao Chun-Hung","unstructured":"Chun-Hung Hsiao , Satish Narayanasamy , Essam Muhammad Idris Khan , Cristiano L. Pereira , and Gilles A. Pokam . 2017. AsyncClock: Scalable Inference of Asynchronous Event Causality . In Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS, Xi'an, China. Chun-Hung Hsiao, Satish Narayanasamy, Essam Muhammad Idris Khan, Cristiano L. Pereira, and Gilles A. Pokam. 2017. AsyncClock: Scalable Inference of Asynchronous Event Causality. In Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS, Xi'an, China."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Chun-Hung Hsiao Cristiano Pereira Jie Yu Gilles Pokam Satish Narayanasamy Peter M. Chen Ziyun Kong and Jason Flinn. 2014. Race Detection for Event-Driven Mobile Applications. In PLDI.  Chun-Hung Hsiao Cristiano Pereira Jie Yu Gilles Pokam Satish Narayanasamy Peter M. Chen Ziyun Kong and Jason Flinn. 2014. Race Detection for Event-Driven Mobile Applications. In PLDI.","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_28_1","unstructured":"Jb Evain. [n. d.]. Mono.Cecil. https:\/\/github.com\/jbevain\/cecil.  Jb Evain. [n. d.]. Mono.Cecil. https:\/\/github.com\/jbevain\/cecil."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132767"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062374"},{"key":"e_1_3_2_1_33_1","unstructured":"kubernetes-client. [n. d.]. fix a race condition. https:\/\/github.com\/kubernetes-client\/csharp\/pull\/212.  kubernetes-client. [n. d.]. fix a race condition. https:\/\/github.com\/kubernetes-client\/csharp\/pull\/212."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_35_1","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","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 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . 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 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 399--414."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192390"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3317550.3321438"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669181"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Pallavi Maiya Aditya Kanade and Rupak Majumdar. 2014. Race Detection for Android Applications. In PLDI.  Pallavi Maiya Aditya Kanade and Rupak Majumdar. 2014. Race Detection for Android Applications. In PLDI.","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of POPL. ACM, 378--391","author":"Manson J.","unstructured":"J. Manson , W. Pugh , and S. Adve . 2005. The Java memory model . In Proceedings of POPL. ACM, 378--391 . J. Manson, W. Pugh, and S. Adve. 2005. The Java memory model. In Proceedings of POPL. ACM, 378--391."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_1_43_1","volume-title":"International Symposium on Logic-based Program Synthesis and Transformation. Springer, 15--16","author":"Musuvathi Madan","year":"2006","unstructured":"Madan Musuvathi and Shaz Qadeer . 2006 . CHESS: Systematic stress testing of concurrent software . In International Symposium on Logic-based Program Synthesis and Transformation. Springer, 15--16 . Madan Musuvathi and Shaz Qadeer. 2006. CHESS: Systematic stress testing of concurrent software. In International Symposium on Logic-based Program Synthesis and Transformation. Springer, 15--16."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"S. Narayanasamy Z. Wang J. Tigani A. Edwards and B. Calder. 2007. Automatically Classifying Benign and Harmful Data Races Using Replay Analysis.  S. Narayanasamy Z. Wang J. Tigani A. Edwards and B. Calder. 2007. Automatically Classifying Benign and Harmful Data Races Using Replay Analysis.","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254126"},{"key":"e_1_3_2_1_50_1","unstructured":"Radical. [n. d.]. MessageBroker internal subscription(s) list is not thread safe. https:\/\/github.com\/RadicalFx\/Radical\/issues\/108.  Radical. [n. d.]. MessageBroker internal subscription(s) list is not thread safe. https:\/\/github.com\/RadicalFx\/Radical\/issues\/108."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939430"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Veselin Raychev Martin T. Vechev and Manu Sridharan. 2013. Effective Race Detection for Event-Driven Programs. In OOPSLA.  Veselin Raychev Martin T. Vechev and Manu Sridharan. 2013. Effective Race Detection for Event-Driven Programs. In OOPSLA.","DOI":"10.1145\/2509136.2509538"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660238"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737998"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062361"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375584"},{"key":"e_1_3_2_1_59_1","unstructured":"Sequelocity.NET. [n. d.]. Race condition on TypeCacher. https:\/\/github.com\/AmbitEnergyLabs\/Sequelocity.NET\/pull\/23.  Sequelocity.NET. [n. d.]. Race condition on TypeCacher. https:\/\/github.com\/AmbitEnergyLabs\/Sequelocity.NET\/pull\/23."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103702"},{"key":"e_1_3_2_1_62_1","unstructured":"statsd.net. [n. d.]. Race conditions when updating guage value. https:\/\/github.com\/lukevenediger\/statsd.net\/issues\/29.  statsd.net. [n. d.]. Race conditions when updating guage value. https:\/\/github.com\/lukevenediger\/statsd.net\/issues\/29."},{"key":"e_1_3_2_1_63_1","unstructured":"System.Linq.Dynamic. [n. d.]. Fix the multi-threading issue at ClassFactory.GetDynamicClass. https:\/\/github.com\/kahanu\/System.Linq.Dynamic\/pull\/48.  System.Linq.Dynamic. [n. d.]. Fix the multi-threading issue at ClassFactory.GetDynamicClass. https:\/\/github.com\/kahanu\/System.Linq.Dynamic\/pull\/48."},{"key":"e_1_3_2_1_64_1","unstructured":"Thunderstruck. [n. d.]. Race condition in ConnectionStringBuffer singleton. https:\/\/github.com\/19WAS85\/Thunderstruck\/issues\/3.  Thunderstruck. [n. d.]. Race condition in ConnectionStringBuffer singleton. https:\/\/github.com\/19WAS85\/Thunderstruck\/issues\/3."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950332"}],"event":{"name":"SOSP '19: ACM SIGOPS 27th Symposium on Operating Systems Principles","location":"Huntsville Ontario Canada","acronym":"SOSP '19","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 27th ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341301.3359638","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341301.3359638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:26Z","timestamp":1750202606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341301.3359638"}},"subtitle":["finding thousands of concurrency bugs during testing"],"short-title":[],"issued":{"date-parts":[[2019,10,27]]},"references-count":66,"alternative-id":["10.1145\/3341301.3359638","10.1145\/3341301"],"URL":"https:\/\/doi.org\/10.1145\/3341301.3359638","relation":{},"subject":[],"published":{"date-parts":[[2019,10,27]]},"assertion":[{"value":"2019-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}