{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T13:35:53Z","timestamp":1782912953073,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062356","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"217-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Proactive and adaptive energy-aware programming with mixed typechecking"],"prefix":"10.1145","author":[{"given":"Anthony","family":"Canino","sequence":"first","affiliation":[{"name":"SUNY Binghamton, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu David","family":"Liu","sequence":"additional","affiliation":[{"name":"SUNY Binghamton, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Advanced configuration and power interface http:\/\/ www .acpi.info. Advanced configuration and power interface http:\/\/ www .acpi.info."},{"key":"e_1_3_2_1_2_1","unstructured":"Duckduckgo https:\/\/github .com\/duckduckgo\/ android. Duckduckgo https:\/\/github .com\/duckduckgo\/ android."},{"key":"e_1_3_2_1_3_1","unstructured":"Javaboy http:\/\/www .millstone.demon.co.uk\/ download\/javaboy\/. Javaboy http:\/\/www .millstone.demon.co.uk\/ download\/javaboy\/."},{"key":"e_1_3_2_1_4_1","unstructured":"jspider http:\/\/jspider.sourceforge.net. jspider http:\/\/jspider.sourceforge.net."},{"key":"e_1_3_2_1_5_1","unstructured":"Materiallife https:\/\/github .com\/ juankysoriano\/MaterialLife. Materiallife https:\/\/github .com\/ juankysoriano\/MaterialLife."},{"key":"e_1_3_2_1_6_1","unstructured":"Mopi https:\/\/pi.gate.ac.uk\/pages\/mopi.html. Mopi https:\/\/pi.gate.ac.uk\/pages\/mopi.html."},{"key":"e_1_3_2_1_7_1","unstructured":"Newpipe https:\/\/github .com\/TeamNewPipe\/ NewPipe. Newpipe https:\/\/github .com\/TeamNewPipe\/ NewPipe."},{"key":"e_1_3_2_1_8_1","unstructured":"Turn your pi into a low-cost hd serveillance cam https: \/\/www .raspberrypi.org\/blog\/turn-your-piinto-a-low-cost-hd-surveillance-cam\/ . Turn your pi into a low-cost hd serveillance cam https: \/\/www .raspberrypi.org\/blog\/turn-your-piinto-a-low-cost-hd-surveillance-cam\/ ."},{"key":"e_1_3_2_1_9_1","unstructured":"Satellite cameras saving endangered species http: \/\/www .cambridgeconsultants.com\/news\/pr\/ release\/140\/en . Satellite cameras saving endangered species http: \/\/www .cambridgeconsultants.com\/news\/pr\/ release\/140\/en ."},{"key":"e_1_3_2_1_10_1","unstructured":"Emulation on raspberry pi 2 https:\/\/ www .raspberrypi.org\/blog\/emulation-onraspberry-pi-2\/ . Emulation on raspberry pi 2 https:\/\/ www .raspberrypi.org\/blog\/emulation-onraspberry-pi-2\/ ."},{"key":"e_1_3_2_1_11_1","unstructured":"Raspberry pi https:\/\/www.raspberrypi.org\/ . Raspberry pi https:\/\/www.raspberrypi.org\/ ."},{"key":"e_1_3_2_1_12_1","unstructured":"Raspberry pi camera https:\/\/ www .raspberrypi.org\/documentation\/ raspbian\/applications\/camera .md . Raspberry pi camera https:\/\/ www .raspberrypi.org\/documentation\/ raspbian\/applications\/camera .md ."},{"key":"e_1_3_2_1_13_1","unstructured":"Raspberry pi camera java https:\/\/ blogs .msdn.microsoft.com\/robert mcmurray\/ 2015\/06\/12\/simple-java-wrapper-classfor-raspistill-on-the-raspberry-pi-2\/ . Raspberry pi camera java https:\/\/ blogs .msdn.microsoft.com\/robert mcmurray\/ 2015\/06\/12\/simple-java-wrapper-classfor-raspistill-on-the-raspberry-pi-2\/ ."},{"key":"e_1_3_2_1_14_1","unstructured":"Simbamon https:\/\/github .com\/ hamishcunningham\/pi-tronics\/tree\/master\/ simbamon. Simbamon https:\/\/github .com\/ hamishcunningham\/pi-tronics\/tree\/master\/ simbamon."},{"key":"e_1_3_2_1_15_1","unstructured":"Soundrecorder https:\/\/github .com\/dkim0419\/ SoundRecorder. Soundrecorder https:\/\/github .com\/dkim0419\/ SoundRecorder."},{"key":"e_1_3_2_1_16_1","unstructured":"Watts up? power meters https:\/\/ www .wattsupmeters.com\/secure\/index.php. Watts up? power meters https:\/\/ www .wattsupmeters.com\/secure\/index.php."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75296"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"N. Ayewah W. Pugh J. D. Morgenthaler J. Penix and Y. Zhou. Evaluating static analysis defect warnings on production software. PASTE \u201907 pages 1\u20138. N. Ayewah W. Pugh J. D. Morgenthaler J. Penix and Y. Zhou. Evaluating static analysis defect warnings on production software. PASTE \u201907 pages 1\u20138.","DOI":"10.1145\/1251535.1251536"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988752"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963488"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541958"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814301"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784758"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337185"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509546"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1013"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_29_1","first-page":"329","volume-title":"POPL \u201917","author":"E."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/4.126534"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384676"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1840845.1840883"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319155"},{"key":"e_1_3_2_1_36_1","first-page":"63361","volume-title":"Inc.","author":"Gamma E.","year":"1995"},{"key":"e_1_3_2_1_37_1","unstructured":"L. Gomez I. Neamtiu T. Azim and T. Millstein. Reran: Timing- and touch-sensitive record and replay for android. In ICSE \u201913. L. Gomez I. Neamtiu T. Azim and T. Millstein. Reran: Timing- and touch-sensitive record and replay for android. In ICSE \u201913."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815403"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950390"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009842"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854045"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660196"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"S. Kaxiras and M. Martonosi. Computer Architecture Techniques for Power-Efficiency. Morgan and Claypool Publishers 1st edition 2008. S. Kaxiras and M. Martonosi. Computer Architecture Techniques for Power-Efficiency. Morgan and Claypool Publishers 1st edition 2008.","DOI":"10.2200\/S00119ED1V01Y200805CAC004"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508168.2508170"},{"key":"e_1_3_2_1_47_1","unstructured":"K. Liu G. Pinto and Y. D. Liu. Data-oriented characterization of application-level energy optimization. In FASE \u201915. K. Liu G. Pinto and Y. D. Liu. Data-oriented characterization of application-level energy optimization. In FASE \u201915."},{"key":"e_1_3_2_1_48_1","first-page":"370","volume-title":"ECOOP \u201915","author":"Long Y."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411251"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660231"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266708"},{"key":"e_1_3_2_1_53_1","first-page":"152","volume-title":"CC \u201903","author":"Nystrom N."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070567"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307661"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660235"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93799-9_2"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_60_1","volume-title":"Scheme and Functional Programming Workshop, 6: 81\u201392","author":"Siek J. G.","year":"2006"},{"key":"e_1_3_2_1_61_1","unstructured":"J. G. Siek M. Vitousek M. Cimini and B. John. Refined criteria for gradual typing. In SNAPL \u201915. J. G. Siek M. Vitousek M. Cimini and B. John. Refined criteria for gradual typing. In SNAPL \u201915."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322279"},{"key":"e_1_3_2_1_63_1","unstructured":"Takikawa Feltey Dean Flatt Findler Tobin-Hochstadt and Felleisen. Toward practical gradual typing. In ECOOP \u201915 . Takikawa Feltey Dean Flatt Findler Tobin-Hochstadt and Felleisen. Toward practical gradual typing. In ECOOP \u201915 ."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384674"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/645395.651931"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818847"}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062356","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T12:17:28Z","timestamp":1750335448000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":67,"alternative-id":["10.1145\/3062341.3062356","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062356","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062356","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}