Cong Youyou 叢悠悠

Researcher Number	30847629
Other IDs
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help	2025: 東京科学大学, 情報理工学院, 助教 2019 – 2024: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field	Principal Investigator 1001:Information science, computer engineering, and related fields Except Principal Investigator Basic Section 60010:Theory of informatics-related / Basic Section 60050:Software-related
Keywords	Principal Investigator 継続 / 副作用 / 型理論 / プログラム変換 / 限定継続命令 / 制御演算子 / 代数的効果 / 依存型 Except Principal Investigator 型システム / エフェクトハンドラ … More / 限定継続 / 型埋め込みインタプリタ / 多言語プログラム実行基盤 / GPGPU / 依存型システム / 継続渡し形式変換 / 内在的型安全コンパイラ / 型安全な計算効果 / 文脈指向プログラミング / メタインタプリタ / コード生成手法 / 演算加速器 / 言語処理系フレームワーク Less

高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けて
- Principal Investigator
  
  浅井健一
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Ochanomizu University
High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
- Principal Investigator
  
  増原英彦
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
Implementing a Reliable and Expressive Programming LanguagePrincipal Investigator
- Principal Investigator
  
  Cong Youyou
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Tokyo Institute of Technology

All 2024 2023 2022 2021 2020

All Journal Article Presentation

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

1. 増原英彦 (40280937)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
2. 田邉裕大 (30985198)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 伊澤侑祐 (40890827)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 浅井健一 (10262156)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Cong Youyou 叢 悠悠

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Implementing a Reliable and Expressive Programming LanguagePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] An Intrinsically Typed Compiler for Algebraic Effect Handlers2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Towards a Reflection for Effect Handlers2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Program State Visualizer with User-Defined Representation Conversion (WIP)2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] First-class names for effect handlers2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Functional Abstraction of Typed Invocation Contexts2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Functional Abstraction of Typed Invocation Contexts2021

Author(s)

Journal Title

Data Source

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

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

[Presentation] One-Pass CPS Translation of Dependent Types2024

Author(s)

Organizer

Data Source

[Presentation] One-Pass CPS Translation of Dependent Types2024

Author(s)

Organizer

Data Source

[Presentation] Continuations from Three Angles2024

Author(s)

Organizer

Data Source

[Presentation] Towards Dependently-Typed Control Effects2022

Author(s)

Organizer

Data Source

Cong Youyou 叢悠悠