Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects

  • Date Tuesday, April 16, 2019  Time 11:00 AM
  • Speaker Bor-Yuh Evan Chang, Associate Professor of Computer Science at the University of Colorado Boulder
  • Location Galois Inc., 421 SW 6th Ave. Suite 300, Portland, OR, USA, (3rd floor of the Commonwealth building)
  • Galois is pleased to host the following tech talk.
    These talks are open to the interested public--please join us!
    (There is no need to pre-register for the talk.)

    The presentation will be live streamed on Galois's YouTube channel.

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 appropriate application-programming interface (API) calls that can then in turn affect the set of possible future callbacks. An app violates the protocol when, for example, it calls a particular API method in a state of the framework where making such a call is invalid. What makes verification and automated reasoning hard in this domain is largely what makes programming apps against such frameworks hard: the specification of the protocol is unclear, and the control flow is complex, asynchronous, and higher-order. In this talk, I present some of our efforts as part of the DARPA MUSE program in developing tools and techniques for finding and fixing bugs in event-driven mobile applications.

Bor-Yuh Evan Chang ( 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).