About

I’m Yusuke Izawa, a Ph.D. candidate at the Tokyo Institute of Technology.

I’m mainly interested in language implementation frameworks such as RPython and Truffle/Graal.

CV

My CV can be found here.

Publications

Refereed

  • Yusuke Izawa, Hidehoko Masuhara, Tomoyuki Aotani, “Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation”, MoreVMs'19 co-located with <Programming> 2019, Apr 2019, Genova, Italy. url pre-print paper

  • Yusuke Izawa, “BacCaml: The Meta-Hybrid Just-In-Time Compiler”, ACM Student Research Competition at <Programming> 2019, Genova, Italy. (poster and short presentation) url pre-print paper

Unrefereed

  • Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani, Youyou Cong, “A Stack Hybridization for Meta-hybrid Just-in-time Compilation”, Proceedings of the 36th JSSST Annual Conference, JSSST 2019, 2019, Tokyo, Japan. url paper

Talks

Unrefereed

  • 伊澤侑祐, 増原英彦, “Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level”, PPL 2020, March 2020, Saga, Japan. (poster) url pdf

  • 伊澤侑祐, 増原英彦, 青谷知幸, “Meta-hybrid JIT Compilation Approach to the Path Divergence Problem”, Kumiki 6.0, November 2018, Ishikawa, Japan. (oral presentation)

  • 伊澤侑祐, 増原英彦, 青谷知幸, “メタ混合実行時コンパイラの提案”, PPL 2018, March 2018, Tottori, Japan. (poster) url

  • 伊澤侑祐, “大学教育と Scala”, ScalaMatsuri 2016, January, Tokyo, Japan. (oral presentation) url

Theses

Master’s Thesis

  • Yusuke Izawa, “Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta Compiler Framework”, 2020, March, Department of Mathematical and Computing Science, Tokyo Institute of Technology, Japan. paper

Bachelor’s Thesis

  • 伊澤侑祐, “BacCaml: 実行履歴とメソッド呼び出し両方に基づくメタ実行時コンパイラ”, 2018, March, Department of Mathematical and Computing Science, Tokyo Institute of Technology, Japan.

Awards

  • 2nd Place, ACM Student Research Competition at <Programming> 2019, Genova, Italy.

Academic Services

  • Candidate of Programming Language Mentoring Workshop (PLMW) @ PLDI 2020, Online. url

  • Member of Student Volunteer at <Programming> 2019, Genova, Italy. url

Projects

BacCaml

Trace-based compilation and method-based compilation are two major compilation strategies in JIT compilers. In general, the former excels in compiling programs with deeper method calls and more dynamic branches, while the latter is suitable wide range of programs.

This project aims at developing fundamental mechanism for compiling with both trace-based and method-based strategies. Instead of developing a compiler for one particular language, we provide such a mechanism in a meta-compilation framework, which generates a virtual machine with a JIT compiler from an interpreter definition of a programming language.

We are developing the BacCamel meta-compiler framework as a proof-of-concept, which is based on the MinCaml compiler.

More information

Others

  • scalaenv (url)

Groom your app’s Scala environment like rbenv :)

  • gatling-thrift (url)

A thrift-binding plugin for Gatling. By using this plugin, you can do a load testing with Thrift protocol.

  • play-json-xml (url)

A concerter between XML and JSON in play-json format.

  • sbt-jflex-scala (url)

A jflex plugin for sbt projects.