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

SPLASH 2024	Committee Member in Review Committee within the OOPSLA 2024-track
ICSE 2024	Committee Member in Joint Track on Software Engineering Education and Training within the Software Engineering Education and Training-track
GPCE 2023	Committee Member in Program Committee within the GPCE 2023-track Publicity Chair in Organizing Committee within the GPCE 2023-track
SPLASH 2023	Hybridisation Co-Chair in Organizing Committee PLMW Co-Chair in Organizing Committee Committee Member in Organizing Committee within the PLMW-track
ICFP 2023	Member at large in Steering Committee
TyDe 2023	Program Co-Chair in Organization Committee within the TyDe 2023-track
FARM 2023	Committee Member in Program Committee within the FARM 2023-track
‹Programming› 2023	Co-chair in Workshop Selection Committee within the Workshops-track Workshops Co-Chair in Organizing Committee
PX/23	Committee Member in Program Committee within the PX/23-track
POPL 2023	Committee Member in Selection Committee within the Student Research Competition-track
PEPM 2023	Author of Towards a Reflection for Effect Handlers within the PEPM 2023-track
APLAS 2022	Committee Member in Program Committee
REBLS 2022	Committee Member in Program Committee within the Reactive and Event-Based Languages and Systems-track
SPLASH 2022	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 2022	Committee Member in Program Committee within the GPCE -track Publicity Chair in Organizing Committee within the GPCE -track
FARM 2022	Program Chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
HOPE 2022	Author of Monadic Semantics of Bidirectional Effects within the HOPE 2022-track
TyDe 2022	Author of Towards Dependently-Typed Control Effects (Extended Abstract) within the TyDe 2022-track
Truffle 2022	Author of Efficient Object Graph Recording with Truffle for Live Data-Structure Programming within the Truffle 2022-track
FLOPS 2022	Session Chair of Session 3 (part of FLOPS 2022) Committee Member in Program Committee within the FLOPS 2022-track
PX/22	Committee Member in Program Committee within the PX/22-track
POPL 2022	Panelist of PLMW Panel (on Zoom) within the Virtual Workshop-track Co-chair in Selection Committee within the Virtual Workshop-track Virtualization Co-Chair in Organizing Committee
WITS 2022	Chair of Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion) within the WITS 2022-track
PEPM 2022	Co-chair in Program Committee within the PEPM 2022-track Session Chair of Contributed Talks 3 (part of PEPM 2022) Committee Member in Organizing Committee within the PEPM 2022-track Author of Welcome & Announcement within the PEPM 2022-track Session Chair of Keynote 4 (part of PEPM 2022)
SPLASH 2021	Hybridization Co-Chair in Organizing Committee Committee Member in Speakers & Panelists within the PLMW-track Author of PL/SE Career Panel within the PLMW-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-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
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
TyDe 2021	Author of Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) within the TyDe 2021-track
HOPE 2021	Author of First-class Names for Effect Handlers within the HOPE 2021-track
ICOOOLPS 2021	Author of Threaded Code Generation with a Meta-tracing JIT Compiler within the ICOOOLPS-track
PX/21	Committee Member in Program Committee within the PX/21-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
PADL 2021	Committee Member in Programme Committee within the PADL 2021-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)
LIVE 2020	Author of Toward a Multi-Language and Multi-Environment Framework for Live Programming within the LIVE 2020-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
Haskell 2020	Committee Member in Program Committee within the Haskell 2020-track
ML 2020	Committee Member in Program Committee within the ML 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
TyDe 2020	Committee Member in Program Committee within the TyDe 2020-track
Scala 2020	Committee Member in Program Committee within the Scala-track
PX/20	Committee Member in Program Committee within the PX/20-track
SPLASH 2019	PC Member in Program Committee within the Onward! Papers-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
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
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
HOPE 2017	Author of Only Control Effects and Dependent Types within the HOPE 2017-track

Blog Posts

Giving a talk at HOPE Wed 6 Sep 2017