Youyou Cong

Registered user since Wed 12 Jul 2017

Name:Youyou Cong
Country:Japan
Affiliation:Tokyo Institute of Technology
Research interests:Continuations, Dependent Types, Natural Language Semantics, Computer Science Education

Contributions

FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
PEPM 2022 Co-chair in Program Committee within the PEPM 2022-track
Committee Member in Steering Committee within the PEPM 2022-track
ICOOOLPS 2021 Author of Threaded Code Generation with a Meta-tracing JIT Compiler within the ICOOOLPS-track
TyDe 2021 Author of Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) within the TyDe 2021-track
ML 2021 Committee Member in Program Committee within the ML 2021-track
OCaml 2021 Committee Member in Organizing Committee within the OCaml 2021-track
Session Chair of Session 1 (part of OCaml 2021)
Committee Member in Program Committee within the OCaml 2021-track
HOPE 2021 Author of First-class Names for Effect Handlers within the HOPE 2021-track
Scheme 2021 Author of Design with Blocks, Code in Text (Lightning Talk) within the Scheme 2021-track
Committee Member in Program Committee within the Scheme 2021-track
PX/21 Committee Member in Program Committee within the PX/21-track
SPLASH 2021 Hybridization Co-Chair in Organizing Committee
Committee Member in Speakers & Panelists within the PLMW-track
PEPM 2021 Committee Member in Program Committee within the PEPM 2021-track
Author of A Functional Abstraction of Typed Trails within the PEPM 2021-track
Session Chair of Session 2 (part of PEPM 2021)
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
LIVE 2020 Author of Toward a Multi-Language and Multi-Environment Framework for Live Programming within the LIVE 2020-track
ML 2020 Committee Member in Program Committee within the ML 2020-track
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
Scheme 2020 Author of Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) within the Scheme 2020-track
Author of On Teaching Type Systems as Macros (Lightning Talk) within the Scheme 2020-track
Scala 2020 Committee Member in Program Committee within the Scala-track
POPL 2021 Panelist of Panel Discussion 4: Finding Friends and Collaborators in Academia within the POPL Meetups-track
Panelist of Panel Discussion 2: Improving Peer Review within the POPL Meetups-track
SPLASH 2022 Hybridisation Co-Chair in Organizing Committee
PX/20 Committee Member in Program Committee within the PX/20-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
ICFP 2020 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
FARM 2019 Author of Demo: Counterpoint by Construction within the FARM 2019-track
Session Chair of Sound (part of FARM 2019)
Committee Member in Program Committee within the FARM 2019-track
SPLASH 2019 PC Member in Program Committee within the Onward! Papers-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track
ICFP 2018 Author of Handling Delimited Continuations with Dependent Types within the Research Papers-track
HOPE 2017 Author of Only Control Effects and Dependent Types within the HOPE 2017-track
POPL 2018 Author of Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible within the Research Papers-track
Presenter of Combining Control Operators and Dependent Types within the Student Research Competition-track

Blog Posts