Luyu Cheng

👋 Hi, there!

I'm Luyu Cheng, a fourth-year PhD candidate in Computer Science at the Hong Kong University of Science and Technology. I work in HKUST TACO Lab (Homepage, GitHub) led by Professor Lionel Parreaux. My research interest lies in functional programming and programming language design.

I have developed several features for MLscript, an object-oriented and functional programming language. MLscript supports records, generic classes, mix-in traits, first-class unions and intersections, instance matching, and most importantly, ML-style principal type inference.

Before that, I was a research assistant at Shandong University, where I worked on improving approximation algorithms for stream curve query. I also worked on an experimental project on the design of a domain-specific language for interactive data visualization.

Publications

My recent research output is mainly about programming language design and debugging ergonomics.

Before my PhD study, I have the following published work.