Youyou Cong

Registered user since Wed 12 Jul 2017

Name: Youyou Cong

Country: Japan

Affiliation: Tokyo Institute of Technology

Personal website: http://prg.is.titech.ac.jp/people/cong/

Research interests: Continuations, Dependent Types, Natural Language Semantics, Computer Science Education

Contributions

ML 2020Committee Member in Program Committee within the ML 2020-track
Haskell 2020Committee Member in Program Committee within the Haskell 2020-track
PX/20Committee Member in Program Committee within the PX/20-track
ICFP 2020Student 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 Research Papers-track
FARM 2019Author 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 2019PC Member in Program Committee within the Onward! Papers-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track
ICFP 2018Author of Handling Delimited Continuations with Dependent Types within the Research Papers-track
HOPE 2017Author of Only Control Effects and Dependent Types within the HOPE 2017-track
POPL 2018Author 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