Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Easy Abstract Interpretation with SPARTA

Strange Loop Conference via YouTube

Overview

Explore the world of abstract interpretation and learn how to build scalable static analyzers efficiently using SPARTA, a C++ library developed by Facebook. Discover how this powerful tool streamlines the process of creating high-performance static analyzers for production environments. Delve into the key algorithms behind SPARTA and understand its language-independent nature, making it applicable across various platforms. Learn how Facebook utilizes SPARTA in their open-source Android bytecode optimizing compiler, Redex. Gain insights from experts Arnaud Venet, a PhD holder in abstract interpretation, and Jez Ng, an experienced programmer in language runtimes and compilers. By the end of this conference talk, you'll have a solid understanding of how to leverage SPARTA for your own analyses, focusing on extracting desired information from programs while ensuring soundness, efficiency, and scalability.

Syllabus

"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng

Taught by

Strange Loop Conference

Reviews

Start your review of Easy Abstract Interpretation with SPARTA

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.