Profile photo of Armando Solar-Lezama
Armando Solar-Lezama, Ph.D.
PRECISE Seminar: Beyond Bug Finding - Leveraging Program Analysis to Make Programming Easier
September 30, 2011

The last ten years have seen the coming of age of a range of verification technologies to ensure that programs behave correctly according to their specifications. But checking for errors is only the first step down the road to better more reliable software.  The same technology that can help us discover bugs and verify the correctness of existing software can enable a new class of programming systems that enable more natural and more declarative forms of interaction, and that may ultimately lead to better software that both more reliable and easier to produce.

This talk will…