👋 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.
- Luyu Cheng and Lionel Parreaux. The Ultimate Conditional Syntax. Proc. ACM Program. Lang. 8, OOPSLA2, Article 306 (October 2024), 30 pages.
- Luyu Cheng and Lionel Parreaux. Diff-based interactive compiler debugging and testing. LIVE Workshop at SPLASH 2024.
Before my PhD study, I have the following published work.
- Yucheng Lu, Luyu Cheng, Tobias Isenberg, Chi-Wing Fu, Guoning Chen, Hui Liu, Oliver Deussen and Yunhai Wang. Curve Complexity Heuristic KD‐trees for Neighborhood‐based Exploration of 3D Curves. Computer Graphics Forum, 461-474 (2021).
- Luyu Cheng, Bairui Su, Yumeng Xue, Xiaoyu Liu and Yunhai Wang. CA2: Cyber Attacks Analytics. IEEE VIS VAST Challenge 2020. Honorable MentionVideo