The CS 6120 Course Blog

A DSL for Studying Metastability

by Ali Farahbakhsh

Array IR for Mixed Cryptography

by Vivian Ding, William Wang

BLOKE: Optimizing Bril with STOKE

by Kei Imada

An Interpreter for the btor2 Model Checking Language

by Sanjit Basker, Omkar Bhalerao, Justin Ngai


by Zak Kent, Benny Rubin

Bril to RISC-V Lowering System

by John Rubio, Arjun Shah

Implementing the Polyhedral Model

by Benjamin Carleton

Frontend Integration for Accelerator Memory Compiler

by Matthew Hofmann, Yixiao Du

Welcome to CS 6120!

by Adrian Sampson