Cong Youyou

ソウユウユウ | Cong Youyou

Affiliation and department：

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 (3)：

2023 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
2021 - 2024 Developing a Music Generation Tool Based on Type Theory
2019 - 2021 Implementing a Reliable and Expressive Programming Language

Papers (39)：

角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール. 第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2023). 2024
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers. 2024
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara. Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). 2023
Youyou Cong. Weighted Refinement Types for Counterpoint Composition. Proceedings of the 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023). 2023
Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong. Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages. Proceedings of the 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023). 2023

ｍ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 - 現在 Tokyo Institute of Technology School of Computing Assistant Professor

Committee career (61)：

2022 - 2026 ICFP Steering Committee (member-at-large)
2024/02 - 2024/09 Scheme 2024 Program Co-Chair
2021/04 - 2024/03 科学技術・学術政策研究所 NISTEP 専門調査員
2022 - 2024 PRO 研究運営委員会運営委員
2022 - 2024 PRO 編集委員会編集委員

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