Lineage: A Data-Flow Analysis for Erlang

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 new Infer analysis called Lineage, designed for producing dataflow graphs from Erlang programs to perform taint checking. Learn about this over-approximating analysis that aims to capture all actual data flow without missing any connections. Discover how Lineage achieves fast performance, terminating within minutes even when applied to Erlang codebases with millions of lines of code. Gain insights into the implementation and potential applications of this powerful data-flow analysis tool for Erlang programming.

Syllabus

[INFER'23] Lineage, a Data-Flow Analysis for Erlang

Taught by

ACM SIGPLAN

Related Courses

Programming Languages
University of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity