{"id":"https://openalex.org/W1984434723","doi":"https://doi.org/10.1145/1538917.1538918","title":"Mostly static program partitioning of binary executables","display_name":"Mostly static program partitioning of binary executables","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W1984434723","doi":"https://doi.org/10.1145/1538917.1538918","mag":"1984434723"},"language":"en","primary_location":{"id":"doi:10.1145/1538917.1538918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1538917.1538918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1538917.1538918","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1538917.1538918","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030313146","display_name":"Efe Yardimci","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Efe Yardimci","raw_affiliation_strings":["University of California, Irvine","[University of California, Irvine]"],"affiliations":[{"raw_affiliation_string":"University of California, Irvine","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"[University of California, Irvine]","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103069673","display_name":"Michael Franz","orcid":"https://orcid.org/0000-0001-5911-2275"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Franz","raw_affiliation_strings":["University of California, Irvine","[University of California, Irvine]"],"affiliations":[{"raw_affiliation_string":"University of California, Irvine","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"[University of California, Irvine]","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030313146"],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":0.268,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.55475627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"31","issue":"5","first_page":"1","last_page":"46"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980999827384949,"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.9093478918075562},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7905385494232178},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6958616375923157},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6476415395736694},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6124228239059448},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.5528688430786133},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.550540566444397},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5136255621910095},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.49407055974006653},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.463775098323822},{"id":"https://openalex.org/keywords/automatic-parallelization","display_name":"Automatic parallelization","score":0.4544513523578644},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.43931296467781067},{"id":"https://openalex.org/keywords/compiled-language","display_name":"Compiled language","score":0.4258610010147095},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.41516557335853577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38734763860702515},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.2931070327758789},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.20301413536071777},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.16393762826919556},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.12169179320335388}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9093478918075562},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7905385494232178},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6958616375923157},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6476415395736694},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6124228239059448},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.5528688430786133},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.550540566444397},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5136255621910095},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.49407055974006653},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.463775098323822},{"id":"https://openalex.org/C164833996","wikidata":"https://www.wikidata.org/wiki/Q2323839","display_name":"Automatic parallelization","level":3,"score":0.4544513523578644},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.43931296467781067},{"id":"https://openalex.org/C92966194","wikidata":"https://www.wikidata.org/wiki/Q651794","display_name":"Compiled language","level":4,"score":0.4258610010147095},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.41516557335853577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38734763860702515},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.2931070327758789},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.20301413536071777},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.16393762826919556},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.12169179320335388},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1538917.1538918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1538917.1538918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1538917.1538918","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.144.6033","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.6033","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ics.uci.edu/~franz/Site/pubs-pdf/J24Prepub.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/1538917.1538918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1538917.1538918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1538917.1538918","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1984434723.pdf","grobid_xml":"https://content.openalex.org/works/W1984434723.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W45645208","https://openalex.org/W111673925","https://openalex.org/W1529996718","https://openalex.org/W1565232632","https://openalex.org/W1582456956","https://openalex.org/W1920053666","https://openalex.org/W1966691503","https://openalex.org/W1967995061","https://openalex.org/W1991751536","https://openalex.org/W2018069366","https://openalex.org/W2019747336","https://openalex.org/W2029171059","https://openalex.org/W2029479717","https://openalex.org/W2037023397","https://openalex.org/W2047226031","https://openalex.org/W2056319928","https://openalex.org/W2058719553","https://openalex.org/W2063255488","https://openalex.org/W2072737419","https://openalex.org/W2080457852","https://openalex.org/W2089131124","https://openalex.org/W2103224933","https://openalex.org/W2109502721","https://openalex.org/W2113097298","https://openalex.org/W2115270696","https://openalex.org/W2116210226","https://openalex.org/W2120230074","https://openalex.org/W2126601652","https://openalex.org/W2128195938","https://openalex.org/W2129962996","https://openalex.org/W2134222034","https://openalex.org/W2134312016","https://openalex.org/W2147404787","https://openalex.org/W2148255965","https://openalex.org/W2148947321","https://openalex.org/W2155410188","https://openalex.org/W2157074753","https://openalex.org/W2160468841","https://openalex.org/W2165964351","https://openalex.org/W2170653240","https://openalex.org/W2293099300","https://openalex.org/W2294451725","https://openalex.org/W2296006986","https://openalex.org/W2344192573","https://openalex.org/W2591847608","https://openalex.org/W4231002400","https://openalex.org/W4232293661","https://openalex.org/W4232917671","https://openalex.org/W4245632002","https://openalex.org/W4253095404","https://openalex.org/W4253417586","https://openalex.org/W4253795537"],"related_works":["https://openalex.org/W1999711970","https://openalex.org/W2166895275","https://openalex.org/W2151163382","https://openalex.org/W2998775986","https://openalex.org/W2052485000","https://openalex.org/W1971022286","https://openalex.org/W1565879960","https://openalex.org/W1883222843","https://openalex.org/W3022519409","https://openalex.org/W1848579875"],"abstract_inverted_index":{"We":[0,114],"have":[1],"built":[2],"a":[3,82,144,153,193],"runtime":[4,62,183],"compilation":[5],"system":[6],"that":[7,53,80,103,129,171],"takes":[8],"unmodified":[9],"sequential":[10],"binaries":[11],"and":[12,22,33,64,124,160,185],"improves":[13],"their":[14],"performance":[15,74],"on":[16],"off-the-shelf":[17],"multiprocessors":[18],"using":[19],"dynamic":[20,186],"vectorization":[21],"loop-level":[23],"parallelization":[24,164,176],"techniques.":[25],"Our":[26],"system,":[27],"Azure,":[28],"is":[29,45,75,100,192],"purely":[30],"software":[31],"based":[32],"requires":[34],"no":[35],"specific":[36],"hardware":[37],"support":[38],"for":[39,175],"speculative":[40],"thread":[41],"execution,":[42],"yet":[43],"it":[44,104],"able":[46],"to":[47,71,111,136,150,161],"break":[48],"even":[49],"in":[50,102],"most":[51],"cases;":[52],"is,":[54],"the":[55,59,90],"achieved":[56],"speedup":[57],"exceeds":[58],"cost":[60],"of":[61,94,143,167,196],"monitoring":[63,184],"compilation,":[65],"often":[66],"by":[67],"significant":[68],"amounts.":[69],"Key":[70],"this":[72,197],"remarkable":[73],"an":[76,130,137],"offline":[77],"preprocessing":[78],"step":[79],"extracts":[81],"mostly":[83,145],"correct":[84,146],"control":[85,119],"flow":[86,120],"graph":[87],"(CFG)":[88],"from":[89,182],"binary":[91,154],"program":[92],"ahead":[93,166],"time.":[95],"This":[96],"statically":[97,151],"obtained":[98],"CFG":[99,147],"incomplete":[101,131],"may":[105],"be":[106,179],"missing":[107],"some":[108],"edges":[109,121],"corresponding":[110],"computed":[112],"branches.":[113],"describe":[115],"how":[116],"such":[117],"additional":[118],"are":[122,172],"discovered":[123],"handled":[125],"at":[126],"runtime,":[127],"so":[128],"static":[132],"analysis":[133],"never":[134],"leads":[135],"incorrect":[138],"optimization":[139],"result.":[140],"The":[141],"availability":[142],"enables":[148],"us":[149],"partition":[152],"executable":[155],"into":[156],"single-entry":[157],"multiple-exit":[158],"regions":[159,170],"identify":[162],"potential":[163],"candidates":[165,174],"execution.":[168],"Program":[169],"not":[173],"can":[177],"thereby":[178],"excluded":[180],"completely":[181],"recompilation.":[187],"Azure's":[188],"extremely":[189],"low":[190],"overhead":[191],"direct":[194],"consequence":[195],"design.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}