{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:19Z","timestamp":1750221019962,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338973","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"246-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic execution-driven extraction of the parallel execution plans of Spark applications"],"prefix":"10.1145","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Denaro","sequence":"additional","affiliation":[{"name":"University of Milano-Bicocca, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Quattrocchi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Dynamic Resource Allocation in Spark. https:\/\/spark.apache.org\/docs\/ latest\/job-scheduling.html.  2017. Dynamic Resource Allocation in Spark. https:\/\/spark.apache.org\/docs\/ latest\/job-scheduling.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465355"},{"key":"e_1_3_2_1_3_1","volume-title":"Jianshu Chen, Shivaram Venkataraman, Minlan Yu, and Ming Zhang.","author":"Alipourfard Omid","year":"2017","unstructured":"Omid Alipourfard , Hongqiang Harry Liu , Jianshu Chen, Shivaram Venkataraman, Minlan Yu, and Ming Zhang. 2017 . CherryPick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics. In Proceedings of the 14th USENIX Symbolic Execution-Driven Extraction of the Parallel Execution Plans of Spark Applications ESEC\/FSE \u201919, August 26\u201330, 2019, Tallinn, Estonia Conference on Networked Systems Design and Implementation (NSDI\u201917). USENIX Association , 469\u2013482. https:\/\/www.usenix.org\/conference\/nsdi17\/technicalsessions\/presentation\/alipourfard Omid Alipourfard, Hongqiang Harry Liu, Jianshu Chen, Shivaram Venkataraman, Minlan Yu, and Ming Zhang. 2017. CherryPick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics. In Proceedings of the 14th USENIX Symbolic Execution-Driven Extraction of the Parallel Execution Plans of Spark Applications ESEC\/FSE \u201919, August 26\u201330, 2019, Tallinn, Estonia Conference on Networked Systems Design and Implementation (NSDI\u201917). USENIX Association, 469\u2013482. https:\/\/www.usenix.org\/conference\/nsdi17\/technicalsessions\/presentation\/alipourfard"},{"key":"e_1_3_2_1_4_1","unstructured":"Apache.org. 2019. RDD Programming Guide - Spark 2.4.0 documentation. https: \/\/spark.apache.org\/docs\/latest\/rdd-programming-guide.html.  Apache.org. 2019. RDD Programming Guide - Spark 2.4.0 documentation. https: \/\/spark.apache.org\/docs\/latest\/rdd-programming-guide.html."},{"key":"e_1_3_2_1_5_1","unstructured":"L. Baresi S. Guinea A. Leva and G. Quattrocchi. 2018. Fine-grained Dynamic Resource Allocation for Big-Data Applications. Technical Report. http:\/\/hdl.handle. net\/11311\/1057275  L. Baresi S. Guinea A. Leva and G. Quattrocchi. 2018. Fine-grained Dynamic Resource Allocation for Big-Data Applications. Technical Report. http:\/\/hdl.handle. net\/11311\/1057275"},{"volume-title":"Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops","author":"Baresi Luciano","key":"e_1_3_2_1_6_1","unstructured":"Luciano Baresi and Giovanni Quattrocchi . 2018. Towards Vertically Scalable Spark Applications . In Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops . Springer , 106\u2013118. 030-10549-5_9 Luciano Baresi and Giovanni Quattrocchi. 2018. Towards Vertically Scalable Spark Applications. In Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops. Springer, 106\u2013118. 030-10549-5_9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-5468\/2008\/10\/P10008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092715"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183472"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983940"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066223"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007659"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-013-0489-0"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_1_14_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer , 337\u2013340. 540-78800-3_24 Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer, 337\u2013340. 540-78800-3_24"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"H. Gao Z. Yang J. Bhimani T. Wang J. Wang B. Sheng and N. Mi. 2017. AutoPath: Harnessing Parallel Execution Paths for Efficient Resource Allocation in Multi-Stage Big Data Frameworks. In 26th International Conference on Computer Communication and Networks (ICCCN). IEEE 1\u20139. ICCCN.2017.8038381  H. Gao Z. Yang J. Bhimani T. Wang J. Wang B. Sheng and N. Mi. 2017. AutoPath: Harnessing Parallel Execution Paths for Efficient Resource Allocation in Multi-Stage Big Data Frameworks. In 26th International Conference on Computer Communication and Networks (ICCCN). IEEE 1\u20139. ICCCN.2017.8038381","DOI":"10.1109\/ICCCN.2017.8038381"},{"key":"e_1_3_2_1_17_1","volume-title":"Stage Aware Performance Modeling of DAG Based in Memory Analytic Platforms. In IEEE 9th International Conference on Cloud Computing (CLOUD). IEEE, 188\u2013195","author":"Gibilisco G. P.","year":"2016","unstructured":"G. P. Gibilisco , M. Li , L. Zhang , and D. Ardagna . 2016 . Stage Aware Performance Modeling of DAG Based in Memory Analytic Platforms. In IEEE 9th International Conference on Cloud Computing (CLOUD). IEEE, 188\u2013195 . 1109\/CLOUD. 2016 .0034 G. P. Gibilisco, M. Li, L. Zhang, and D. Ardagna. 2016. Stage Aware Performance Modeling of DAG Based in Memory Analytic Platforms. In IEEE 9th International Conference on Cloud Computing (CLOUD). IEEE, 188\u2013195. 1109\/CLOUD.2016.0034"},{"key":"e_1_3_2_1_18_1","volume-title":"IEEE 13th International Conference on e-Science (e-Science). IEEE, 89\u201398","author":"Islam M. T.","year":"2017","unstructured":"M. T. Islam , S. Karunasekera , and R. Buyya . 2017. dSpark: Deadline-Based Resource Allocation for Big Data Applications in Apache Spark . In IEEE 13th International Conference on e-Science (e-Science). IEEE, 89\u201398 . eScience. 2017 .21 M. T. Islam, S. Karunasekera, and R. Buyya. 2017. dSpark: Deadline-Based Resource Allocation for Big Data Applications in Apache Spark. In IEEE 13th International Conference on e-Science (e-Science). IEEE, 89\u201398. eScience.2017.21"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2010.97"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2903728"},{"volume-title":"NASA Formal Methods","author":"Marconi Francesco","key":"e_1_3_2_1_21_1","unstructured":"Francesco Marconi , Giovanni Quattrocchi , Luciano Baresi , Marcello M. Bersani , and Matteo Rossi . 2018. On the Timed Analysis of Big-Data Applications . In NASA Formal Methods . Springer , 315\u2013332. 77935-5_22 Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, and Matteo Rossi. 2018. On the Timed Analysis of Big-Data Applications. In NASA Formal Methods. Springer, 315\u2013332. 77935-5_22"},{"volume-title":"Model Checking Software","author":"Matlin Olga Shumsky","key":"e_1_3_2_1_22_1","unstructured":"Olga Shumsky Matlin , Ewing Lusk , and William McCune . 2002. SPINning Parallel Systems Software . In Model Checking Software . Springer , 213\u2013220. org\/10.1007\/3-540-46017-9_16 Olga Shumsky Matlin, Ewing Lusk, and William McCune. 2002. SPINning Parallel Systems Software. In Model Checking Software. Springer, 213\u2013220. org\/10.1007\/3-540-46017-9_16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807223"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1712067.1712069"},{"key":"e_1_3_2_1_25_1","volume-title":"Performance-driven Task Co-scheduling for MapReduce Environments. In IEEE Network Operations and Management Symposium - NOMS","author":"Polo J.","year":"2010","unstructured":"J. Polo , D. Carrera , Y. Becerra , J. Torres , E. Ayguad\u00e9 , M. Steinder , and I. Whalley . 2010 . Performance-driven Task Co-scheduling for MapReduce Environments. In IEEE Network Operations and Management Symposium - NOMS 2010 . IEEE, 373\u2013380. J. Polo, D. Carrera, Y. Becerra, J. Torres, E. Ayguad\u00e9, M. Steinder, and I. Whalley. 2010. Performance-driven Task Co-scheduling for MapReduce Environments. In IEEE Network Operations and Management Symposium - NOMS 2010. IEEE, 373\u2013380."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815418"},{"key":"e_1_3_2_1_27_1","first-page":"6","article-title":"Real-time Computing","volume":"82","author":"Shin K. G.","year":"1994","unstructured":"K. G. Shin and P. Ramanathan . 1994 . Real-time Computing : A New Discipline of Computer Science and Engineering. Proc. IEEE 82 , 1 (1994), 6 \u2013 24 . K. G. Shin and P. Ramanathan. 1994. Real-time Computing: A New Discipline of Computer Science and Engineering. Proc. IEEE 82, 1 (1994), 6\u201324.","journal-title":"A New Discipline of Computer Science and Engineering. Proc. IEEE"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2010.5496972"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2016.10"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348256"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87475-1_37"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_27"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273025"},{"volume-title":"Empirical Research Methods in Web and Software Engineering","author":"Wohlin Claes","key":"e_1_3_2_1_34_1","unstructured":"Claes Wohlin , Martin H\u00f6st , and Kennet Henningsson . 2006. Empirical Research Methods in Web and Software Engineering . Springer , 409\u2013430. 1007\/3-540-28218-1_13 Claes Wohlin, Martin H\u00f6st, and Kennet Henningsson. 2006. Empirical Research Methods in Web and Software Engineering. Springer, 409\u2013430. 1007\/3-540-28218-1_13"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tallinn Estonia","acronym":"ESEC\/FSE '19"},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338973","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:21Z","timestamp":1750206381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":34,"alternative-id":["10.1145\/3338906.3338973","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338973","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}