Secure and Reliable Software Systemswith Cooperative Program Analysis Bor-Yuh Evan Chang from 2010 world cu Watch Video
Preview(s): Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Your browser does not support playing the video.Please download the video!
⏲ Duration: 29 min 93 sec ✓ Published: 11-Oct-2016
Description: While we have seen an explosion in the reasoning capabilities of automated program analyzers in the last decade, it is still quite rare to see advanced program analyzers assisting software developers to find and fix bugs. This situation is not due to a lack of effort in deployment but rather a relative lack of techniques that enable the human user to take advantage of the wealth of information derivable by an analyzer.nnIn this talk, Chang presents some of their approaches that move beyond the s