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.
Improved the accuracy of abstract-interpretation based type inference by incorporating interprocedural and backward type constraint propagation (JuliaLang/julia#38905).
Implemented a new callsite inlining support as well as improved the inlining algorithm (JuliaLang/julia#41328).
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).
Refactored the main abstract interpretation implementation so that it manages its state more sparsely and generally uses less memory (JuliaLang/julia#45276).
Developed a wide variety of IDE features including inference-powered code completion, static code analysis features like definition-jump, and various GUI supports.
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
Software engineer, Recruit Sumai Company Ltd., Japan, April 2020 – May 2021