Coursework

cbpv-stacks.pdf — Course paper for 15-413, Advanced Foundations in Programming Languages, Prof. Robert Harper. Discusses a logical relation on a cbpv calculus with first-class continuations.

nylon — Course project and report for 15-418, Parallel Computer Architecture and Programming, Profs. Nathan Beckmann and Dimitrios Skarlatos. A simple parallel dataflow programming library in Rust.

c0c.pdf — Course report for 15-411, Compiler Design, Prof. Seth Goldstein. Discusses an optimizing x86-64 compiler of C0 written in Haskell.