I am an assistant professor atInstitute of Science Tokyo (formally 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, Hironori Kawazoe, and Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). (paper, slides)
Jessica Belicia Cahyono, Youyou Cong, and Hidehiko Masuhara. Daisy: A Block-Based Environment for Learning Data Modeling. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). (paper)
Akane Taniguchi, Youyou Cong, and Hidehiko Masuhara. Formalizing an Object-Oriented Programming Language with Delimited Control. The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024). (paper)
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
Continuations from Three Angles. FLOPS 2024 keynote, May 2024. (slides)
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
<Programming> 2026 Program Co-Chair
Journal of Computer Languages Editorial Board
FSE-SEET 2025 Program Committee
PPL 2025 Organizing Committee
PEPM 2025 Program Committee
TFP 2025 Program Committee
TFPIE 2025 Program Committee
OOPSLA 2024 Review Committee
Scheme 2024 Program Chair
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 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
Programming Language Theory (MCS.M428)
Graduate course on fundamentals of programming language theory (Spring 2024 - Present).
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