"Youyou Cong,Hironori Kawazoe,Hidehiko Masuhara","A Mostly CPS, Partly ANF Translation of Dependent Types","The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)",,,,,,2024,Aug.
"Jessica Belicia Cahyono,Youyou Cong,Hidehiko Masuhara","Daisy: A Block-Based Environment for Learning Data Modeling","The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)",,,,,,2024,Aug.
"Akane Taniguchi,Youyou Cong,Hidehiko Masuhara","Formalizing an Object-Oriented Programming Language with Delimited Control","The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)",,,,,,2024,Aug.
"Youyou Cong","Continuations from Three Angles","17th International Symposium on Functional and Logic Programming (FLOPS 2024)",,,,,,2024,May
"角田和広,増原英彦,叢悠悠","コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール","第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）",,,,,,2024,Mar.
"Youyou Cong","One-Pass CPS Translation of Dependent Types","ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)","Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)",,,,,2024,Jan.
"Syouki Tsuyama,Youyou Cong,Hidehiko Masuhara","An Intrinsically Typed Compiler for Algebraic Effect Handlers","ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)","Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)",,,,,2024,Jan.
"酒井 大我,増原 英彦,叢 悠悠","プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計","日本ソフトウェア科学会第40回大会",,,,,,2023,Sept.
"Youyou Cong","Weighted Refinement Types for Counterpoint Composition","The 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023)",,,,,,2023,Sept.
"木内康介,増原英彦,叢悠悠","学習者自身が物理現象をモデル化するシミュレータ SimSym の提案","日本ソフトウェア科学会第40回大会",,,,,,2023,Sept.
"Youyou Cong","Designing a Language for Learning Continuations","Scheme 2023",,,,,,2023,Sept.
"Rifqi Adlan Apriyadi,Hidehiko Masuhara,Youyou Cong","Program State Visualizer with User-Defined Representation Conversion","First Workshop on Future Debugging Techniques (DEBT 2023)",,,,,,2023,July
"Kazuhiro Tsunoda,Hidehiko Masuhara,Youyou Cong","Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages","The 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023)",,,,,,2023,July
"津山勝輝,叢悠悠,増原英彦","エフェクトハンドラを持つ言語に対する依存型付きコンパイラ","第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）",,,,,,2023,Mar.
"Youyou Cong,Kenichi Asai","Towards a Reflection for Effect Handlers","The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)",,,,,,2023,Jan.
"Ningning Xie,Youyou Cong,Kazuki Ikemori,Daan Leijen","First-Class Names for Effect Handlers","International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2022)","Proceedings of the ACM on Programming Languages",,"Vol. 6","No. OOPSLA2",,2022,Dec.
"Junya Nose,Youyou Cong,Hidehiko Masuhara","Mio: A Block-Based Environment for Program Design","SPLASH-E 2022","Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E",,,,,2022,Dec.
"Youyou Cong","In Search of a Type Theory for Fuzzy Properties","International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19)",,,,,,2022,Nov.
"Youyou Cong,Chiaki Ishio,Kaho Honda,Kenichi Asai","A Functional Abstraction of Typed Invocation Contexts",,"Logical Methods in Computer Science (LMCS)",,"Vol. 18","Issue 3","pp. 1-31",2022,Sept.
"Youyou Cong,Shin-ya Katsumata,Kazuki Niimi,Jonathan Immanuel Brachth?user","Monadic Semantics of Bidirectional Effects","The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022)",,,,,,2022,Sept.
"Youyou Cong,Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong,Keisuke Ishibashi","How many mutex bugs can a simple analysis find in Go programs?","日本ソフトウェア科学会第39回大会",,,,,,2022,Sept.
"Rifqi Adlan Apriyadi,Hidehiko Masuhara,Youyou Cong","Interactive Visual Debugger with a Customizable View","日本ソフトウェア科学会第39回大会",,,,,,2022,Sept.
"Youyou Cong,Kenichi Asai","Towards Dependently-Typed Control Effects","The 7th Workshop on Type-Driven Development (TyDe 2022)",,,,,,2022,Sept.
"叢 悠悠","限定継続を使った計算効果プログラミング","PPL サマースクール 2022",,,,,,2022,Aug.
"Fathul Asrar Alfansuri,Hidehiko Masuhara,Luthfan Lubis,Youyou Cong","Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation","日本ソフトウェア科学会第39回大会",,,,,,2022,Aug.
"Youyou Cong","Type-Guided Music Composition","YOW! Lambda Jam 2022",,,,,,2022,May
"Youyou Cong","Composing Music from Types","TYPES 2022",,,,,,2022,May
"叢 悠悠","型を利用した音楽自動生成に向けて","第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）",,,,,,2022,Mar.
"角田和広,増原英彦,叢 悠悠","エラー生成クイズの提案と実施様子の観察結果の紹介","第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）",,,,,,2022,Mar.
"能勢純哉,叢悠悠,増原英彦","デザインレシピに基づいた初学者のための学習環境","第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）",,,,,,2022,Mar.
"Youyou Cong","Towards Type-Based Music Composition","11th International Workshop on Trends in Functional Programming in Education (TFPIE 2022)",,,,,,2022,Mar.
"Youyou Cong","Understanding Algebraic Effect Handlers via Delimited Control Operators","International Symposium on Trends in Functional Programming (TFP 2022)",,,,,,2022,Mar.
"Youyou Cong,Hidehiko Masuhara,Daan Leijen","Sound and Complete Type Inference for Closed Effect Rows","International Symposium on Trends in Functional Programming (TFP 2022)",,,,,,2022,Mar.
"Naoyao Furudono,Youyou Cong,Hidehiko Masuhara,Daan Leijen","Towards Efficient Adjustment of Effect Rows","International Symposium on Trends in Functional Programming (TFP 2022)",,,,,,2022,Mar.
"Shouki Tsuyama,Youyou Cong,Hidehiko Masuhara","Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)","WITS 2022",,,,,,2022,Jan.
"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","第136回プログラミング研究発表会","情報処理学会論文誌 プログラミング",,,,,2022,Jan.
"Syouki Tsuyama,Youyou Cong,Hidehiko Masuhara","Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages","First Workshop on the Implementation of Type Systems (WITS 2022)",,,,,,2022,Jan.
"荒井滉平,増原英彦,叢悠悠","WebAssemblyを対象にしたSchemeコンパイラの作成に向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"角田和広,増原英彦,叢 悠悠","エラーを起こさせる初学者向けプログラミングドリルの提案","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"津山勝輝,叢悠悠,増原英彦","型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"Fumi Takeuchi,増原 英彦,Raffi Khatchadourian,叢 悠悠","Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.
"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.
"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.
"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.
"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.
"伊澤侑祐,増原英彦,叢悠悠","An Interpreter Design for Supporting Different JIT Compilations in RPython Framework","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,2021,Mar.
"叢 悠悠","Agda による対位法の形式化","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）","第23回プログラミングおよびプログラミング言語ワークショップ",,,,,2021,Mar.
"能勢 純弥,叢 悠悠,増原 英彦","デザインレシピに基づいたプログラミングための開発環境の構築に向けて","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,2021,Mar.
"高橋 修祐,伊澤 侑祐,増原 英彦,叢 悠悠","汎言語的ライブプログラミング環境のためのデータ構造解析手法","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,2021,Mar.
"古殿 直也,叢 悠悠,増原 英彦","Koka言語に対するエフェクト割り当て最適化","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,2021,Mar.
"新美和生,叢悠悠,増原英彦","Effekt言語の双方向エフェクトによる拡張","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,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.
"Hidehiko Masuhara,Shusuke Takahashi,Yusuke Izawa,Youyou Cong","Toward a Multi-Language and Multi-Environment Framework for Live Programming","LIVE 2020",,,,,,2020,Nov.
"池守 和槻,叢 悠悠,増原 英彦","パラメタライズドモナドによる依存アップデートの形式化に向けて","日本ソフトウェア科学会第37回大会",,,,,,2020,Sept.
"能勢純哉,叢悠悠,増原英彦","デザインレシピに基づいたプログラミング環境の実装に向けて","日本ソフトウェア科学会第37回大会",,,,,,2020,Sept.
"Youyou Cong,Leo Osvald,Gregory Essertel,Tiark Rompf","Compiling with Continuations, or without? Whatever.（トップカンファレンス特別講演）","日本ソフトウェア科学会第37回大会",,,,,,2020,Sept.
"Chenxin Jizhe,Hidehiko Masuhara,Matthias Springer,Youyou Cong","Sanajeh: A DSL for GPGPU programming with Python objects","日本ソフトウェア科学会第37回大会",,,,,,2020,Aug.
"Youyou Cong,Naoya Furudono,Hidehiko Masuhara","On Teaching Type Systems as Macros","The Scheme and Functional Programming Workshop (Scheme '20)",,,,,,2020,Aug.
"能勢純哉,叢悠悠,増原英彦","デザインレシピに沿ったプログラミング環境の実装","第22回プログラミングおよびプログラミング言語ワークショップ（PPL 2020）",,,,,,2020,Mar.
"Youyou Cong,Akiko Mito","Improving Students' Understanding of Mathematical Induction via Programming",,"Natural Science Report, Ochanomizu University","Ochanomizu University","Vol. 70","No. 1-2","pp. 1 - 30",2020,Feb.
"Yusuke Izawa,Hidehiko Masuhara,Tomoyuki Aotani,Youyou Cong","A Stack Hybridization for Meta-hybrid Just-in-time Compilation","日本ソフトウェア科学会第36回大会",,,,,,2019,Aug.
"Youyou Cong,Leo Osvald,Gregory Essertel,Tiark Rompf","Compiling with Continuations, or without? Whatever.","The 24th International Conference on Functional Programming","Proceedings of the ACM on Programming Languages","ACM","  3","  ICFP",,2019,Aug.
"Youyou Cong","Demo: Counterpoint by Construction","The 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design","Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design","ACM",,,,2019,Aug.
"Tsukino Furukawa,Youyou Cong,Kenichi Asai","Stepping OCaml",,"Post-proceedings of the 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018)",,,,,2019,June
"叢悠悠,浅井健一","限定継続命令をもつ依存型付き言語の設計",,"コンピュータ ソフトウェア",,"Vol. 36","No. 2","pp. 47-60",2019,Apr.
"Youyou Cong,Kenichi Asai","Handling Delimited Continuations with Dependent Types","The 23rd International Conference on Functional Programming","Proceedings of the ACM on Programming Languages","ACM","  2","  ICFP",,2018,Aug.
"William J. Bowman,Youyou Cong,Nich Rioux,Amal Ahmed","Type-preserving CPS translation of Σ and Π types is not not possible","The 45th Symposium on Principles of Programming Languages","Proceedings of the ACM on Programming Languages","ACM","  2","  POPL",,2018,Jan.