Learning to Boost Disjunctive Static Bug-Finders

Offered By: ACM SIGPLAN via YouTube

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

Introduction to Artificial Intelligence
Stanford University via Udacity Natural Language Processing
Columbia University via Coursera Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent