Software Engineer with a background in functional programming and programming language theory, dedicated to building high-quality, agile software products.
- Maintainer
- Major PRs
- All PRs
- [PEPM24] Complete stream fusion for software-defined radio (DOI)
- Distinguished Paper Award
- [OCaml22] Highest-performance stream processing (DOI)
- Master of Information Sciences, Tohoku University (GPA: 3.8 / 4.0)
- Bachelor of Engineering, Tohoku University (Major GPA: 3.73 / 4.0)
Footnotes
-
The point is that they cannot perform escape analysis. ↩