YoVDO

Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024

Offered By: ACM SIGPLAN via YouTube

Tags

Compiler Design Courses Ada Courses Static Analysis Courses Type Safety Courses Abstract Syntax Tree Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a novel approach to writing type-safe compiler front-ends in this 40-minute conference talk from INFER 2024. Discover how to combine nanopasses and recursion schemes to create strongly typed compiler passes with minimal boilerplate code. Learn about the implementation of this technique in the Ada frontend for the Infer analyzer, presented by Daniel Mercier from AdaCore. Gain insights into solving the challenge of typing compiler passes when source and destination languages share multiple node kinds, while maintaining a strict typing discipline.

Syllabus

[INFER24] Type-safe Nanopasses: How to write a safe and modern compiler front-end


Taught by

ACM SIGPLAN

Related Courses

Building Your Own Programming Language
Frontend Masters
Abstract Syntax Trees
egghead.io
React Applications Structure Analysis Using AST - React.js Conf 2015
Meta via YouTube
Defending against PowerShell Attacks
YouTube
Compilers - Jared Shumway
White Hat Cal Poly via YouTube