Developing interactive apps against event-driven software frameworks, like Android, is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous programming protocols. Such protocols intertwine the proper registering of callbacks to receive control from the framework with
Bor-Yuh Evan Chang (http://www.cs.colorado.edu/~bec) is an Associate Professor of Computer Science at the University of Colorado Boulder. He is interested in tools and techniques for building, understanding, and ensuring reliable computational systems. His techniques target using novel ways of interacting with the programmer to design more precise and practical program analyses. He joined the CU Boulder faculty in 2009 after receiving his Ph.D. in 2008 from the University of California, Berkeley and his B.S. in 2002 from Carnegie Mellon University. He is a recipient of an NSF CAREER award (2010).