Dynamatic + XLS: integrating dynamic and static HLSOctober 2026C++ Compilers HardwareMy master’s thesis: integrating Google’s XLS into the Dynamatic high-level synthesis compiler, so a dynamically scheduled circuit can contain statically scheduled islands.
Memory partitioning for DynamaticJuly 2026C++ Compilers HardwareImplementing and evaluating memory partitioning schemes in the LLVM-based Dynamatic high-level synthesis compiler.
Oat — a compiler for a C-like languageAugust 2023OCaml CompilersImplementing a compiler for a C-like language from lexer to final assembly using OCaml.