Youyou Cong

so.yuyu [at] is.ocha.ac.jp

I am a third year PhD student at the Department of Information Sciences, Graduate School of Humanities and Sciences, Ochanomizu University.  

CV:

My CV can be found here.


Research Interests:

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


Education:  

(2019)  Doctor of Science, Department of Computer Science, Ochanomizu University.

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

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


Academic Experience:  

March 2015 - June 2015   
  Visiting graduate student, Department of Linguistics, New York University.

September 2016 - December 2016   
  Visiting graduate student, College of Computer and Information Science, Northeastern University.

March 2017 - June 2017
  Visiting graduate student, Department of Computer Science and Engineering, Chalmers University of Technology.

October 2018
  Visiting scholar, Department of Computer Science, Purdue University.


Publications: 
  • 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)
  • 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. (draft, paper, technical appendix)
  • 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, slidescode)
  • 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, slidescode)

Talks:
  • 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.  (slides)
  • Shifting and Resetting in the Calculus of Constructions.  The 19th International Symposium on Trends in Functional Programming (TFP 2018), Gothenburg, Sweden, June 2018.  (slides)
  • 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)
  • Only Control Effects and Dependent Types. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2017), Oxford University, September 2017. (abstractcode)
  • 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)
  • Implementing a Stepper using Delimited Continuations. 27th New England Programming Languages Symposium, Middletown, CT, USA, June 2015. (abstractslides, code)
  • Focus and Delimited Continuations. Workshop on Continuations and Scope, New York, NY, USA, May 2015. (handout, slides, code)
  • Analysis and Implementation of Focus and Inverse Scope by Delimited Continuations. Kyoto Summer School in Logic, Language and Information, Kyoto, Japan, August 2014. (abstractslides)

Honors and Awards: 
  • 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.

Other Interests: 
  • Piano
  • Violin
  • Classical ballet

Links: 
サブページ (1): papers&slides