The CS 6120 Course Blog

Type Preserving Compilation to Typed Assembly Language (TAL)

by Andrey Yao

Vectorization for Bril

by Jonathan Tran

Banked Memory Compiler Backend in MLIR

by Andrew Butt, Nikita Lazarev

Implementing the Calculus of Constructions

by Alaia Solko-Breslin

Bril Bytecode Interpreter

by Charles Sherk, Susan Garry

Memory Optimization and Profiling for MLIR-Based HeteroCL

by Hongzheng Chen, Niansong Zhang, Jiajie Li

Xi++: Object Oriented Features for Xi

by Michael Maitland, Orko Sinha

Formal Verification of a Realistic Compiler

by Anshuman Mohan, Alaia Solko-Breslin

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures

by Hongzheng Chen

Superoptimizer: A Look at the Smallest Program

by Jonathan Tran, Victor Giannakouris

Efficient SELF Implementation

by Charles Sherk

A Unified Theory of Garbage Collection

by Orko Sinha, Michael Maitland

Type-based Alias Analysis

by Andrew Butt, Andrey Yao

Fast Conservative Garbage Collection

by Ayaka Yorihiro, Shubham Chaudhary

Provably Correct Peephole Optimizations with Alive

by Aaron Tucker

Efficient Path Profiling

by Niansong Zhang, Jiajie Li

Welcome to CS 6120!

by Adrian Sampson