Coursework
Coursework sometimes generates artifacts. They are left here if they are presentable enough or if there is a course requirement to host them on a webpage (in which case, I also try to make them presentable enough).
Course report for 15-411, Compiler Design, Prof. Seth Goldstein. Discusses an optimizing x86-64 compiler of C0, a subset of C, written in Haskell.
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.
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.
Expand/CollapseMetadata
- Idcoursework
- (Language)
en-US - TitleCoursework
- (Created)
- (Updated)
- Attributes∅
- Banner∅
- (Description)Coursework sometimes generates artifacts. They are left here if they are presentable enough or if there is a course requirement to host them on a webpage (in which case, I also try to make them presentable enough).