Anthony Canino

Graduate Student
Department Computer Science
State University of New York at Binghamton
Email: acanino1 at

I am currently a 5th year PhD Student studying under Prof. Yu David Liu at Binghamton University. My research interests include type systems, programming languages, systems, and software engineering; specifically, I work on techniques for energy management of computer systems across the software stack.

Current Projects


Ent is a programming language for mode-based energy management at the application level with two design goals: a proactive design that helps programmers apply their application knowledge to by characterizing the energy behavior of different program fragments with mode types, and an adaptive design that allows dynamic program behavior dependent on program states, such as configuration settings, external battery levels, or CPU temperatures, to be captured by the typesystem at runtime. Ent's proactive and adaptive components are unified under a mixed type system combining static typing and dynamic typing.


Aeneas is an energy optimization framework for Android that provides a minimalistic programming model where acceptable program behavioral settings are abstracted as knobs and application-specific optimization goals --- such as meeting an energy budget --- are crystallized as rewards. Aeneas is powered by a stochastic optimizer that adaptively and intelligently select the reward-optimal knob setting through a form of reinforcement learning.

Recent Work