{"id":"https://openalex.org/W2159756807","doi":"https://doi.org/10.1109/tcad.2002.801096","title":"Value-sensitive automatic code specialization for embedded software","display_name":"Value-sensitive automatic code specialization for embedded software","publication_year":2002,"publication_date":"2002-09-01","ids":{"openalex":"https://openalex.org/W2159756807","doi":"https://doi.org/10.1109/tcad.2002.801096","mag":"2159756807"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2002.801096","doi":"https://doi.org/10.1109/tcad.2002.801096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2002.801096","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-2","norway-1","poland-100","russia-white-list-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084016800","display_name":"Eui-Young Chung","orcid":"https://orcid.org/0000-0003-2013-8763","observed_orcids":["https://orcid.org/0000-0003-2013-8763","https://orcid.org/0000-0002-9462-4230"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eui-Young Chung","raw_affiliation_strings":["Computer Systems Laboratory, Stanford University, Stanford, CA, USA","Comput. Syst. Lab., Stanford Univ., CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems Laboratory, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Comput. Syst. Lab., Stanford Univ., CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043408422","display_name":"Luca Benini","orcid":"https://orcid.org/0000-0001-8068-3806","observed_orcids":["https://orcid.org/0000-0001-8068-3806"]},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"B. Luca","raw_affiliation_strings":["University of Bologna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010644281","display_name":"Giovanni DeMicheli","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G. DeMicheli","raw_affiliation_strings":["Computer Systems Laboratory, Stanford University, Stanford, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems Laboratory, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035117620","display_name":"G. Luculli","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"G. Luculli","raw_affiliation_strings":["AST, STMicroelectronics, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AST, STMicroelectronics, Grenoble, France","institution_ids":["https://openalex.org/I4210104693"]}]},{"author_position":"last","author":{"id":null,"display_name":"M. Carilli","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Carilli","raw_affiliation_strings":["AST, STMicroelectronics, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AST, STMicroelectronics, Grenoble, France","institution_ids":["https://openalex.org/I4210104693"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":1.1805,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82082571,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":95},"biblio":{"volume":"21","issue":"9","first_page":"1051","last_page":"1067"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.8974999785423279,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.8974999785423279,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.052299998700618744,"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/T10126","display_name":"Logic, programming, and type systems","score":0.025100000202655792,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-specialization","display_name":"code specialization","score":0.7739999890327454},{"id":"https://openalex.org/keywords/embedded-software","display_name":"embedded software","score":0.7599999904632568},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"partial evaluation","score":0.996999979019165},{"id":"https://openalex.org/keywords/automatic-code-optimization","display_name":"automatic code optimization","score":0.42399999499320984},{"id":"https://openalex.org/keywords/energy-consumption-reduction","display_name":"energy consumption reduction","score":0.7739999890327454},{"id":"https://openalex.org/keywords/worst-case-performance","display_name":"worst-case performance","score":0.7760000228881836},{"id":"https://openalex.org/keywords/software-size","display_name":"program size","score":0.5450000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8120888471603394},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.6639987826347351},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6258658170700073},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6002011895179749},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5363569855690002},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.4877505898475647},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.46286851167678833},{"id":"https://openalex.org/C121957198","wikidata":"https://www.wikidata.org/wiki/Q14365593","display_name":"KPI-driven code analysis","level":5,"score":0.43246597051620483},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2966339588165283},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17966434359550476},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07149443030357361},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2002.801096","doi":"https://doi.org/10.1109/tcad.2002.801096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2002.801096","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-2","norway-1","poland-100","russia-white-list-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.6.2728","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2728","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://chronos.stanford.edu/users/nanni/publications/archive/./2002/ICAS1051-1067.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W19408225","https://openalex.org/W40192171","https://openalex.org/W1522951882","https://openalex.org/W1529304102","https://openalex.org/W1534041718","https://openalex.org/W1539883310","https://openalex.org/W1556604985","https://openalex.org/W1572085513","https://openalex.org/W1573321520","https://openalex.org/W1581710334","https://openalex.org/W1855084269","https://openalex.org/W1911887900","https://openalex.org/W1963827069","https://openalex.org/W1973312887","https://openalex.org/W1994115836","https://openalex.org/W1997249557","https://openalex.org/W1999421209","https://openalex.org/W2015390167","https://openalex.org/W2016909415","https://openalex.org/W2021442934","https://openalex.org/W2034674049","https://openalex.org/W2047226031","https://openalex.org/W2049890071","https://openalex.org/W2052279347","https://openalex.org/W2058958439","https://openalex.org/W2063583051","https://openalex.org/W2075996447","https://openalex.org/W2079512381","https://openalex.org/W2095872092","https://openalex.org/W2100179936","https://openalex.org/W2106091351","https://openalex.org/W2106805276","https://openalex.org/W2111838219","https://openalex.org/W2112482891","https://openalex.org/W2120525597","https://openalex.org/W2125452276","https://openalex.org/W2125762026","https://openalex.org/W2128708904","https://openalex.org/W2132471117","https://openalex.org/W2135992106","https://openalex.org/W2144230665","https://openalex.org/W2144270820","https://openalex.org/W2144334298","https://openalex.org/W2146161295","https://openalex.org/W2146694142","https://openalex.org/W2148273314","https://openalex.org/W2149237601","https://openalex.org/W2157435683","https://openalex.org/W2505443766","https://openalex.org/W2539688820","https://openalex.org/W4230703976","https://openalex.org/W4233649183","https://openalex.org/W4241074850","https://openalex.org/W4248185003","https://openalex.org/W4249328271","https://openalex.org/W4251073284","https://openalex.org/W4299739324","https://openalex.org/W6813215830"],"related_works":["https://openalex.org/W4240455683","https://openalex.org/W166789","https://openalex.org/W2135148400","https://openalex.org/W7096460656","https://openalex.org/W2139636403","https://openalex.org/W4230703976","https://openalex.org/W2009512839","https://openalex.org/W2130565751","https://openalex.org/W2142410913","https://openalex.org/W4234405621"],"abstract_inverted_index":{"The":[0,79],"objective":[1],"of":[2,13,28,53,76,108,118],"this":[3],"work":[4],"is":[5,91],"to":[6,23,113,140],"create":[7],"a":[8,20,37,50,116],"framework":[9],"for":[10,71],"the":[11,25,63,72,89,109,125],"optimization":[12,136],"embedded":[14],"software.":[15],"We":[16],"present":[17],"algorithms":[18],"and":[19,33,44,57,86,88,106],"tool":[21,61],"flow":[22],"reduce":[24],"computational":[26,64],"effort":[27,65],"programs,":[29],"using":[30],"value":[31],"profiling":[32],"partial":[34,94],"evaluation.":[35,95],"Such":[36],"reduction":[38],"translates":[39],"into":[40],"both":[41,103],"energy":[42,104],"savings":[43],"average-case":[45],"performance":[46,56,107],"improvement,":[47],"while":[48],"preserving":[49],"tolerable":[51],"increase":[52],"worst":[54],"case":[55],"code":[58,90,111,135],"size.":[59],"Our":[60],"reduces":[62,134],"by":[66],"specializing":[67],"frequently":[68],"executed":[69],"procedures":[70],"most":[73,80],"common":[74],"values":[75],"their":[77,100,129],"parameters.":[78],"effective":[81],"specializations":[82],"are":[83],"automatically":[84],"searched":[85],"identified,":[87],"transformed":[92],"through":[93],"Experimental":[96],"results":[97],"show":[98],"that":[99],"technique":[101],"improves":[102],"consumption":[105],"source":[110],"up":[112],"more":[114],"than":[115],"factor":[117],"two,":[119],"in":[120],"average":[121],"about":[122],"35%":[123],"over":[124],"original":[126],"program.":[127],"Also,":[128],"automatic":[130],"search":[131],"engine":[132],"greatly":[133],"time":[137],"with":[138],"respect":[139],"exhaustive":[141],"search.":[142]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}