"Fumi Takeuchi,増原 英彦,Raffi Khatchadourian,叢 悠悠","Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "角田和広,増原英彦,叢 悠悠","エラーを起こさせる初学者向けプログラミングドリルの提案","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "津山勝輝,叢悠悠,増原英彦","型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "荒井滉平,増原英彦,叢悠悠","WebAssemblyを対象にしたSchemeコンパイラの作成に向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept. "Ningning Xie,Youyou Cong,Daan Leijen","First-class Names for Effect Handlers","The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021)",,,,,,2021,Aug. "Junya Nose,Youyou Cong,Hidehiko Masuhara","Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe","The Scheme and Functional Programming Workshop (Scheme '21)",,,,,,2021,Aug. "Kazuki Niimi,Youyou Cong,Hidehiko Masuhara,Jonathan Immanuel Brachth?user","Contextual Polymorphism Meets Bidirectional Effects","The 6th Workshop on Type-Driven Development (TyDe 2021)",,,,,,2021,Aug. "Youyou Cong,Chiaki Ishio,Kaho Honda,Kenichi Asai","A Functional Abstraction of Typed Invocation Contexts",,"Proceedings of the 6th International Conference on Formal Structure for Computation and Deduction",,,,,2021,July "Yusuke Izawa,Hidehiko Masuhara,Carl Friedrich Bolz-Tereick,Youyou Cong","Threaded Code Generation with a Meta-tracing JIT Compiler","16th Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems",,,,,,2021,July "能勢 純弥,叢 悠悠,増原 英彦","デザインレシピに基づいたプログラミングための開発環境の構築に向けて","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "高橋 修祐,伊澤 侑祐,増原 英彦,叢 悠悠","汎言語的ライブプログラミング環境のためのデータ構造解析手法","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "古殿 直也,叢 悠悠,増原 英彦","Koka言語に対するエフェクト割り当て最適化","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "池守 和槻,叢 悠悠,増原 英彦","代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "新美和生,叢悠悠,増原英彦","Effekt言語の双方向エフェクトによる拡張","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "伊澤侑祐,増原英彦,叢悠悠","An Interpreter Design for Supporting Different JIT Compilations in RPython Framework","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "叢 悠悠","Agda による対位法の形式化","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)","第23回プログラミングおよびプログラミング言語ワークショップ",,,,,2021,Mar. "Junya Nose,Youyou Cong,Hidehiko Masuhara","Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach","10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021)",,,,,,2021,Feb. "Kenichi Asai,Youyou Cong,Chiaki Ishio","A Functional Abstraction of Typed Trails","The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)",,,,,,2021,Jan.