Registered user since Wed 15 Jan 2020
I’m a junior completing a BS in Computer Science at Cornell University. I intend to go to graduate school for a PhD in CS, specifically focusing on PL (although I’m not sure about what subfield!).
Research interests:Programming Languages, Homotopy Type Theory
|PLDI 2023||DSL-based Hardware Generation|
|Show activities from other conferences|
Using general profile