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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

16:00 - 17:30: MAPL 2019 - Keynote at 105A
mapl-2019-papers16:00 - 17:30
Mayur NaikUniversity of Pennsylvania