{"id":"https://openalex.org/W2966951128","doi":"https://doi.org/10.1145/3338906.3338973","title":"Symbolic execution-driven extraction of the parallel execution plans of Spark applications","display_name":"Symbolic execution-driven extraction of the parallel execution plans of Spark applications","publication_year":2019,"publication_date":"2019-08-09","ids":{"openalex":"https://openalex.org/W2966951128","doi":"https://doi.org/10.1145/3338906.3338973","mag":"2966951128"},"language":"en","primary_location":{"id":"doi:10.1145/3338906.3338973","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338906.3338973","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://air.unimi.it/bitstream/2434/1227076/2/3338906.3338973.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063590018","display_name":"Luciano Baresi","orcid":"https://orcid.org/0000-0001-6467-837X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luciano Baresi","raw_affiliation_strings":["Politecnico di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038269238","display_name":"Giovanni Denaro","orcid":"https://orcid.org/0000-0002-7566-8051"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Denaro","raw_affiliation_strings":["University of Milano-Bicocca, Italy"],"affiliations":[{"raw_affiliation_string":"University of Milano-Bicocca, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025651991","display_name":"Giovanni Quattrocchi","orcid":"https://orcid.org/0000-0002-0405-9814"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Quattrocchi","raw_affiliation_strings":["Politecnico di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063590018"],"corresponding_institution_ids":["https://openalex.org/I93860229"],"apc_list":null,"apc_paid":null,"fwci":0.7053,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78714164,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"246","last_page":"256"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8924120664596558},{"id":"https://openalex.org/keywords/spark","display_name":"SPARK (programming language)","score":0.8044660687446594},{"id":"https://openalex.org/keywords/provisioning","display_name":"Provisioning","score":0.7230160236358643},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5544759035110474},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5291198492050171},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5285338759422302},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5052176117897034},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4605312645435333},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.45303452014923096},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.4273498058319092},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.42705973982810974},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28950607776641846},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2843322157859802},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.137068510055542},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09247288107872009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8924120664596558},{"id":"https://openalex.org/C2781215313","wikidata":"https://www.wikidata.org/wiki/Q3493345","display_name":"SPARK (programming language)","level":2,"score":0.8044660687446594},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.7230160236358643},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5544759035110474},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5291198492050171},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5285338759422302},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5052176117897034},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4605312645435333},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.45303452014923096},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4273498058319092},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.42705973982810974},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28950607776641846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2843322157859802},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.137068510055542},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09247288107872009},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3338906.3338973","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338906.3338973","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:air.unimi.it:2434/1227076","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1227076","pdf_url":"https://air.unimi.it/bitstream/2434/1227076/2/3338906.3338973.pdf","source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:boa.unimib.it:10281/272336","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/272336","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:re.public.polimi.it:11311/1120700","is_oa":false,"landing_page_url":"http://hdl.handle.net/11311/1120700","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:air.unimi.it:2434/1227076","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1227076","pdf_url":"https://air.unimi.it/bitstream/2434/1227076/2/3338906.3338973.pdf","source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2966951128.pdf","grobid_xml":"https://content.openalex.org/works/W2966951128.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W54779658","https://openalex.org/W1561569407","https://openalex.org/W1662203549","https://openalex.org/W1987076101","https://openalex.org/W1991069419","https://openalex.org/W1993760289","https://openalex.org/W2058047606","https://openalex.org/W2071989194","https://openalex.org/W2096220441","https://openalex.org/W2112013978","https://openalex.org/W2119414841","https://openalex.org/W2119738171","https://openalex.org/W2121382795","https://openalex.org/W2131681506","https://openalex.org/W2138856138","https://openalex.org/W2140953464","https://openalex.org/W2149666876","https://openalex.org/W2151350425","https://openalex.org/W2159128662","https://openalex.org/W2222734577","https://openalex.org/W2306821251","https://openalex.org/W2434702933","https://openalex.org/W2548465910","https://openalex.org/W2573911191","https://openalex.org/W2604856537","https://openalex.org/W2735077751","https://openalex.org/W2755920299","https://openalex.org/W2770935003","https://openalex.org/W2794214281","https://openalex.org/W2808810640","https://openalex.org/W2906796898","https://openalex.org/W2950315711","https://openalex.org/W2964559089","https://openalex.org/W3099768174","https://openalex.org/W3100711529"],"related_works":["https://openalex.org/W345638404","https://openalex.org/W3170793698","https://openalex.org/W3042714377","https://openalex.org/W2066353350","https://openalex.org/W166889777","https://openalex.org/W2243965201","https://openalex.org/W2546572788","https://openalex.org/W1963516329","https://openalex.org/W2507397068","https://openalex.org/W3198992024"],"abstract_inverted_index":{"The":[0],"execution":[1,9,36,51,69],"of":[2,13,38,49,57,62,97],"Spark":[3,22],"applications":[4,63,86],"is":[5,71,81],"based":[6],"on":[7],"the":[8,14,34,39,42,47,50,54,68,74,95,98],"order":[10],"and":[11,19,53,93],"parallelism":[12],"different":[15],"jobs,":[16],"given":[17,73],"data":[18],"available":[20],"resources.":[21],"reifies":[23],"these":[24],"dependencies":[25],"in":[26],"a":[27],"graph":[28],"that":[29,44,67,87],"we":[30],"refer":[31],"to":[32],"as":[33],"(parallel)":[35],"plan":[37,70],"application.":[40],"All":[41],"approaches":[43],"have":[45,64],"studied":[46],"estimation":[48],"times":[52],"dynamic":[55],"provisioning":[56],"resources":[58,76],"for":[59,85],"this":[60],"kind":[61],"always":[65],"assumed":[66],"unique,":[72],"computing":[75],"at":[77,82],"hand.":[78],"This":[79],"assumption":[80],"least":[83],"simplistic":[84],"include":[88],"conditional":[89],"branches":[90],"or":[91],"loops":[92],"limits":[94],"precision":[96],"prediction":[99],"techniques.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-03T22:45:19.894376","created_date":"2025-10-10T00:00:00"}