The CS 6120 Course Blog

A Bril to x86 Compiler

by Tean Lai

What is a bug? New ways to test verification tools.

by Max Fan

Bril MLIR Dialect

by Bryant Park, David Han, Lisa Li

It's About (wasm)Time: A Bril to Wasm Translator

by Annabel Baniak, Michael Xing, Serena Duncan

Brilooped

by Gerardo Garcia Teruel Noriega, Dev Patel

A Flattened Representation for Bril

by Ernest Ng, Katherine Wu, Samuel Breckenridge

Global Value Numbering for Bril

by Allen Wang

Quantifier Elimination For Imperative Programs

by Simon Bertron

A Simplified Polyhedral IR for Bril

by Mark Barbone

Technology Mapping with Egraphs

by Arnav Muthiayen, Neel Patel

Final Project: Parallel Dataflow Analysis

by Ethan Uppal, Zihan Li

Typed Based Alias Analysis

by Michael Xing, Gerardo Teruel, Arnav Muthiayen

Superoptimization: a quest for -O∞

by Mark Barbone, Zihan Li, Samuel Breckenridge

SELF love: The origins of dynamic compilers

by Ananya Goenka, Serena Duncan

Exploring the Merits of the Garbage Collection Spectrum

by Ethan Gabizon, Ernest Ng, Parth Sarkar

Memory Compaction via Meshing

by Lisa Li, Bryant Park, Mariia Soroka, David Han

Simple and Efficient Construction of Static Single Assignment Form

by Dev Patel, Neel Patel

Efficient Path Profiling Paper

by Allen Wang, Kabir Samsi, Noah Schiff, Simon Bertron

Welcome to CS 6120!

by Adrian Sampson