{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:06Z","timestamp":1750308426681,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2015254"],"award-info":[{"award-number":["2015254"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,6]]},"DOI":"10.1145\/3468737.3494089","type":"proceedings-article","created":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T16:53:58Z","timestamp":1639760038000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["RDS"],"prefix":"10.1145","author":[{"given":"Yaying","family":"Shi","sequence":"first","affiliation":[{"name":"University of North Carolina at Charlotte"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anjia","family":"Wang","sequence":"additional","affiliation":[{"name":"University of North Carolina at Charlotte"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yonghong","family":"Yan","sequence":"additional","affiliation":[{"name":"University of North Carolina at Charlotte"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunhua","family":"Liao","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. NAS Parallel Benchmarks 3.0. https:\/\/github.com\/benchmark-subsetting\/NPB3.0-omp-C.  [n.d.]. NAS Parallel Benchmarks 3.0. https:\/\/github.com\/benchmark-subsetting\/NPB3.0-omp-C."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Amazon Elastic Container Service Developer Guide. https:\/\/docs.aws.amazon.com\/AmazonECS\/latest\/developerguide\/service-auto-scaling.html.  [n.d.]. Amazon Elastic Container Service Developer Guide. https:\/\/docs.aws.amazon.com\/AmazonECS\/latest\/developerguide\/service-auto-scaling.html."},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. Code Dx. https:\/\/codedx.com\/  [n.d.]. Code Dx. https:\/\/codedx.com\/"},{"key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. Parallel programming with Jupyter. https:\/\/curc.readthedocs.io\/en\/latest\/gateways\/parallel-programming-jupyter.html.  [n.d.]. Parallel programming with Jupyter. https:\/\/curc.readthedocs.io\/en\/latest\/gateways\/parallel-programming-jupyter.html."},{"key":"e_1_3_2_1_5_1","unstructured":"[n.d.]. Run the Docker daemon as a non-root user (Rootless mode). https:\/\/docs.docker.com\/engine\/security\/rootless\/.  [n.d.]. Run the Docker daemon as a non-root user (Rootless mode). https:\/\/docs.docker.com\/engine\/security\/rootless\/."},{"key":"e_1_3_2_1_6_1","unstructured":"[n.d.]. Software Assurance Marketplace. https:\/\/continuousassurance.org\/  [n.d.]. Software Assurance Marketplace. https:\/\/continuousassurance.org\/"},{"key":"e_1_3_2_1_7_1","unstructured":"[n.d.]. The Extreme-scale Scientific Software Stack (E4S). https:\/\/e4s-project.github.io.  [n.d.]. The Extreme-scale Scientific Software Stack (E4S). https:\/\/e4s-project.github.io."},{"key":"e_1_3_2_1_8_1","unstructured":"2020. Intel\u00ae Inspector. https:\/\/software.intel.com\/en-us\/inspector  2020. Intel\u00ae Inspector. https:\/\/software.intel.com\/en-us\/inspector"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807623"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2018.05.021"},{"volume-title":"Dynamic Data Race Detection for OpenMP Programs. In SC18: International Conference for High Performance Computing, Networking, Storage and Analysis. 767--778","author":"Gu Y.","key":"e_1_3_2_1_12_1","unstructured":"Y. Gu and J. Mellor-Crummey . 2018 . Dynamic Data Race Detection for OpenMP Programs. In SC18: International Conference for High Performance Computing, Networking, Storage and Analysis. 767--778 . Y. Gu and J. Mellor-Crummey. 2018. Dynamic Data Race Detection for OpenMP Programs. In SC18: International Conference for High Performance Computing, Networking, Storage and Analysis. 767--778."},{"key":"e_1_3_2_1_13_1","volume-title":"ESEC\/FSE07: Joint 11th European Software Engineering Conference. 205--214","author":"Lerner Jan Wen Voung Sorin Lucian","year":"2007","unstructured":"Sorin Lucian Lerner Jan Wen Voung , Ranjit Jhala . 2007 . RELAY: static race detection on millions of lines of code . In ESEC\/FSE07: Joint 11th European Software Engineering Conference. 205--214 . Sorin Lucian Lerner Jan Wen Voung, Ranjit Jhala. 2007. RELAY: static race detection on millions of lines of code. In ESEC\/FSE07: Joint 11th European Software Engineering Conference. 205--214."},{"key":"e_1_3_2_1_14_1","unstructured":"Hao-Qiang Jin Michael Frumkin and Jerry Yan. 1999. The OpenMP implementation of NAS parallel benchmarks and its performance. (1999).  Hao-Qiang Jin Michael Frumkin and Jerry Yan. 1999. The OpenMP implementation of NAS parallel benchmarks and its performance. (1999)."},{"key":"e_1_3_2_1_15_1","unstructured":"Jupyter. [n.d.]. Juputer Notebook. https:\/\/jupyter.org\/.  Jupyter. [n.d.]. Juputer Notebook. https:\/\/jupyter.org\/."},{"volume-title":"Fast and Accurate Static Data-Race Detection for Concurrent Programs","author":"Kahlon Vineet","key":"e_1_3_2_1_16_1","unstructured":"Vineet Kahlon , Yu Yang , Sriram Sankaranarayanan , and Aarti Gupta . 2007. Fast and Accurate Static Data-Race Detection for Concurrent Programs . In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 226--239. Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, and Aarti Gupta. 2007. Fast and Accurate Static Data-Race Detection for Concurrent Programs. In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 226--239."},{"volume-title":"Positioning and Power in Academic Publishing: Players, Agents and Agendas","author":"Kluyver Thomas","key":"e_1_3_2_1_17_1","unstructured":"Thomas Kluyver , Benjamin Ragan-Kelley , Fernando P\u00e9rez , Brian Granger , Matthias Bussonnier , Jonathan Frederic , Kyle Kelley , Jessica Hamrick , Jason Grout , Sylvain Corlay , Paul Ivanov , Damian Avila , Safia Abdalla , and Carol Willing . 2016. Jupyter Notebooks - a publishing format for reproducible computational workflows . In Positioning and Power in Academic Publishing: Players, Agents and Agendas , F. Loizides and B. Schmidt (Eds.). IOS Press , 87 -- 90. Thomas Kluyver, Benjamin Ragan-Kelley, Fernando P\u00e9rez, Brian Granger, Matthias Bussonnier, Jonathan Frederic, Kyle Kelley, Jessica Hamrick, Jason Grout, Sylvain Corlay, Paul Ivanov, Damian Avila, Safia Abdalla, and Carol Willing. 2016. Jupyter Notebooks - a publishing format for reproducible computational workflows. In Positioning and Power in Academic Publishing: Players, Agents and Agendas, F. Loizides and B. Schmidt (Eds.). IOS Press, 87 -- 90."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"volume-title":"2017 IEEE 28th Annual Software Technology Conference (STC). 1--8.","author":"Kupsch J. A.","key":"e_1_3_2_1_19_1","unstructured":"J. A. Kupsch , B. P. Miller , V. Basupalli , and J. Burger . 2017. From continuous integration to continuous assurance . In 2017 IEEE 28th Annual Software Technology Conference (STC). 1--8. J. A. Kupsch, B. P. Miller, V. Basupalli, and J. Burger. 2017. From continuous integration to continuous assurance. In 2017 IEEE 28th Annual Software Technology Conference (STC). 1--8."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. 2019. Time clocks and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport. 179--196.  Leslie Lamport. 2019. Time clocks and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport. 179--196.","DOI":"10.1145\/3335772.3335934"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98521-3_13"},{"volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"Lin Pei-Hung","key":"e_1_3_2_1_24_1","unstructured":"Pei-Hung Lin , Chunhua Liao , Markus Schordan , and Ian Karlin . 2018. Runtime and Memory Evaluation of Data Race Detection Tools . In Leveraging Applications of Formal Methods, Verification and Validation . Verification, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham , 179--196. Pei-Hung Lin, Chunhua Liao, Markus Schordan, and Ian Karlin. 2018. Runtime and Memory Evaluation of Data Race Detection Tools. In Leveraging Applications of Formal Methods, Verification and Validation. Verification, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 179--196."},{"key":"e_1_3_2_1_25_1","volume-title":"Exploring Regression of Data Race Detection Tools Using DataRaceBench. In 2019 IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 11--18","author":"Lin Pei-Hung","year":"2019","unstructured":"Pei-Hung Lin , Chunhua Liao , Markus Schordan , and Ian Karlin . 2019 . Exploring Regression of Data Race Detection Tools Using DataRaceBench. In 2019 IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 11--18 . Pei-Hung Lin, Chunhua Liao, Markus Schordan, and Ian Karlin. 2019. Exploring Regression of Data Race Detection Tools Using DataRaceBench. In 2019 IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 11--18."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3392717.3392744"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134019"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65578-9_17"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_32_1","unstructured":"SWAMP. [n.d.]. Software Assurance Marketplace (SWAMP) code-analysis service. https:\/\/www.mir-swamp.org\/.  SWAMP. [n.d.]. Software Assurance Marketplace (SWAMP) code-analysis service. https:\/\/www.mir-swamp.org\/."},{"key":"e_1_3_2_1_33_1","volume-title":"Enhancing DataRaceBench for Evaluating Data Race Detection Tools. In 2020 IEEE\/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 20--30","author":"Verma Gaurav","year":"2020","unstructured":"Gaurav Verma , Yaying Shi , Chunhua Liao , Barbara Chapman , and Yonghong Yan . 2020 . Enhancing DataRaceBench for Evaluating Data Race Detection Tools. In 2020 IEEE\/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 20--30 . Gaurav Verma, Yaying Shi, Chunhua Liao, Barbara Chapman, and Yonghong Yan. 2020. Enhancing DataRaceBench for Evaluating Data Race Detection Tools. In 2020 IEEE\/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness). IEEE, 20--30."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"}],"event":{"name":"UCC '21: 2021 IEEE\/ACM 14th International Conference on Utility and Cloud Computing","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","CIMPA International Center for Pure and Applied Mathematics"],"location":"Leicester United Kingdom","acronym":"UCC '21"},"container-title":["Proceedings of the 14th IEEE\/ACM International Conference on Utility and Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468737.3494089","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468737.3494089","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468737.3494089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:35Z","timestamp":1750268975000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468737.3494089"}},"subtitle":["a cloud-based metaservice for detecting data races in parallel programs"],"short-title":[],"issued":{"date-parts":[[2021,12,6]]},"references-count":33,"alternative-id":["10.1145\/3468737.3494089","10.1145\/3468737"],"URL":"https:\/\/doi.org\/10.1145\/3468737.3494089","relation":{},"subject":[],"published":{"date-parts":[[2021,12,6]]},"assertion":[{"value":"2021-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}