Take Cornell's CS 6120 Advanced Compilers For Free
Written by Nikos Vaggalis   
Tuesday, 19 January 2021

A PhD-level course, originally provided remotely to Cornell Computer Science students, has now been made available for free to anyone in a self-paced version.

 

The full title of this course is Fall 2020: CS 6120, “Advanced Compilers”. It a new and experimental PhD-level course about programming language implementation using a broad definition of "compilers".It is taught by Adrian Simpson, an assistant professor in the Department of Computer Science at Cornell University, who specializes in programming languages and computer architecture.

The course covers:

Universal compilers topics like intermediate representations, data flow, and “classic” optimizations as well as more research-flavored topics such as parallelization, just-in-time compilation, and garbage collection.Use of LLVM and an educational IR ( intermediate representation,called Bril) invented just for this class:

Bril is an instruction-oriented language, like most good IRs.The core is minimal and ruthlessly regular. Extensions make it interesting.The tooling is language agnostic. Bril programs are just JSON.Bril is typed.

There are 13 Lessons comprising of videos, notes, and tasks in writing code.In the end there's also a final assignment. The main differences with the “real” CS 6120 is that you can ignore the task deadlines and you can’t participate in the class's discussion hreads.

These lessons are :

Lesson 1: Welcome & Overview

Lesson 2: Representing Programs

Lesson 3: Local Analysis & Optimization

Lesson 4: Data Flow

Lesson 5: Global Analysis & SSA

Lesson 6: LLVM

Lesson 7: Loop Optimization

Lesson 8: Interprocedural Analysis

Lesson 9: Alias Analysis

Lesson 10: Memory Management

Lesson 11: Dynamic Compilers

Lesson 12: Program Synthesis

Lesson 13: Concurrency & Parallelism

Each lesson has an associated task. For instance, Lesson 2 requires the student to acquire familiarity with Bril, write a new benchmark and a program to analyze or transform Bril programs in some small way. Since you'll be taking the self-paced counterpart you don't have to submit the tasks, although it is advisable to attempt them in order to solidify the theory. The issue with that is that if you run into problems, there's no real help as you can't ask anyone.

In between the lessons students are expected to read externally referenced research papers, such as "An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes", "Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures", or "Trace-Based Just-in-Time Type Specialization for Dynamic Languages".

This course is not about parsing, but about the deeper topics of the semantics of programs and compiler optimization. It requires a lot of research and is very theoretical, living up to its branding as a "PhD-level" course. If you're more practical then you're better off with the more down-to-earth alternatives of the following great books:

How To Create Pragmatic, Lightweight Languages

Parsing with Perl 6 Regexes and Grammars 

On the other hand, if you really want to dive deep into compiler magic, then this is the chance you've been waiting for...

More Information

CS 6120: Advanced Compilers: The Self-Guided Online Course

Directory of all lessons' video lectures 

Related Articles

How To Create Pragmatic, Lightweight Languages
Parsing with Perl 6 Regexes and Grammars 

 

To be informed about new articles on I Programmer, sign up for our weekly newsletter, subscribe to the RSS feed and follow us on Twitter, Facebook or Linkedin.

 

Banner


Knative Reaches 1.0
18/11/2021

Knative 1.0 has been released. Knative is an open source project based on Kubernetes for building, deploying, and managing serverless workloads. It was originally developed by Google with contribution [ ... ]



The Third Age Of AI - Megatron-Turing NLG
03/11/2021

We seem to be moving through a third revolution in AI and it is advancing without too much notice. Part of the reason is that it is difficult to know for sure where the revolution is going.


More News
 

square

 



 

Comments




or email your comment to: comments@i-programmer.info

Last Updated ( Tuesday, 19 January 2021 )