Youyou Cong

I am an assistant professor at Tokyo Institute of Technology, working in the Programming Research Lab, Department of Mathematical and Computing Science with Hidehiko Masuhara.  My research concentrates on the theory of programming languages, with a particular interest in continuations and dependent types.  In my dissertation, I designed a dependently typed language with support for delimited control, where one can express sophisticated behaviors while maintaining nontrivial invariants.

CV

My CV can be found here.

Research Interests

functional programming, delimited continuations, dependent types, programming education, natural language semantics.

Education

March 2019    Doctor of Science, Department of Computer Science, Ochanomizu University.

March 2016    Master of Science, Department of Computer Science, Ochanomizu University.

March 2014    Bachelor of Science, Department of Information Sciences, Ochanomizu University.

Academic Experience

October 2018 - November 2018

  Visiting scholar, Department of Computer Science, Purdue University (Host: Tiark Rompf).

March 2017 - June 2017

  Visiting graduate student, Department of Computer Science and Engineering, Chalmers University of Technology (Host: Andreas Abel).

September 2016 - December 2016   

  Visiting scholar, College of Computer and Information Science, Northeastern University (Host: Matthias Felleisen).

March 2015 - June 2015   

  Visiting graduate student, Department of Linguistics, New York University (Host: Chris Barker).

Conference and Journal Publications

• Kazuhiro Tsunoda, Hidehiko Masuhara, and Youyou Cong.  Mind the Error Message: an Inverted Quiz Format to Direct Learner’s Attention to Error Messages.  The 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023), Turku, Finland, July 2023. (paper)

• Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen.  First-Class Names for Effect Handlers.  The 28th International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2022), Auckland, New Zealand, December 2022. (paper, artifact, slides, video)

• Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.  A Functional Abstraction of Typed Invocation Contexts.  Logical Methods in Computer Science (LMCS) Volume 18, Issue 3, September 2022. (paper, code)

• Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.  A Functional Abstraction of Typed Invocation Contexts.  The 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), online, July 2021. (paper, slides, video, code)

• Youyou Cong, Leo Osvald, Gregory Essertel, and Tiark Rompf.  Compiling with Continuations, or without? Whatever.  The 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019), Berlin, Germany, August 2019.  (paper, slides, video)

• Tsukino Furukawa, Youyou Cong, and Kenichi Asai.  Stepping OCaml.  Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, Sweden, June 2018.  (paper)

• Youyou Cong and Kenichi Asai. Handling Delimited Continuations with Dependent Types.  The 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018), St. Louis, MO, USA, September 2018.  (paper, slides, video)

• William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed. Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, CA, USA, January 2018. (paper, appendix, video)

• Youyou Cong and Kenichi Asai. Implementing a stepper using delimited continuations. In Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016), Tokyo, Japan, March 2016. (paper, slides, code)

• Youyou Cong, Kenichi Asai, and Daisuke Bekki. Focus, Inverse Scope, and Delimited Control. In Proceedings of the 12th International Conference on Logic and Engineering of Natural Language Semantics (LENLS 12), Kanagawa, Japan, November 2015. (paper, slides, code)

• Youyou Cong. Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations. In Proceedings of the ESSLLI 2014 Student Session, pp. 177-189, 26th European Summer School in Logic, Language and Information, Tübingen, Germany, August 2014. (paper, slides, code)

Workshop / Symposium Talks

• Youyou Cong.  Towards a Type Theory for Verifying Gradable Properties.  IFIP WG 2.8 meeting, Utrecht, Netherlands, April 2024.  (slides)

• Youyou Cong.  One-Pass CPS Translation of Dependent Types.  The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), London, UK, January 2024.  (abstract, slides)

• Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara.  An Intrinsically Typed Compiler for Algebraic Effect Handlers.  The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), London, UK, January 2024. (paper)

• Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara.  Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.  25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023), Lisbon, Portugal, October 2023. (paper)

• Youyou Cong.  Designing a Language for Learning Continuations.  The Scheme and Functional Programming Workshop (Scheme 2023), Seattle, WA, USA, September 2023. (abstract, slides)

• Youyou Cong.  Weighted Refinement Types for Counterpoint Composition.  The 11th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2023), Seattle, WA, USA, September 2023.  (paper, slides)

• Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong.  Program State Visualizer with User-Defined Representation Conversion.  First Workshop on Future Debugging Techniques (DEBT 2023), Seattle, WA, USA, July 2023. (paper)

