Youyou Cong

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

I am a second year doctoral student at the Department of Computer Science, 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.


Publications: 
  • William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed. Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible. Under submission. (draft)
  • 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: 
  • 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)
  • A half-day class in OCaml for non-CS major students. The 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2016), University of Maryland, June 2016. (draft, slides)
  • Implementing a Stepper using Delimited Continuations. 27th New England Programming Languages Symposium, Wesleyan University, June 2015. (abstractslides, code)
  • Focus and Delimited Continuations. Workshop on Continuations and Scope, New York University, 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 University, August 2014. (abstractslides)

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