{"id":"https://openalex.org/W2295116189","doi":"https://doi.org/10.1145/2384616.2384676","title":"Energy types","display_name":"Energy types","publication_year":2012,"publication_date":"2012-10-19","ids":{"openalex":"https://openalex.org/W2295116189","doi":"https://doi.org/10.1145/2384616.2384676","mag":"2295116189"},"language":"en","primary_location":{"id":"doi:10.1145/2384616.2384676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"},"type":"conference-paper","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/A5033942432","display_name":"Michael E. Cohen","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Cohen","raw_affiliation_strings":["SUNY Binghamton, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Binghamton, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102182807","display_name":"Haitao Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haitao Steve Zhu","raw_affiliation_strings":["SUNY Binghamton, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Binghamton, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022835279","display_name":"Emgin Ezgi Senem","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emgin Ezgi Senem","raw_affiliation_strings":["SUNY Binghamton, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Binghamton, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068471814","display_name":"Yu David Liu","orcid":"https://orcid.org/0000-0002-2768-3898"},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu David Liu","raw_affiliation_strings":["SUNY Binghamton, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Binghamton, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I123946342"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":83,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"831","last_page":"850"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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":0.9997000098228455,"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/T12238","display_name":"Green IT and Sustainability","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9948999881744385,"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/computer-science","display_name":"Computer science","score":0.7666761875152588},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6838701367378235},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.580843448638916},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.4774813652038574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3464087247848511}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7666761875152588},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6838701367378235},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.580843448638916},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4774813652038574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3464087247848511},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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":1,"locations":[{"id":"doi:10.1145/2384616.2384676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1493984463","https://openalex.org/W1568983194","https://openalex.org/W1633471522","https://openalex.org/W1812582761","https://openalex.org/W1963954367","https://openalex.org/W1993140586","https://openalex.org/W2033348393","https://openalex.org/W2036579931","https://openalex.org/W2053794660","https://openalex.org/W2075086017","https://openalex.org/W2087875803","https://openalex.org/W2097243222","https://openalex.org/W2100767055","https://openalex.org/W2100802736","https://openalex.org/W2101587002","https://openalex.org/W2101903894","https://openalex.org/W2104216136","https://openalex.org/W2110999878","https://openalex.org/W2113700934","https://openalex.org/W2114703523","https://openalex.org/W2117222496","https://openalex.org/W2119299853","https://openalex.org/W2122592814","https://openalex.org/W2123137040","https://openalex.org/W2131726714","https://openalex.org/W2133393645","https://openalex.org/W2136839747","https://openalex.org/W2137062096","https://openalex.org/W2141928865","https://openalex.org/W2143283746","https://openalex.org/W2144160229","https://openalex.org/W2149756939","https://openalex.org/W2154596969","https://openalex.org/W2155119470","https://openalex.org/W2156745311","https://openalex.org/W2162544703","https://openalex.org/W2165448367","https://openalex.org/W2166243422","https://openalex.org/W2295903522","https://openalex.org/W2417389622","https://openalex.org/W3137596000","https://openalex.org/W4230414644","https://openalex.org/W4234313899","https://openalex.org/W4240237526","https://openalex.org/W4242321992","https://openalex.org/W4244704438","https://openalex.org/W4249962740","https://openalex.org/W4249990212","https://openalex.org/W6716546636"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W2132806979","https://openalex.org/W2127315869","https://openalex.org/W1713081424","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463"],"abstract_inverted_index":{"This":[0,89],"paper":[1,90],"presents":[2],"a":[3,18,69,76,92,116,156],"novel":[4],"type":[5,62,111,134],"system":[6,135],"to":[7,86,119,140,170],"promote":[8,127],"and":[9,25,33,41,52,75,97,123,136,142],"facilitate":[10],"energy-aware":[11],"programming.":[12,163],"Energy":[13,148],"Types":[14,149],"is":[15,46,84,150],"built":[16],"upon":[17],"key":[19],"insight":[20],"into":[21],"today's":[22],"energy-efficient":[23],"systems":[24,63],"applications:":[26],"despite":[27],"the":[28,82,108,137,153],"popular":[29],"perception":[30],"that":[31],"energy":[32,44,80,128,172],"power":[34],"can":[35,57,99,125,168],"only":[36],"be":[37,58,100],"described":[38],"in":[39,55],"joules":[40],"watts,":[42],"real-world":[43],"management":[45],"often":[47],"based":[48],"on":[49],"discrete":[50],"phases":[51,96,122],"modes,":[53],"which":[54],"turn":[56],"reasoned":[59],"about":[60,121],"by":[61,103,107],"very":[64],"effectively.":[65],"A":[66],"phase":[67],"characterizes":[68],"distinct":[70],"pattern":[71],"of":[72,132,155],"program":[73,83],"workload,":[74],"mode":[77],"represents":[78],"an":[79],"state":[81],"expected":[85],"execute":[87],"in.":[88],"describes":[91],"programming":[93],"model":[94],"where":[95],"modes":[98,124],"intuitively":[101],"specified":[102],"programmers":[104],"or":[105],"inferred":[106],"compiler":[109],"as":[110,152],"information.":[112],"It":[113],"demonstrates":[114],"how":[115],"type-based":[117],"approach":[118],"reasoning":[120],"help":[126],"efficiency.":[129],"The":[130],"soundness":[131],"our":[133],"invariants":[138],"related":[139],"inter-phase":[141],"inter-mode":[143],"interactions":[144],"are":[145],"rigorously":[146],"proved.":[147],"implemented":[151],"core":[154],"prototyped":[157],"object-oriented":[158],"language":[159],"ET":[160,167],"for":[161,174],"smartphone":[162],"Preliminary":[164],"studies":[165],"show":[166],"lead":[169],"significant":[171],"savings":[173],"Android":[175],"Apps.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":12},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":13},{"year":2013,"cited_by_count":9}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}