• Youyou Cong and Kenichi Asai.  Towards a Reflection for Effect Handlers.  PEPM 2023, Boston, MA, USA, January 2023. (paper, slides, video)

• Junya Nose, Youyou Cong, and Hidehiko Masuhara.  Mio: A Block-Based Environment for Program Design.  SPLASH-E 2022, Auckland, New Zealand, December 2022. (paper, slides, video)

• Youyou Cong.  In Search of a Type Theory for Fuzzy Properties.  International Conference on Logic and Engineering of Natural Language Semantics (LENLS 19), Tokyo, Japan, November 2022. (abstract, slides)

• Youyou Cong and Kenichi Asai.  Towards Dependently-Typed Control Effects.  The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022. (abstract, slides, video)

• Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, and Jonathan Immanuel Brachthäuser.  Monadic Semantics of Bidirectional Effects.  The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.

• Youyou Cong.  Type-Guided Music Composition.  YOW! Lambda Jam 2022, online, May 2022. (slides)

• Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen.  Towards Efficient Adjustment of Effect Rows.  International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022. (paper)

• Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen.  Sound and Complete Type Inference for Closed Effect Rows.  International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022. (paper)

• Youyou Cong and Kenichi Asai.  Understanding Algebraic Effect Handlers via Delimited Control Operators.  International Symposium on Trends in Functional Programming (TFP 2022), online, March 2022 (paper, slides).

• Youyou Cong.   Towards Type-Based Music Composition.  The 11th International Workshop on Trends in Functional Programming in Education (TFPIE 2022), online, March 2022.  (abstract, slides)

• Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara.  Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages.  First Workshop on the Implementation of Type Systems (WITS 2022), Philadelphia, PA, June 2022. (abstract)

• Junya Nose, Youyou Cong, Hidehiko Masuhara.  Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe.  The Scheme and Functional Programming Workshop (Scheme 2021), online, August 2021.  (abstract)

• Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser.  Contextual Polymorphism Meets Bidirectional Effects.  The 6th Workshop on Type-Driven Development (TyDe 2021), online, August 2021.  (abstract, slides, video)

• Ningning Xie, Youyou Cong, Daan Leijen.  First-class Names for Effect Handlers.  The 9th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021), online, August 2021.  (abstract, video)

• Junya Nose, Youyou Cong, and Hidehiko Masuhara.  Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach.  The 10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021), online, February 2021.  (abstract, slides)

• Kenichi Asai, Youyou Cong, and Chiaki Ishio.  A Functional Abstraction of Typed Trails.  The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), online, January 2021.  (abstract, slides, video)

• Youyou Cong, Naoya Furudono, and Hidehiko Masuhara.  On Teaching Type Systems as Macros. The Scheme and Functional Programming Workshop (Scheme 2020), online, August 2020.  (abstract, slides)

• Junya Nose, Youyou Cong, and Hidehiko Masuhara.  Designing a Programming Environment Base on the Program Design Recipe. The Scheme and Functional Programming Workshop (Scheme 2020), online, August 2020.  (abstract, slides)

• Youyou Cong and John Leo.  Counterpoint by Construction. The 7th ACM SIGPLAN Workshop on Functional Art, Music, Modelling and Design (FARM 2019), Berlin, Germany, August 2019.  (paper, slides)

• Youyou Cong and Akiko Mito.  Induction via Recursion: A Proofs-as-Programs Approach to Math Education.  The 7th International Workshop on Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, Sweden, June 2018.  (paper, slides)

• Youyou Cong and Kenichi Asai.  Shifting and Resetting in the Calculus of Constructions.  The 19th International Symposium on Trends in Functional Programming (TFP 2018), Gothenburg, Sweden, June 2018.  (paper, slides)

• Youyou Cong.  Combining Control Operators and Dependent Types.  The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) Student Research Competition, Los Angeles, USA January 2018.  (abstract, poster)

• Youyou Cong and William J. Bowman.  Only Control Effects and Dependent Types. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2017), Oxford University, September 2017. (abstract, code)

• Youyou Cong and Akiko Mito.  A half-day class in OCaml for non-CS major students. The 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2016), College Parc, MD, USA, June 2016. (draft, slides)

• Youyou Cong.  Implementing a Stepper using Delimited Continuations. 27th New England Programming Languages Symposium, Middletown, CT, USA, June 2015. (abstract, slides)

