About member
View all posts by member
Presentation on Intrinsically-typed Interpreters at WITS’22
The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
Paper on the Adaptive RPython (@ PEPM’22)
The following short paper will be presented at the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM).
- Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]
Paper on Adaptive RPython in Journal of Object Technology
Our paper, entitled “Threaded Code Generation with a Meta-tracing JIT Compiler,” is accepted by the Journal of Object Technology (JOT) Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21). The work was presented at the ICOOOLPS 2021 workshop in July.
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. Threaded Code Generation with a Meta-Tracing JIT Compiler. [paper]
Talk on Monadic Equation Reasoning (@ TPP2021)
Saito gave a presentation on a monadic equational reasoning at The 17th Theorem Proving and Provers meeting (TPP 2021).
- Ayumu Saito and Reynald Affeldt. Extending Monae to formalize quicksort using monads in Coq
Talks on an Implementation Technique for Live Programming Environments and on an Evaluation of a Native Image Compiler at IPSJ SIG PRO Workshop
At the 136th IPSJ SIG PRO Workshop, we present the following talks.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. An approach to collect object graphs for data-structure live programming based on a language implementation framework.
- This work is extended from the one presented at the previous round, and accepted for a journal publication.
- Yusuke Izawa, Michihiro Horie*, Kazunori Ogata*, Tatsuhiro Chiba*. An evaluation of the Quarkus framework with a Java static compiler.
- This work is based on the Izawa’s internship at IBM Research Tokyo(*).
Talk on a Scheme-to-WebAssembly Compiler at JSSST (Along with 3 Posters)
Arai presented his paper on a Scheme-to-WebAssembly compiler at the 38th JSSST Annual Conference.
Kouhei Arai, Hidehiko Masuhara, and Youyou Cong. Towards a Scheme-to-WebAssembly Compiler
Tsuyama, Tsunoda and Takeuchi presented their work at the poster session.
- Syoki Tsuyama, Youyou Cong and Hidehiko Masuhara. Towards a Library for Defining Intrinsically-Typed Interpreters(PDF)
- Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong. Error-Making Exercises for Novice Programmers: a Proposal(PDF)
- Fumi Takeuchi, Hidehiko Masuhara, Raffi Khatchadourian and Youyou Cong. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language
Talk on Polyglot Live Programming at IPSJ-PRO
The following work will be presented at the 135th IPSJ workshop on programming.
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. A language-agnostic approach to collecting object graphs based on a language implementation framework
Presentation on Meta-hybrid JIT Compiler (@ ICOOOLPS ’21)
The following work will be presented at the 16th workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS’21), co-located with ECOOP’21.
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. “Threaded Code Generation with a Meta-tracing JIT Compiler”. [pre-print]
Invited Talks on Version Programming Languages at COP’21
Tanabe and Lubis give the invited talks at the International Workshop on Context-Oriented Programming and Advanced Modularity (COP’21).
- Yudai Tanabe, A Language to Safely Exploit Multi-Version Modules at the Expression-level
- Luthfan Anshar Lubis, Object-Oriented Programming with Versions
Paper & Poster presentation at PPL’21
Paper
The following paper will be presented at PPL’21.
- Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
- A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)
Posters & Demos
The following posters & demos will be presented at PPL’21.
- ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
- Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
- デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)
Posters
The following posters will be presented at PPL’21.
- An Agda Formalization of Counterpoint (Cong)
- An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
- 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
- Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
- 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)