The CS 6120 Course Blog

From Allo to XLS: Bridging Hardware Accelerator DSLs Through Traditional Compilation to ASIC Backends

by Cynthia Shao, Nikil Shyamsunder

[bracket]: Bridging Bril and Racket Educational Compilers

by Joseph Maheshe

ChocoPy2Bril: Translating ChocoPy to Bril

by Jacqueline Wen, Maggie Gao, Serena Zhang

Facade Layout Compiler

by I-Ting Tsai

Predicated SSA and SLP vectorization

by Thomas McFarland

Using Constraint Programming for tiling and fusion in tensor programs

by Nathaniel Young, Amanda Wang

BrilIR: an MLIR dialect for Bril

by Nipat Chenthanakij

TorchSplit: a Compiler Analysis for Graph Decomposition and Parallel Execution on Neural Networks

by Jeffrey Qian, Ann Zhang

Dealing with SAT, levels of optimality, and aspirations towards perfection: Denali

by Ann Zhang, Nipat Chenthanakij, Thomas McFarland

Retracing The Tracing JIT

by Jeremy Ku-Benjet, Sunwoo Kim

When Prototypes Learned to Run Fast: SELF and the Birth of Adaptive Optimization

by Jake Hyun, Tobi Weinberg, Adnan Armouti

A Unifying Theory Of Garbage Collection

by Jeffrey Qian, Helen Ge

Approximating a Pareto-Optimal Solution to Alias Analysis

by Cynthia Shao, Jonathan Brown, Pedro Pontes García

From Fragile Hacks to Formal Guarantees: How Alive Made LLVM Safer

by Nikil Shyamsunder, Shihan Fang, Joseph Maheshe, Ruolin Ye, I-Ting Tsai

The Promise and Limits of Path Profiling

by Jacqueline Wen, Maggie Gao, Serena Zhang

Introducing the TA!

by Kei Imada

Welcome to CS 6120!

by Adrian Sampson