Rchr
J-GLOBAL ID：201901007129750359   Update date: Oct. 24, 2024

Cong Youyou

ソウ ユウユウ | Cong Youyou
Affiliation and department：
Institute of Science Tokyo School of Computing

About Institute of Science Tokyo School of Computing


Research field  (1)： Software
Research keywords  (1)： type systems, continuations, computational effects, programming education, natural language semantics, music information processing
Research theme for competitive and other funds  (4)：
  • 2023 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
  • 2024 - 2028 言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
  • 2021 - 2024 Developing a Music Generation Tool Based on Type Theory
  • 2019 - 2021 Implementing a Reliable and Expressive Programming Language
Papers (43)：
  • 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
  • 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
  • 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
  • 角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール. 第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2023). 2024
  • Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers. 2024
ｍore...
Lectures and oral presentations  (43)：
  • Continuations from Three Angles
    (17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024)
  • One-Pass CPS Translation of Dependent Types
    (2024)
  • 学習者自身が物理現象をモデル化するシミュレータ SimSym の提案
    (日本ソフトウェア科学会第40回大会 2023)
  • プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
    (日本ソフトウェア科学会第40回大会 2023)
  • Designing a Language for Learning Continuations
    (The Scheme and Functional Programming Workshop (Scheme 2023) 2023)
ｍore...
Education (3)：
  • 2016 - 2019 Ochanomizu University Graduate School of Humanities and Sciences Advanced Sciences
  • 2014 - 2016 Ochanomizu University Graduate School of Humanities and Sciences Advanced Sciences
  • 2010 - 2014 Ochanomizu University Faculty of Science Division of Information Sciences
Professional career (1)：
  • 博士(理学) (お茶の水女子大学)
Work history (1)：
  • 2019/04 - 現在 Institute of Science Tokyo (Tokyo Institute of Technology until September 2024) School of Computing Assistant Professor
Committee career (68)：
  • 2024/06 - 現在 Journal of Computer Languages Editorial Board
  • 2022 - 2026 ICFP Steering Committee (member-at-large)
  • 2025/01 - TFP 2025 Program Committee
  • 2025/01 - TFPIE 2025 Program Committee
  • 2025 - PPL 2022 Organizing Committee (Sponsorship)
Show all
Awards (9)：
  • 2023/06 - 東京工業大学 東工大挑戦的研究賞 曖昧な仕様を保証するための型付きプログラミング言語の開発
  • 2023/02 - Tokyo Institute of Technology Tokyo Tech Best Teacher Award Implementation of programming education that leaves no stragglers
  • 2022/03 - 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) ポスター賞(一般の部) 型を利用した音楽自動生成に向けて
  • 2021/03 - The 23rd Programming and Programming Languages Workshop (PPL 2021) Best Poster Award (Non-student) A Formalization of Counterpoint in Agda
  • 2018/01 - ACM POPL 2018 Student Research Competition, First Place in the Graduate Category Combining Control Operators and Dependent Types
Show all
Association Membership(s) (3)：
情報処理学会 ,  Japan Society for Software Science and Technology ,  ACM SIGPLAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM