This tutorial will be a mix of a presentation of material and hands-on development of a Jalangi analysis. Specifically, we will present a detailed guide to writing Jalangi analyses by introducing the framework’s functionality, good patterns to follow, pitfalls to avoid, and debugging strategies, and by walking attendees through implementing and running a simple Jalangi analysis during the tutorial. We will also present three higher-level analysis frameworks built using Jalangi: DLint, JITProf, and MemInsight. DLint is a framework for checking lightweight linting rules at runtime, enabling checking of properties that are difficult to handle using static linting alone. JITProf is a framework to dynamically identify code locations that prohibit profitable JIT optimizations. MemInsight is a framework for discovering memory issues, and it provides a convenient, high-level trace abstraction for implementing new issue detectors. We will describe how one can easily extend these frameworks to implement new rules or analyses.
Tue 14 Jun Times are displayed in time zone: Tijuana, Baja California change
|13:30 - 15:00|