|
叢悠悠 研究業績一覧 (67件)
論文
-
酒井 大我,
増原 英彦,
叢 悠悠.
プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計,
日本ソフトウェア科学会第40回大会,
Sept. 2023.
-
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,
Sept. 2022.
-
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,
July 2021.
-
Tsukino Furukawa,
Youyou Cong,
Kenichi Asai.
Stepping OCaml,
Post-proceedings of the 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018),
June 2019.
-
叢悠悠,
浅井健一.
限定継続命令をもつ依存型付き言語の設計,
コンピュータ ソフトウェア,
Vol. 36,
No. 2,
pp. 47-60,
Apr. 2019.
国際会議発表 (査読有り)
-
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),
Jan. 2024.
-
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),
Jan. 2024.
-
Youyou Cong.
Designing a Language for Learning Continuations,
Scheme 2023,
Sept. 2023.
-
Youyou Cong.
Weighted Refinement Types for Counterpoint Composition,
The 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023),
Sept. 2023.
-
Rifqi Adlan Apriyadi,
Hidehiko Masuhara,
Youyou Cong.
Program State Visualizer with User-Defined Representation Conversion,
First Workshop on Future Debugging Techniques (DEBT 2023),
July 2023.
-
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),
July 2023.
-
Youyou Cong,
Kenichi Asai.
Towards a Reflection for Effect Handlers,
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2023),
Jan. 2023.
-
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,
Dec. 2022.
-
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,
Dec. 2022.
-
Youyou Cong.
In Search of a Type Theory for Fuzzy Properties,
International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19),
Nov. 2022.
-
Youyou Cong,
Kenichi Asai.
Towards Dependently-Typed Control Effects,
The 7th Workshop on Type-Driven Development (TyDe 2022),
Sept. 2022.
-
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),
Sept. 2022.
-
Naoyao Furudono,
Youyou Cong,
Hidehiko Masuhara,
Daan Leijen.
Towards Efficient Adjustment of Effect Rows,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Youyou Cong,
Hidehiko Masuhara,
Daan Leijen.
Sound and Complete Type Inference for Closed Effect Rows,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Youyou Cong.
Understanding Algebraic Effect Handlers via Delimited Control Operators,
International Symposium on Trends in Functional Programming (TFP 2022),
Mar. 2022.
-
Shouki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion),
WITS 2022,
Jan. 2022.
-
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),
Aug. 2021.
-
Kazuki Niimi,
Youyou Cong,
Hidehiko Masuhara,
Jonathan Immanuel Brachthäuser.
Contextual Polymorphism Meets Bidirectional Effects,
The 6th Workshop on Type-Driven Development (TyDe 2021),
Aug. 2021.
-
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),
Aug. 2021.
-
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,
July 2021.
-
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),
Feb. 2021.
-
Kenichi Asai,
Youyou Cong,
Chiaki Ishio.
A Functional Abstraction of Typed Trails,
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
Jan. 2021.
-
Hidehiko Masuhara,
Shusuke Takahashi,
Yusuke Izawa,
Youyou Cong.
Toward a Multi-Language and Multi-Environment Framework for Live Programming,
LIVE 2020,
Nov. 2020.
-
Youyou Cong,
Naoya Furudono,
Hidehiko Masuhara.
On Teaching Type Systems as Macros,
The Scheme and Functional Programming Workshop (Scheme '20),
Aug. 2020.
-
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,
Aug. 2019.
公式リンク
-
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,
Aug. 2019.
公式リンク
-
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,
Aug. 2018.
公式リンク
-
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,
Jan. 2018.
公式リンク
国内会議発表 (査読有り)
-
津山勝輝,
叢悠悠,
増原英彦.
エフェクトハンドラを持つ言語に対する依存型付きコンパイラ,
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023),
Mar. 2023.
-
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回プログラミング研究発表会,
情報処理学会論文誌 プログラミング,
Jan. 2022.
-
Syouki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages,
First Workshop on the Implementation of Type Systems (WITS 2022),
Jan. 2022.
国際会議発表 (査読なし・不明)
国内会議発表 (査読なし・不明)
-
Youyou Cong.
Continuations from Three Angles,
17th International Symposium on Functional and Logic Programming (FLOPS 2024),
May 2024.
-
角田和広,
増原英彦,
叢悠悠.
コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール,
第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024),
Mar. 2024.
-
木内康介,
増原英彦,
叢悠悠.
学習者自身が物理現象をモデル化するシミュレータ SimSym の提案,
日本ソフトウェア科学会第40回大会,
Sept. 2023.
-
Youyou Cong,
Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong,
Keisuke Ishibashi.
How many mutex bugs can a simple analysis find in Go programs?,
日本ソフトウェア科学会第39回大会,
Sept. 2022.
-
Rifqi Adlan Apriyadi,
Hidehiko Masuhara,
Youyou Cong.
Interactive Visual Debugger with a Customizable View,
日本ソフトウェア科学会第39回大会,
Sept. 2022.
-
叢 悠悠.
限定継続を使った計算効果プログラミング,
PPL サマースクール 2022,
Aug. 2022.
-
Fathul Asrar Alfansuri,
Hidehiko Masuhara,
Luthfan Lubis,
Youyou Cong.
Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation,
日本ソフトウェア科学会第39回大会,
Aug. 2022.
-
角田和広,
増原英彦,
叢 悠悠.
エラー生成クイズの提案と実施様子の観察結果の紹介,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
-
能勢純哉,
叢悠悠,
増原英彦.
デザインレシピに基づいた初学者のための学習環境,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
-
叢 悠悠.
型を利用した音楽自動生成に向けて,
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022),
Mar. 2022.
-
津山勝輝,
叢悠悠,
増原英彦.
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
荒井滉平,
増原英彦,
叢悠悠.
WebAssemblyを対象にしたSchemeコンパイラの作成に向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
Fumi Takeuchi,
増原 英彦,
Raffi Khatchadourian,
叢 悠悠.
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
角田和広,
増原英彦,
叢 悠悠.
エラーを起こさせる初学者向けプログラミングドリルの提案,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
池守 和槻,
叢 悠悠,
増原 英彦.
代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
叢 悠悠.
Agda による対位法の形式化,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
第23回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2021.
-
伊澤侑祐,
増原英彦,
叢悠悠.
An Interpreter Design for Supporting Different JIT Compilations in RPython Framework,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
新美和生,
叢悠悠,
増原英彦.
Effekt言語の双方向エフェクトによる拡張,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
能勢 純弥,
叢 悠悠,
増原 英彦.
デザインレシピに基づいたプログラミングための開発環境の構築に向けて,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
高橋 修祐,
伊澤 侑祐,
増原 英彦,
叢 悠悠.
汎言語的ライブプログラミング環境のためのデータ構造解析手法,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
古殿 直也,
叢 悠悠,
増原 英彦.
Koka言語に対するエフェクト割り当て最適化,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
能勢純哉,
叢悠悠,
増原英彦.
デザインレシピに基づいたプログラミング環境の実装に向けて,
日本ソフトウェア科学会第37回大会,
Sept. 2020.
-
池守 和槻,
叢 悠悠,
増原 英彦.
パラメタライズドモナドによる依存アップデートの形式化に向けて,
日本ソフトウェア科学会第37回大会,
Sept. 2020.
-
Youyou Cong,
Leo Osvald,
Gregory Essertel,
Tiark Rompf.
Compiling with Continuations, or without? Whatever.(トップカンファレンス特別講演),
日本ソフトウェア科学会第37回大会,
Sept. 2020.
-
Chenxin Jizhe,
Hidehiko Masuhara,
Matthias Springer,
Youyou Cong.
Sanajeh: A DSL for GPGPU programming with Python objects,
日本ソフトウェア科学会第37回大会,
Aug. 2020.
-
能勢純哉,
叢悠悠,
増原英彦.
デザインレシピに沿ったプログラミング環境の実装,
第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
Mar. 2020.
-
Yusuke Izawa,
Hidehiko Masuhara,
Tomoyuki Aotani,
Youyou Cong.
A Stack Hybridization for Meta-hybrid Just-in-time Compilation,
日本ソフトウェア科学会第36回大会,
Aug. 2019.
その他の論文・著書など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|