Skip to content
View chengluyu's full-sized avatar
😁
Working on a new project...
😁
Working on a new project...

Organizations

@hkust-taco

Block or report chengluyu

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chengluyu/README.md

👋 Hi, there!

I’m Luyu Cheng. I’m a PhD candidate at HKUST TACO supervised by Lionel Parreaux. I'm working on improving the expressiveness and efficiency of pattern matching of MLscript.

Publications

  • Luyu Cheng and Lionel Parreaux. 2026. A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl).
    To appear in ECOOP 2026. Conference page

  • Luyu Cheng, Bairui Su, and Lionel Parreaux. 2026. “Live in the Editor”: Low-Tech In-Situ Feedback for Plain-Text Live Programming.
    Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. Recho (Try it out!)DOIACM Digital Library

  • Luyu Cheng and Lionel Parreaux. 2024. The Ultimate Conditional Syntax.
    Proc. ACM Program. Lang. 8, OOPSLA2, Article 306 (October 2024), 30 pages.
    🏆 Distinguished Paper AwardArtifactsOnline Web DemoDOIACM Digital Library

  • Luyu Cheng and Lionel Parreaux. 2024. Diff-based interactive compiler debugging and testing.
    LIVE 2024 Workshop. EssayWorkshop page

Pinned Loading

  1. hkust-taco/mlscript hkust-taco/mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    Scala 222 40

  2. RealKai42/qwerty-learner RealKai42/qwerty-learner Public

    为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

    TypeScript 22.5k 2.5k

  3. microsoft/vscode microsoft/vscode Public

    Visual Studio Code

    TypeScript 187k 40.8k

  4. MoonshotAI/kimi-code MoonshotAI/kimi-code Public

    Kimi Code CLI — The Starting Point for Next-Gen Agents

    TypeScript 2.9k 367