Learning-aided Program Reasoning

Description

This lecture by the instructor covers the fundamental challenges in program reasoning, such as bug-finding and verification, using examples like the Heartbleed bug. It explores the use of static analysis tools like Clang Static Analyzer and the application of differential Bayesian reasoning to prioritize true alarms over false alarms. The lecture also delves into the automation and accuracy challenges in program verification, showcasing research contributions leveraging machine learning. The talk outlines differential Bayesian reasoning frameworks and deep reinforcement learning frameworks for program verification, emphasizing the importance of learning-aided approaches in addressing these challenges.

Official source

https://mediaspace.epfl.ch/media/0_aycx0koe

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (1,000)

Related concepts (451)

Microsoft PowerPoint

Microsoft PowerPoint is a presentation program, created by Robert Gaskins and Dennis Austin at a software company named Forethought, Inc. It was released on April 20, 1987, initially for Macintosh computers only. Microsoft acquired PowerPoint for about $14 million three months after it appeared. This was Microsoft's first significant acquisition, and Microsoft set up a new business unit for PowerPoint in Silicon Valley where Forethought had been located.

Microsoft Office 2007

Microsoft Office 2007 (codenamed Office 12) is an office suite for Windows, developed and published by Microsoft. It was officially revealed on March 9, 2006 and was the 12th version of Microsoft Office. It was released to manufacturing on November 3, 2006; it was subsequently made available to volume license customers on November 30, 2006, and later to retail on January 30, 2007, shortly after the completion of Windows Vista. The ninth major release of Office for Windows, Office 2007 was preceded by Office 2003 and succeeded by Office 2010.

Microsoft Office 2010

Microsoft Office 2010 (codenamed Office 14) is a version of Microsoft Office for Microsoft Windows unveiled by Microsoft on May 15, 2009, and released to manufacturing on April 15, 2010, with general availability on June 15, 2010, as the successor to Office 2007 and the predecessor to Office 2013. The macOS equivalent, Microsoft Office 2011 for Mac was released on October 26, 2010. Office 2010 introduces user interface enhancements including a Backstage view that consolidates document management tasks into a single location.

Microsoft Excel

Microsoft Excel is a spreadsheet editor developed by Microsoft for Windows, macOS, Android, iOS and iPadOS. It features calculation or computation capabilities, graphing tools, pivot tables, and a macro programming language called Visual Basic for Applications (VBA). Excel forms part of the Microsoft 365 suite of software. Spreadsheet Microsoft Excel has the basic features of all spreadsheets, using a grid of cells arranged in numbered rows and letter-named columns to organize data manipulations like arithmetic operations.

Microsoft Office shared tools

Microsoft Office shared tools are software components that are (or were) included in all Microsoft Office products. Office Delve allows Office 365 users to search and manage their emails, meetings, contacts, social networks and documents stored on OneDrive or Sites in Office 365. Delve uses machine learning and artificial intelligence In April 2015 Microsoft launched a mobile version of Office Delve in the App Store and Google Play for users with an Office 365 subscription.