Tue 14 Jun 2016 15:30 - 15:55 at Grand Ballroom Santa Ynez - Technical Talks

Over the last ten years, program synthesis technology has moved from the fringes of AI to the forefront of programming systems research. Today, there are synthesis sessions in all the major PL and software engineering conferences, and our budding community can now point to a number of success stories where synthesis technology has helped solve important problems. So are we done? The short answer is no. In this talk, I will talk about the state of the field today and what I see as important open problems.

I work with the Computer Assisted Programming Group; our goal is to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems.

Tue 14 Jun

PLMW-PLDI-2016
15:30 - 17:00: PLMW@PLDI 2016 - Technical Talks at Grand Ballroom Santa Ynez
PLMW-PLDI-2016146591100000015:30 - 15:55
Talk
Media Attached
PLMW-PLDI-2016146591250000015:55 - 16:20
Talk
Media Attached
PLMW-PLDI-2016146591400000016:20 - 16:45
Talk
Media Attached