Stochastic Energy Optimization for Mobile GPS Applications
Published in Foundations of Software Engineering (FSE), 2018
Published in Foundations of Software Engineering (FSE), 2018
Published in Automated Software Engineering (ASE), 2017
Published in Programming Language Design and Implementation (PLDI), 2017