{"id":"https://openalex.org/W2079679596","doi":"https://doi.org/10.1017/s1471068411000184","title":"Estimating the overlap between dependent computations for automatic parallelization","display_name":"Estimating the overlap between dependent computations for automatic parallelization","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W2079679596","doi":"https://doi.org/10.1017/s1471068411000184","mag":"2079679596"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000184","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000184","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1109.1420","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048136564","display_name":"Paul Bone","orcid":null},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"PAUL BONE","raw_affiliation_strings":["Department of Computer Science and Software EngineeringThe University of Melbourne and National ICT Australia (NICTA), Australia (e-mail:","The University of Melbourne and National ICT Australia (NICTA)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software EngineeringThe University of Melbourne and National ICT Australia (NICTA), Australia (e-mail:","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I165779595"]},{"raw_affiliation_string":"The University of Melbourne and National ICT Australia (NICTA)","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I165779595"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082632656","display_name":"Zolt\u00e1n Somogyi","orcid":"https://orcid.org/0000-0002-3721-6513"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"ZOLTAN SOMOGYI","raw_affiliation_strings":["Department of Computer Science and Software EngineeringThe University of Melbourne and National ICT Australia (NICTA), Australia (e-mail:","The University of Melbourne and National ICT Australia (NICTA)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software EngineeringThe University of Melbourne and National ICT Australia (NICTA), Australia (e-mail:","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I165779595"]},{"raw_affiliation_string":"The University of Melbourne and National ICT Australia (NICTA)","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I165779595"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049776257","display_name":"Peter Schachte","orcid":"https://orcid.org/0000-0001-5959-3769"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"PETER SCHACHTE","raw_affiliation_strings":["Department of Computer Science and Software EngineeringThe University of Melbourne, Australia (e-mail:","The University of Melbourne,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software EngineeringThe University of Melbourne, Australia (e-mail:","institution_ids":["https://openalex.org/I165779595"]},{"raw_affiliation_string":"The University of Melbourne,","institution_ids":["https://openalex.org/I165779595"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2576,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57299337,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"11","issue":"4-5","first_page":"575","last_page":"591"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9983000159263611,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"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.8387481570243835},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7395914196968079},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.736143946647644},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.6561209559440613},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6502256989479065},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.5904789566993713},{"id":"https://openalex.org/keywords/automatic-parallelization","display_name":"Automatic parallelization","score":0.5423442125320435},{"id":"https://openalex.org/keywords/spawn","display_name":"Spawn (biology)","score":0.44874921441078186},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.43794065713882446},{"id":"https://openalex.org/keywords/task-parallelism","display_name":"Task parallelism","score":0.4179123640060425},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2998354434967041},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.24857214093208313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2008301317691803}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8387481570243835},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7395914196968079},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.736143946647644},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6561209559440613},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6502256989479065},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.5904789566993713},{"id":"https://openalex.org/C164833996","wikidata":"https://www.wikidata.org/wiki/Q2323839","display_name":"Automatic parallelization","level":3,"score":0.5423442125320435},{"id":"https://openalex.org/C17458331","wikidata":"https://www.wikidata.org/wiki/Q935672","display_name":"Spawn (biology)","level":2,"score":0.44874921441078186},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.43794065713882446},{"id":"https://openalex.org/C42992933","wikidata":"https://www.wikidata.org/wiki/Q691169","display_name":"Task parallelism","level":3,"score":0.4179123640060425},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2998354434967041},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.24857214093208313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2008301317691803},{"id":"https://openalex.org/C505870484","wikidata":"https://www.wikidata.org/wiki/Q180538","display_name":"Fishery","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068411000184","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000184","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1109.1420","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1109.1420","pdf_url":"https://arxiv.org/pdf/1109.1420","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"mag:2079679596","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1109.1420v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1109.1420","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1109.1420","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1109.1420","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1109.1420","pdf_url":"https://arxiv.org/pdf/1109.1420","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2079679596.pdf","grobid_xml":"https://content.openalex.org/works/W2079679596.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W54499016","https://openalex.org/W1582046123","https://openalex.org/W1972872690","https://openalex.org/W1982243747","https://openalex.org/W1993621349","https://openalex.org/W2039395876","https://openalex.org/W2113824364","https://openalex.org/W2117848302","https://openalex.org/W2153534748","https://openalex.org/W2157542044","https://openalex.org/W2164579444","https://openalex.org/W3030139520","https://openalex.org/W4248351677","https://openalex.org/W6609448503"],"related_works":["https://openalex.org/W2623002639","https://openalex.org/W2206404388","https://openalex.org/W161327523","https://openalex.org/W1977522748","https://openalex.org/W2157542044","https://openalex.org/W2025602803","https://openalex.org/W1584964021","https://openalex.org/W2548194427","https://openalex.org/W2170925402","https://openalex.org/W2800606642","https://openalex.org/W2508784218","https://openalex.org/W1003618042","https://openalex.org/W3132945183","https://openalex.org/W2887280043","https://openalex.org/W2911709717","https://openalex.org/W200932817","https://openalex.org/W2100345487","https://openalex.org/W3024707067","https://openalex.org/W3022327814","https://openalex.org/W2983242940"],"abstract_inverted_index":{"Abstract":[0],"Researchers":[1],"working":[2],"on":[3,32,266],"the":[4,60,82,106,112,142,150,159,167,174,180,198,205,244,261,267,271,292,299],"automatic":[5],"parallelization":[6,109,285],"of":[7,84,108,118,144,169,182,200,204,246,270],"programs":[8],"have":[9,39,237],"long":[10,41],"known":[11],"that":[12,49,138,189,249,277,279],"too":[13,23],"much":[14,212],"parallelism":[15],"can":[16,96,282],"be":[17,30,191],"even":[18],"worse":[19],"for":[20,120,241,260,298],"performance":[21],"than":[22,294],"little,":[24],"because":[25,76],"spawning":[26],"a":[27,64,116,124,163,231,247],"task":[28],"to":[29,43,47,72,130,141,157,209,253,258,264],"run":[31,220],"another":[33,100],"CPU":[34],"incurs":[35],"overheads.":[36],"Autoparallelizing":[37],"compilers":[38],"therefore":[40,224],"tried":[42],"use":[44],"granularity":[45],"analysis":[46],"ensure":[48],"they":[50,207,218],"only":[51,98],"spawn":[52],"off":[53],"computations":[54,86,135],"whose":[55],"cost":[56,62,107],"will":[57],"probably":[58],"exceed":[59],"spawn-off":[61],"by":[63],"comfortable":[65],"margin.":[66],"However,":[67],"this":[68,239,280],"is":[69,128,230],"not":[70],"enough":[71],"yield":[73,283],"good":[74,232],"results,":[75],"data":[77,252,297],"dependencies":[78],"may":[79,190],"also":[80],"limit":[81],"usefulness":[83],"running":[85],"in":[87,123,136,193,221,228,243],"parallel.":[88],"If":[89],"one":[90],"computation":[91],"blocks":[92],"almost":[93],"immediately":[94],"and":[95,173,202,223],"resume":[97],"after":[99],"has":[101],"completed":[102],"its":[103,170,183],"work,":[104],"then":[105],"again":[110],"exceeds":[111],"benefit.":[113],"We":[114,236,273],"present":[115,274],"set":[117],"algorithms":[119],"recognizing":[121],"places":[122],"program":[125],"where":[126],"it":[127,178],"worthwhile":[129],"execute":[131],"two":[132,187],"or":[133,234],"more":[134,290],"parallel":[137,229],"pay":[139],"attention":[140],"second":[143],"these":[145],"issues":[146],"as":[147,149],"well":[148],"first.":[151],"Our":[152],"system":[153,196],"uses":[154,197,250],"profiling":[155,251,300],"information":[156],"compute":[158],"times":[160,175,199],"at":[161,176],"which":[162,177],"procedure":[164],"call":[165],"consumes":[166],"values":[168,181],"input":[171,296],"arguments":[172],"produces":[179],"output":[184],"arguments.":[185],"Given":[186],"calls":[188],"executed":[192],"parallel,":[194,222],"our":[195],"production":[201],"consumption":[203],"variables":[206],"share":[208],"determine":[210],"how":[211],"their":[213],"executions":[214],"would":[215],"overlap":[216],"if":[217],"were":[219],"whether":[225],"executing":[226],"them":[227],"idea":[233],"not.":[235],"implemented":[238],"technique":[240,281],"Mercury":[242,262],"form":[245],"tool":[248],"generate":[254],"recommendations":[255],"about":[256],"what":[257],"parallelize,":[259],"compiler":[263],"apply":[265],"next":[268],"compilation":[269],"program.":[272],"preliminary":[275],"results":[276],"show":[278],"useful":[284],"speedups,":[286],"while":[287],"requiring":[288],"nothing":[289],"from":[291],"programmer":[293],"representative":[295],"run.":[301]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}