Sat 22 Jun 2019 16:00 - 17:30 at 105A - Keynote

Computer-aided approaches to discover bugs or verify programs have made significant strides in recent years. However, the dominant approaches to develop and maintain software continue to rely heavily on human expertise. A remarkable asset possessed by humans is the ability to learn from past experiences, discover patterns, and avoid repeating mistakes. In this talk, I will describe our experience with leveraging artificial intelligence techniques to analyze large, complex programs and discover harmful bugs or prove correctness properties.

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
KeynoteMAPL at 105A
Keynote: Learning to Reason about Programs
Mayur Naik University of Pennsylvania