{"id":"https://openalex.org/W1966493843","doi":"https://doi.org/10.1145/800127.804106","title":"Engineering A Program Optimizer","display_name":"Engineering A Program Optimizer","publication_year":1978,"publication_date":"1978-01-01","ids":{"openalex":"https://openalex.org/W1966493843","doi":"https://doi.org/10.1145/800127.804106","mag":"1966493843"},"language":"en","primary_location":{"id":"doi:10.1145/800127.804106","doi":"https://doi.org/10.1145/800127.804106","is_oa":true,"landing_page_url":"https://doi.org/10.1145/800127.804106","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800127.804106","source":{"id":"https://openalex.org/S7407089072","display_name":"ACM Annual Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1978 annual conference on - ACM 78","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/800127.804106","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060406502","display_name":"John H. Crawford","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John H. Crawford","raw_affiliation_strings":["","Intel Corporation Santa Clara, CA 95051"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Intel Corporation Santa Clara, CA 95051","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005235325","display_name":"Mehdi Jazayeri","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mehdi Jazayeri","raw_affiliation_strings":["","Department of Computer Science University of North Carolina Chapel Hill, NC 27514"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science University of North Carolina Chapel Hill, NC 27514","institution_ids":["https://openalex.org/I114027177"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3229,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44915254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"247","last_page":"253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9624000191688538,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9624000191688538,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.010099999606609344,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.008200000040233135,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.8960000276565552},{"id":"https://openalex.org/keywords/cross-compiler","display_name":"cross compiler","score":0.7559999823570251},{"id":"https://openalex.org/keywords/global-optimization","display_name":"global optimization","score":0.8360000252723694},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.9229999780654907},{"id":"https://openalex.org/keywords/module-decomposition","display_name":"module decomposition","score":0.7760000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.804205060005188},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7379777431488037},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6682019233703613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5613183975219727},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5603477954864502},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.542152464389801},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5010123252868652},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.486827552318573},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36009055376052856},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/800127.804106","doi":"https://doi.org/10.1145/800127.804106","is_oa":true,"landing_page_url":"https://doi.org/10.1145/800127.804106","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800127.804106","source":{"id":"https://openalex.org/S7407089072","display_name":"ACM Annual Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1978 annual conference on - ACM 78","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/800127.804106","doi":"https://doi.org/10.1145/800127.804106","is_oa":true,"landing_page_url":"https://doi.org/10.1145/800127.804106","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800127.804106","source":{"id":"https://openalex.org/S7407089072","display_name":"ACM Annual Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1978 annual conference on - ACM 78","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1966493843.pdf","grobid_xml":"https://content.openalex.org/works/W1966493843.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1559460776","https://openalex.org/W1676883323","https://openalex.org/W1843327515","https://openalex.org/W1964071625","https://openalex.org/W2026335217","https://openalex.org/W2047615655","https://openalex.org/W2092576944","https://openalex.org/W2116098983","https://openalex.org/W2124153277","https://openalex.org/W2134119432","https://openalex.org/W2165121897","https://openalex.org/W2287201861","https://openalex.org/W2337294341","https://openalex.org/W2988746365"],"related_works":["https://openalex.org/W1590258965","https://openalex.org/W7098091305","https://openalex.org/W2287201861","https://openalex.org/W1575999420","https://openalex.org/W1553681306","https://openalex.org/W4236014413","https://openalex.org/W114327764","https://openalex.org/W7100063334","https://openalex.org/W1970113369","https://openalex.org/W2019584651"],"abstract_inverted_index":{"We":[0,30],"describe":[1,31],"our":[2],"work":[3],"in":[4,20],"formally":[5,43],"specifying":[6],"an":[7,10,27],"extension":[8],"to":[9,26],"existing,":[11],"large":[12],"software":[13],"system.":[14],"In":[15],"particular,":[16],"we":[17],"were":[18,42],"interested":[19],"adding":[21],"a":[22,49,54],"global":[23],"optimization":[24],"phase":[25],"operational":[28],"cross-compiler.":[29],"the":[32,36,40,58],"module":[33],"decomposition":[34],"of":[35,51,63],"optimizer":[37],"and":[38,53,60],"how":[39],"modules":[41,47],"specified.":[44],"The":[45],"resulting":[46],"constitute":[48],"set":[50],"tools":[52],"framework":[55],"which":[56],"promote":[57],"rapid":[59],"efficient":[61],"implementation":[62],"porgram":[64],"optimizers.":[65]},"counts_by_year":[],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}