The CS 6120 Course Blog

Adding OOP to the Gator Shading Language

by Evan Adler

Higher-Order Functions in Bril

by Priya Srikumar, Goktug Saatcioglu

Loop Pipeline Initiation Interval Estimation Using LLVM

by Jie Liu

Bril Extension for Algebraic Data Types

by Will Smith

A Loop Flattening Pass in LLVM

by Hanchen Jin

Automatic Static Memory Management in Bril

by Patrick LaFontaine

Modifying LLVM’s IR to Assembly on a Existing ISA with Different Number of Registers

by Socrates Wong

Struct Extension for Compiled Bril Programs

by Mark Moeller

Compilation-Based Execution Engine for a Database

by Ankush Rayabhari

Experimenting with FuTIL

by Theodore Bauer

Loop Unrolling in the Networking Domain

by Samwise Parkinson

A Semi-Practical Type-and-Effect System

by Kenneth Li

CompCert: the Double-Edged Sword of Verification

by Priya Srikumar

A Type and Effect System for Deterministic Parallel Java

by Hanchen Jin

Exploiting Superword Level Parallelism with Multimedia Instruction Sets

by Ankush Rayabhari

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures

by Jie Liu

Super Optimization

by Socrates Wong

TraceMonkey: Trace-based Just-in-Time Compilation for JavaScript and Other Dynamic Languages

by Will Smith

Self-Confidence: How SELF Became a High-Performance Language

by Evan Adler

Fast Conservative Garbage Collection

by Patrick LaFontaine

Unified Theory of Garbage Collection

by Mark Moeller

Type-Based Alias Analysis

by Kenneth Li

Provably Correct Peephole Optimizations with Alive

by Goktug Saatcioglu, Samwise Parkinson

Efficient Path Profiling

by Theodore Bauer

Taking Measurement Seriously

by Adrian Sampson

Welcome to CS 6120!

by Adrian Sampson