ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Sat 18 Oct 2025 10:45 - 11:15 at Peony NE - Software Engineering Chair(s): Qingkai Shi

Cangjie is a statically typed, garbage-collected, multi-paradigm programming language developed at Huawei for mobile application development. In this talk, we will introduce the preliminary design of a type system enhancement of Cangjie, targeting concurrent safety and precise resource management. This feature was inspired by the modal types in OxCaml and was designed to be compatible with the existing language features of Cangjie. We are actively working on this feature, so the design detail is subject to change.

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Software EngineeringSponsor Invited Talks at Peony NE
Chair(s): Qingkai Shi Nanjing University
10:30
15m
Talk
Sponsors' Message
Sponsor Invited Talks
10:45
30m
Talk
Modal Cangjie: A Preliminary Design
Sponsor Invited Talks
Xinyu Feng Nanjing University & Huawei
11:15
30m
Talk
In the Specifications We Pursue
Sponsor Invited Talks
Zhendong Su ETH Zurich
11:45
30m
Talk
Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions
Sponsor Invited Talks
Xin Xia Zhejiang University