YoVDO

Incremental Dialyzer: How We Made Dialyzer 7x Faster

Offered By: Code Sync via YouTube

Tags

Programming Languages Courses Elixir Courses Erlang Courses Software Engineering Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Discover how to significantly improve Dialyzer's performance in this conference talk from Code BEAM Europe 2022. Learn about the new incremental mode for Dialyzer that can make it up to 7 times faster by avoiding redundant work. Explore the differences between the classic model of building a PLT and checking it, and the innovative incremental approach. Gain insights into optimizing Dialyzer for Erlang and Elixir projects, making it more efficient and practical for everyday use. The talk covers classic Dialyzer, introduces the incremental Dialyzer concept, demonstrates its speed improvements, and concludes with a Q&A session. Ideal for Erlang and Elixir developers looking to enhance their static analysis workflow and boost productivity.

Syllabus

00:00 - - Classic Dialyzer
03:15 - - Incremental Dialyzer
12:11 - - 7x Times Faster
27:54 - - QnA


Taught by

Code Sync

Related Courses

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX
Developing Secure Software
LinkedIn Learning
Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning
Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy
Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy