Applying Address Sanitizer to the Nix codebase by Farid Zakaria fzmakari@ucsc.edu

Apple M1 Architecture Investigation by Matt Boisvert

Data-Flow Analysis Visualizer by Shun Kashiwa

Rewriting the Scenic Compiler by Eric Vin

Solving Sudoku with Z3 by Alec Siegel

Using Csmith to Find Compiler Bugs by Kai Tamkun