Youyou Cong

I am an assistant professor at Institute of Science Tokyo (formally Tokyo Institute of Technology), working in the 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

  • 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)

  • 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 15, 2021.

Service
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.

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).