conf.researchr.org / Youyou Cong
Registered user since Wed 12 Jul 2017
Name:Youyou Cong
Country:Japan
Affiliation:Institute of Science Tokyo
Personal website: http://prg.is.titech.ac.jp/people/cong/
Research interests:Continuations, Dependent Types, Natural Language Semantics, Computer Science Education
Contributions
2025
2024
Symposium on Practical Aspects of Declarative Languages
FLOPS
PEPM
- Committee Member in Program Committee within the PEPM 2024-track
- Author of One-Pass CPS Translation of Dependent Types (Talk Proposal) within the PEPM 2024-track
- Session Chair of Program Inversion & DSLs (part of PEPM 2024)
- Author of An Intrinsically Typed Compiler for Algebraic Effect Handlers within the PEPM 2024-track
2023
GPCE
SPLASH
Scheme
FARM
‹Programming›
2022
SPLASH
- Hybridisation Co-Chair in Organizing Committee
- Session Chair of Mentoring Session - Wednesday (part of PLMW)
- Session Chair of Mentoring Session - Tuesday (part of PLMW)
- Author of First-class Names for Effect Handlers within the OOPSLA-track
- Session Chair of Session 2 (part of PLMW)
- Session Chair of Session 1 (part of PLMW)
- Author of Mio: A Block-Based Environment for Program Design within the SPLASH-E-track
- PLMW Co-Chair in Organizing Committee within the PLMW-track
- Session Chair of Session 3 (part of PLMW)
- Session Chair of Session 4 (part of PLMW)
GPCE
FARM
TyDe
FLOPS
POPL
2021
SPLASH
OCaml
Scheme
ICOOOLPS
POPL
Symposium on Practical Aspects of Declarative Languages
2020
ICFP
- Student Research Competition Chair in Program Committee within the Student Research Competition-track
- Student Research Competition Chair in Organizing Committee
- Student Research Competition Chair in Poster and Presentation Judges within the Student Research Competition-track
- Committee Member in External Review Committee within the ICFP Program-track
- Student Research Competition Chair of Award Presentations & Chair Report within the ICFP Program-track
Scheme
2019
FARM
2018
ICFP
Blog Posts
- Giving a talk at HOPE Wed 6 Sep 2017