ICOOOLPSにおいて適応的RPythonに関する講演
伊澤侑祐がECOOP併設ワークショップICOOOLPS’22において適応的RPythonに関する講演を行いました。
- Yusuke Izawa and Hidehiko Masuhara. “Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler.” [URL]
代数的エフェクトに関する論文 (@ TFP 2022)
以下の論文が TFP 2022 の予稿集に採録されました．
- Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
- Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
- Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.
*Microsoft Research, USA
CTHPC2022におけるGPGPU向けのプログラミング抽象化機構に関する基調講演
The 27th Workshop on Compiler Techniques and System Software for High-Performance and Embedding Computing (高性能計算及嵌入式編譯技術與系統軟體研討會; CTHPC2022)において増原がGPGPU向けのプログラミング抽象化機構に関する基調講演を行います。
型主導の音楽自動生成に関する講演 (@ YOW! Lambda Jam 2022)
叢悠悠が YOW! Lambda Jam 2022 で “Type-Directed Music Composition” という題目の講演を行います．
「バージョン付き関数型プログラミング言語」の発表 (@ ‹Programming› 2022)
田辺、Luthfan、青谷、増原による論文「A Functional Programming Language with Versions」がThe International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022)で発表されます。
2名の卒業研究学生が新たに研究室に加わりました
この春は2名の卒業研究学生が新たに研究室に加入しました。
これで研究室には17名の学生と2名の教員が在籍することになります。これまで以上に成果を挙げてゆきたいと思っています。
2022年3月修了者
研究室メンバの学位記授与式がありました。この1、2年間ほとんどオンラインで行っていた研究の成果を、今年は研究室メンバが集まって祝福することができました。
荒井、能勢、Fathulが修士号を受けました。Fathulは4月から博士課程に進学します。荒井、能勢はソフトウェア企業でエンジニアとして働き始めます。斉藤、角田、津山学士号を受け、4月から修士課程に進学します。これからますます活躍してくれることを期待しています!
第９回SIGPXにて3名が発表を行いました。
Adaptive RPythonに関する発表 (@東北大学電気通信研究所共同プロジェクト研究発表会)
伊澤が “A meta-JIT compiler that rules them all” と題する発表を東北大学電気通信研究所共同研究プロジェクト「型主導コンパイルによる高性能高信頼ソフトウェア構成」研究発表会にて行いました。
代数的エフェクトに関する発表 (@ TFP 2022)
以下の発表が TFP 2022 で行われます．
- Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
- Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
- Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.
*Microsoft Research, USA