Haowei Wu

Learn More
Android software presents many challenges for static program analysis. In this work we focus on the fundamental problem of static control-flow analysis. Traditional analyses cannot be directly applied to Android because the applications are framework-based and event-driven. We consider user-event-driven components and the related sequences of callbacks from(More)
Android devices have limited hardware resources (e.g., memory). Excessive consumption of such resources may lead to crashes, poor responsiveness, battery drain, and negative user experience. We propose an approach for systematic automated test generation to expose resource leak defects in Android applications. We first define the notion of a neutral(More)
For static analysis researchers, Android software presents a wide variety of interesting challenges. The target of our work is static detection of energy-drain defects in Android applications. The management of energy-intensive resources (e.g., GPS) creates various opportunities for software defects. Our goal is to detect statically “missing(More)
1 —In this paper, we study the effects of interference to channel estimation and present an iterative total least-squares algorithm for channel estimation by using the conjugate gradient method in time-varying multipath fading channels. The Doppler shift of fast-fading channels will generate inter-carrier interference (ICI), hence, degrade the performance(More)
  • 1