• Youyou Cong.  Focus and Delimited Continuations. Workshop on Continuations and Scope, New York, NY, USA, May 2015. (handout, slides)

• Youyou Cong.  Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations. Kyoto Summer School in Logic, Language and Information, Kyoto, Japan, August 2014. (abstract, slides)

Invited Talks & Lectures

• Programming Computational Effects with Delimited Continuations.  PPL Summer School 2022, August 2022. (slides)

• Composing Music from Types.  TYPES 2022, June 2022. (slides)

• A Tutorial on Delimited Continuations.  ERATO MMSD Project Colloquium, June 2021. (slides)

Technical Reports

• Ningning Xie, Youyou Cong, and Daan Leijen.  First-class Names for Effect Handlers.  MSR-TR-2021-10,  May 2021. (paper)

• Youyou Cong and Akiko Mito.  Improving Students' Understanding of Mathematical Induction via Programming.  Natural Science Report of the Ochanomizu University, Vol. 70, No. 1-2,  April 2020. (paper)

Honors and Awards

• Tokyo Tech Challenging Research Award, June 2023.

• Tokyo Tech Best Teacher Award, February 2023.

• PPL 2022 Best Poster Award, March 2022.

• PPL 2021 Best Poster Award, March 2021.

• POPL 2018 Student Research Competition, First Place, January 2018.

• PPL 2014 Student Presentation Award, March 2014.

• Ochanomizu University Best Achievement Award, December 2013.

• Ochanomizu University Science and Math Student Support Project Outstanding Student Award, April 2013.

• Ochanomizu University High Achiever Scholarship, May 2012.

Service

• OOPSLA 2024 Review Committee

• ICSE-SEET 2024 Program Committee

• PEPM 2024 Program Committee

• PADL 2024 Program Committee

• TFPIE 2024 Program Committee

• GPCE 2023 Publicity Chair, Program Committee

• FARM 2023 Program Committee

• TyDe 2023 Program Co-Chair

• NII Shonan Meeting No.203 Co-Organizer

• <Programming> 2023 Workshops Co-Chair

• PX/23 Program Committee

• TFP 2023 Program Committee

• POPL 2023 Student Research Competition Selection Committee

• FARM Steering Committee

• ICFP Steering Committee (member-at-large, 2022 - 2026)

• REBLS 2022 Program Committee

• APLAS 2022 Program Committee

• SPLASH 2022 Hybridization Co-Chair

• GPCE 2022 Publicity Chair, Program Committee

• FARM 2022 Program Chair

• FLOPS 2022 Program Committee

• MSFP 2022 Program Committee

• PX/22 Program Committee

• PPL 2022 Organizing Committee, Program Committee

• PEPM 2022 Co-Chair

• POPL 2022 Virtualization Co-Chair

• SPLASH 2021 Hybridization Co-Chair

• PPDP 2021 External Reviewer

• IFL 2021 Program Committee

• ML 2021 Program Committee

• OCaml 2021 Program Committee

• Scheme 2021 Program Committee

• ICFP 2021 Program Committee

• ACM SRC 2021 Grand Finals Program Committee

• TFPIE 2021 Program Committee

• PX/21 Program Committee

• PEPM 2021 Program Committee

• PADL 2021 Program Committee

• Haskell Symposium Steering Committee (member-at-large, 2020 - 2023)

• Scala 2020 Program Committee

• TyDe 2020 Program Committee

• ML 2020 Program Committee

• Haskell 2020 Program Committee

• ICFP 2020 Student Research Competition Chair

• ICFP 2020 External Reviewer

• PX/20 Program Committee

• TFPIE 2020 Program Committee

• PPL 2020 Program Committee 

• PPL 2020 Organizing Committee 

• LENLS 16 External Reviewer

• Onward! 2019 Program Committee

• ICFP 2019 Research Artifacts Evaluation Committee

• FARM 2019 Program Committee

• Agda Implementors’ Meeting XXIX Organizer

• LENLS 14 External Reviewer

• FSCD 2017 External Reviewer

Teaching

• Introduction to Computer Science (MCS.T204)

• Undergraduate course on functional programming in Scala.  Co-taught with Ryo Kashima (Spring 2020 - Present).

• Programming I (MCS.T224)

• Undergraduate course on program development in Scala.  Co-taught with Ken Wakita (Fall 2019 - Fall 2022).

Other Interests

• Piano

• Violin

• Classical ballet