Luyu Cheng

Ph.D. Candidate in Computer Science
TACO Lab , The Hong Kong University of Science and Technology
lastName + "." + firstName + "@" + ["connect", "ust", "hk"].join(".")

News

Thu Aug 31 2023
I’ve advanced to a PhD candidate!
Wed Jul 19 2023
I gave a talk about Ultimate Conditional Syntax at Huawei's Compiler Workshop.
More are on the way.

Posts

Thu Sep 16 2021
Recently
Thu Jul 01 2021
A Tour of Implementing TAPL in Scala
Mon Feb 22 2021
Migrate My Blog to Cloudflare Workers
Tue Dec 15 2020
Set Up Development on Apple Silicon MacBook Pro
Sat Dec 05 2020
Develop Node.js Projects with WSL 2
Mon Nov 30 2020
Some Old Posts about Haskell
Fri Oct 09 2020
Guidelines for Writing Blog Posts
Fri Jul 03 2020
Thoughts on My Photography
Sat Jun 27 2020
Photograph Partial Solar Eclipse
Sun Apr 19 2020
A Brief History of My Blog

Projects

2022
Ultimate Conditional Syntax in MLscript
Online AppGitHub
Supervised by Lionel Parreaux.
2022
Test suite of JavaScript code generation for MLscript
MLscriptPR #53
Supervised by Lionel Parreaux.
2021
JavaScript code generation for MLscript
MLscriptPR #11
Supervised by Lionel Parreaux.
2020
CA2: Cyber Attacks Analytics
DemoGitHub
In collaboration with Bairui Su, Yumeng Xue, and Xiaoyu Liu. Supervised by Yunhai Wang.

Friendly Links

Favorite Websites

Free Mind by Chiyuan ZhangJosh W ComeauWell-Typed Reflections by Lionel ParreauxTom MacWright's BlogMitchell Hashimoto
It does not imply that I wholeheartedly agree with the author’s viewpoints. I simply appreciate the technical content they produce or admire their writing style.

Teaching

COMP 3031
Principles of Programming Languages (2023 Fall)
COMP 3031
Principles of Programming Languages (2022 Fall)
COMP 6613E
Theory of Types and Programming Languages (2021 Fall)

Social Media & Contacts

chengluyuchengluyuchengluyu@v