YoVDO

Learning to Boost Disjunctive Static Bug-Finders

Offered By: ACM SIGPLAN via YouTube

Tags

Static Analysis Courses Machine Learning Courses Software Engineering Courses Heuristics Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a cutting-edge learning-based approach for enhancing disjunctive static bug-finders in this 41-minute conference talk from ACM SIGPLAN. Delve into the challenges of path-sensitive analysis in industrial static bug-finders and discover how machine learning techniques can be leveraged to develop efficient state-selection heuristics. Learn about innovative strategies for collecting alarm-triggering traces, training multiple candidate models, and adaptively selecting the most appropriate model for each target program. Gain insights into improving the cost-to-efficiency ratio of modern static bug-finders and minimizing false positives in bug reports.

Syllabus

[INFER'23] Learning to Boost Disjunctive Static Bug-Finders


Taught by

ACM SIGPLAN

Related Courses

Intro to Computer Science
University of Virginia via Udacity Software Engineering for SaaS
University of California, Berkeley via Coursera CS50's Introduction to Computer Science
Harvard University via edX UNSW Computing 1 - The Art of Programming
OpenLearning Mobile Robotics
Open2Study