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.
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).
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).
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 available in Japanese).
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
JET.jl: The next generation of code checker for Julia, talk at JuliaCon 2021,
Package development: improving engineering quality & latency, workshop at JuliaCon 2021
VSCode for Julia 1.0, talk at JuliaCon 2020