Welcome!

Hi, I'm Shuhei and this is my homepage. You can hover over the top right terminal and go to see my blog posts, or something other.

If you have any questions or comments, you can open an issue at aviatesk.github.io repository, or reach me at Julia slack with mentioning my handle @aviatesk.

Projects

Julia, a high-level, high-performance dynamic language for technical computing
- Improved the accuracy of abstract-interpretation based type inference by incorporating interprocedural and backward type constraint propagation (JuliaLang/julia#38905).
- Improved implementation of constant-propagation heuristics of type inference (JuliaLang/julia#39305, JuliaLang/julia#41383).
- Implemented a new callsite inlining support as well as improved the inlining algorithm (JuliaLang/julia#41328).
JET.jl, an experimental static code analyzer for Julia
- Designed a novel type-level static analyzer for Julia, employing its type inference system for bug detection.
- Wrote grad-thesis, my undergraduate thesis about JET.jl (currently only avaiable in Japanese).
Juno, an open-source IDE project for Julia, which features its dynamic and interactive coding experience
- Developed a wide variety of IDE features including inference-powered code completion, static code analysis features like definition-jump, and various GUI supports.
julia-vscode, a popular open-source Julia IDE widely used in the community
- Implemented its interactive coding features such as inline code evaluation and stack-trace highlights.

Software engineer, Julia Computing, March 2022 – Current
Research programmer, Julia Lab, MIT CSAIL, June 2021 – March 2022
- Designed and introduced a new escape analysis routine into Julia’s compilation system, that leverages high-level language semantics as well as interprocedural information (JuliaLang/julia#43800).
- Developing a new staged programming interface for Julia, that aims to provide a new level of extensibility to its compilation process and allow new research that requires scientific computing with higher performance and usability enabled by advanced domain-specific code transformations and program optimizations (Julia Compiler-Plugin Project).
Software engineer, Recruit Sumai Company Ltd., Japan, April 2020 – May 2021