The CS 6120 Course Blog

A DSL for Studying Metastability

by Ali Farahbakhsh

Array IR for Mixed Cryptography

by Vivian Ding, William Wang

Variable Arguments in Bril and Arrays in the TypeScript Compiler

by Alice Sze

BLOKE: Optimizing Bril with STOKE

by Kei Imada

C++ Infrastructure for Bril

by Albert Xiao, Ryan Mao

An Interpreter for the btor2 Model Checking Language

by Sanjit Basker, Omkar Bhalerao, Justin Ngai

JITNIC

by Zak Kent, Benny Rubin

Bril to RISC-V Lowering System

by John Rubio, Arjun Shah

Implementing the Polyhedral Model

by Benjamin Carleton

Support LLVM GlobalISel for RISC-V Vector Extension on Partial ALU Instructions

by Jiahan Xie, Michael Maitland

Frontend Integration for Accelerator Memory Compiler

by Matthew Hofmann, Yixiao Du

Verifying Software Systems: Theory and Practice

by Zak Kent, Ali Farahbakhsh, Stephen Verderame

MLIR: A Compiler Infrastructure for the End of Moore’s Law

by John Rubio, Jiahan Xie, Arjun Shah

Chlorophyll: synthesis-aided compiler for low-power spatial architectures

by Matthew Hofmann, Yixiao Du

Are trace-based compilers the endangered species of JITs?

by Enoch Chen, Vivian Ding, William Wang

An Efficient Implementation of SELF

by Benny Rubin, Collin Zhang, Alice Sze

How Type Systems Optimize Optimizers

by Albert Xiao, Jan-Paul Ramos, Kei Imada, Ryan Mao

A Unified Theory of Garbage Collection

by Sanjit Basker, Omkar Bhalerao, Melinda Fang, Justin Ngai

Provably Correct Peephole Optimizations with Alive

by Benjamin Carleton

MESH: Fancy Memory Management

by Emily Wang, Evan Willians, Andy He

Welcome to CS 6120!

by Adrian Sampson