• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Cong Youyou  叢 悠悠

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

    (2 results)
  • Research Products

    (19 results)
  • Co-Researchers

    (3 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi