叢悠悠 Cong Youyou

研究者番号	30847629
その他のID
所属 (現在)	2025年度: 東京科学大学, 情報理工学院, 助教
所属 (過去の研究課題情報に基づく) *注記	2025年度: 東京科学大学, 情報理工学院, 助教 2019年度 – 2024年度: 東京工業大学, 情報理工学院, 助教
審査区分/研究分野	研究代表者 1001:情報科学、情報工学およびその関連分野研究代表者以外小区分60010:情報学基礎論関連 / 小区分60050:ソフトウェア関連
キーワード	研究代表者継続 / 副作用 / 型理論 / プログラム変換 / 限定継続命令 / 制御演算子 / 代数的効果 / 依存型研究代表者以外型システム / エフェクトハンドラ … もっと見る / 限定継続 / 型埋め込みインタプリタ / 多言語プログラム実行基盤 / GPGPU / 依存型システム / 継続渡し形式変換 / 内在的型安全コンパイラ / 型安全な計算効果 / 文脈指向プログラミング / メタインタプリタ / コード生成手法 / 演算加速器 / 言語処理系フレームワーク隠す

高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて
- 研究代表者
  
  浅井健一
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  お茶の水女子大学
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
- 研究代表者
  
  増原英彦
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京工業大学
信頼性と表現力を兼ね備えたプログラミング言語の実装研究代表者
- 研究代表者
  
  叢悠悠
- 研究期間 (年度)
  2019 – 2023
- 研究種目
  
  研究活動スタート支援
- 審査区分
  
  1001:情報科学、情報工学およびその関連分野
- 研究機関
  東京工業大学

すべて 2024 2023 2022 2021 2020

すべて雑誌論文学会発表

[雑誌論文] An Intrinsically Typed Compiler for Algebraic Effect Handlers2024
- 著者名/発表者名
  Tsuyama Syouki、Cong Youyou、Masuhara Hidehiko
- 雑誌名
  
  Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
  
  巻: N/A ページ: 134-145
- DOI
  10.1145/3635800.3636968
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K21656, KAKENHI-PROJECT-23K28058
[雑誌論文] Towards a Reflection for Effect Handlers2023
- 著者名/発表者名
  Cong Youyou、Asai Kenichi
- 雑誌名
  
  Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
  
  巻: N/A ページ: 55-65
- DOI
  10.1145/3571786.3573015
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K24819
[雑誌論文] Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators2023
- 著者名/発表者名
  Ikemori Kazuki、Cong Youyou、Masuhara Hidehiko
- 雑誌名
  
  Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
  
  巻: N/A ページ: 1-13
- DOI
  10.1145/3610612.3610616
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K21656, KAKENHI-PROJECT-23K28058
[雑誌論文] Program State Visualizer with User-Defined Representation Conversion (WIP)2023
- 著者名/発表者名
  Apriyadi Rifqi Adlan、Masuhara Hidehiko、Cong Youyou
- 雑誌名
  
  Proceedings of the 1st ACM International Workshop on Future Debugging Techniques
  
  巻: 1 ページ: 5-10
- DOI
  10.1145/3605155.3605863
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K21656, KAKENHI-PROJECT-23K28058
[雑誌論文] First-class names for effect handlers2022
- 著者名/発表者名
  Xie Ningning、Cong Youyou、Ikemori Kazuki、Leijen Daan
- 雑誌名
  
  Proceedings of the ACM on Programming Languages
  
  巻: 6 号: OOPSLA2 ページ: 30-59
- DOI
  10.1145/3563289
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[雑誌論文] A Functional Abstraction of Typed Invocation Contexts2022
- 著者名/発表者名
  Cong Youyou、Ishio Chiaki、Honda Kaho、Asai Kenichi
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: Volume 18, Issue 3 ページ: 1-31
- DOI
  10.46298/lmcs-18(3:34)2022
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K24819
[雑誌論文] A Functional Abstraction of Typed Invocation Contexts2021
- 著者名/発表者名
  Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
- 雑誌名
  
  Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
  
  巻: LIPICS Vol. 195
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] 限定継続演算子を持つオブジェクト指向言語の形式化2024
- 著者名/発表者名
  谷口, 茜 and 叢, 悠悠 and 増原, 英彦
- 学会等名
  第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)
- データソース
  KAKENHI-PROJECT-23K28058
[学会発表] 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換2024
- 著者名/発表者名
  川添, 裕功 and 叢, 悠悠 and 増原, 英彦
- 学会等名
  第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)
- データソース
  KAKENHI-PROJECT-23K28058
[学会発表] One-Pass CPS Translation of Dependent Types2024
- 著者名/発表者名
  Cong, Youyou
- 学会等名
  Talk at ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28058
[学会発表] One-Pass CPS Translation of Dependent Types2024
- 著者名/発表者名
  Youyou Cong
- 学会等名
  The 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] Continuations from Three Angles2024
- 著者名/発表者名
  Youyou Cong
- 学会等名
  The 17th International Symposium on Functional and Logic Programming
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] Towards Dependently-Typed Control Effects2022
- 著者名/発表者名
  Youyou Cong
- 学会等名
  TyDe 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] Understanding Algebraic Effect Handlers via Delimited Control Operators2022
- 著者名/発表者名
  Youyou Cong
- 学会等名
  TFP 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] A Functional Abstraction of Typed Trails2021
- 著者名/発表者名
  Youyou Cong
- 学会等名
  The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] A Functional Abstraction of Typed Invocation Contexts2021
- 著者名/発表者名
  Youyou Cong
- 学会等名
  6th Formal Structures for Computation and Deduction (FSCD 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] First-class Named for Effect Handlers2021
- 著者名/発表者名
  Ningning Xie, Youyou Cong, Daan Leijen
- 学会等名
  HOPE 2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] A Functional Abstraction of Typed Invocation Contexts2021
- 著者名/発表者名
  Youyou Cong
- 学会等名
  FSCD 2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339
[学会発表] On Teaching Type Systems as Macros2020
- 著者名/発表者名
  Youyou Cong
- 学会等名
  The Scheme and Functional Programming Workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K24339

1. 増原英彦 (40280937)

共同の研究課題数: 1件

共同の研究成果数: 3件
2. 田邉裕大 (30985198)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 伊澤侑祐 (40890827)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 浅井健一 (10262156)

共同の研究課題数: 1件

共同の研究成果数: 0件

叢 悠悠 Cong Youyou

研究課題

研究成果

共同研究者

高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

信頼性と表現力を兼ね備えたプログラミング言語の実装研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] An Intrinsically Typed Compiler for Algebraic Effect Handlers2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Towards a Reflection for Effect Handlers2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Program State Visualizer with User-Defined Representation Conversion (WIP)2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] First-class names for effect handlers2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] A Functional Abstraction of Typed Invocation Contexts2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] A Functional Abstraction of Typed Invocation Contexts2021

著者名/発表者名

雑誌名

データソース

[学会発表] 限定継続演算子を持つオブジェクト指向言語の形式化2024

著者名/発表者名

学会等名

データソース

[学会発表] 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換2024

著者名/発表者名

学会等名

データソース

[学会発表] One-Pass CPS Translation of Dependent Types2024

著者名/発表者名

学会等名

データソース

[学会発表] One-Pass CPS Translation of Dependent Types2024

著者名/発表者名

学会等名

データソース

[学会発表] Continuations from Three Angles2024

著者名/発表者名

学会等名

データソース

[学会発表] Towards Dependently-Typed Control Effects2022

著者名/発表者名

学会等名

データソース

叢悠悠 Cong Youyou