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

Ser más creativos
Universidad Nacional Autónoma de México via Coursera Advanced Data Structures in Java
University of California, San Diego via Coursera Programmation objet immersive en Pharo
Inria (French Institute for Research in Computer Science and Automation) via France Université Numerique Methods for Solving Problems
University of Colorado Boulder via Coursera Interpersonal, Developmental, and Evolutionary Perspectives of the Mind
University of Colorado Boulder via Coursera