Youyou Cong

I am an assistant professor at 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 Publications

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

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

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

  • 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

  • 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

  • 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


Teaching

  • Introduction to Computer Science (MCS.T204)

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

  • Programming I (MCS.T224)

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


Other Interests

  • Piano

  • Violin

  • Classical ballet